runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689599-1337891715/watcher-3689599-1337891715 -o /tmp/evaluation-result-3689599-1337891715/solver-3689599-1337891715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689599-1337891715.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.10 3/194 3651
/proc/meminfo: memFree=29336688/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 1234 0 0 0 0 0 0 0 20 0 2 0 255296998 98635776 944 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 24081 952 722 9 0 16771 0
[pid=3651/tid=3652] ppid=3649 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 255296999 98570240 976 33554432000 1073741824 1073778376 140734329605792 139675102543400 214537422208 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.086833 s]
/proc/loadavg: 2.00 2.00 2.10 3/194 3651
/proc/meminfo: memFree=29336688/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 4335 0 1 0 8 1 0 0 20 0 18 0 255296998 9787813888 5517 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2389603 5519 2108 9 0 2380296 0
[pid=3651/tid=3652] ppid=3649 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2369 0 1 0 6 0 0 0 20 0 18 0 255296999 9787813888 5519 33554432000 1073741824 1073778376 140734329605792 139675102546256 214537047883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.10 3/194 3651
/proc/meminfo: memFree=29336688/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 4480 0 1 0 10 1 0 0 20 0 18 0 255296998 9787813888 6134 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2389603 6134 2141 9 0 2380296 0
[pid=3651/tid=3652] ppid=3649 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 18 0 255296999 9787813888 6134 33554432000 1073741824 1073778376 140734329605792 139675102546256 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 2.10 3/194 3651
/proc/meminfo: memFree=29336688/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9558412 CPUtime=0.6 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 7235 0 1 0 58 2 0 0 20 0 18 0 255296998 9787813888 10320 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2389603 10320 2222 9 0 2380296 0
[pid=3651/tid=3652] ppid=3649 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2441 0 1 0 26 1 0 0 20 0 18 0 255296999 9787813888 10320 33554432000 1073741824 1073778376 140734329605792 139675102546256 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9558412
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.10 3/194 3651
/proc/meminfo: memFree=29336688/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 9138 0 1 0 130 2 0 0 20 0 19 0 255296998 9855975424 15226 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 15226 2246 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2459 0 1 0 66 1 0 0 20 0 19 0 255296999 9855975424 15226 33554432000 1073741824 1073778376 140734329605792 139675102548752 139674971186332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9624976
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.10 3/213 3670
/proc/meminfo: memFree=29279876/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=2.2 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 9202 0 1 0 217 3 0 0 20 0 19 0 255296998 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 18346 2274 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2464 0 1 0 144 2 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139675102548376 139674971112507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3654] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3654/stat : 3654 (java) S 3649 3651 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139675091610280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3655] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3655/stat : 3655 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139675090557736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3656] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3656/stat : 3656 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139675089505192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3657] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3657/stat : 3657 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674942913576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3658] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3658/stat : 3658 (java) S 3649 3651 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674941860008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255297000 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2737 0 0 0 40 0 0 0 20 0 19 0 255297003 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2753 0 0 0 28 0 0 0 20 0 19 0 255297003 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3668] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3668/stat : 3668 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674920188408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3669] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3669/stat : 3669 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674919136072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3670] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3670/stat : 3670 (java) S 3649 3651 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255297033 9855975424 18346 33554432000 1073741824 1073778376 140734329605792 139674918081832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9624976
[startup+3.10054 s]
/proc/loadavg: 2.00 2.00 2.10 3/213 3670
/proc/meminfo: memFree=29262656/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 9219 0 1 0 382 3 0 0 20 0 19 0 255296998 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 19890 2275 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2465 0 1 0 301 2 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139675102548256 139674971169166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3654] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3654/stat : 3654 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139675091610280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3655] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3655/stat : 3655 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139675090557736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3656] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3656/stat : 3656 (java) S 3649 3651 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139675089505192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3657] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3657/stat : 3657 (java) S 3649 3651 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674942913576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3658] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3658/stat : 3658 (java) S 3649 3651 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674941860008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 255297000 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2738 0 0 0 42 0 0 0 20 0 19 0 255297003 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2754 0 0 0 29 0 0 0 20 0 19 0 255297003 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3668] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3668/stat : 3668 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674920188408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3669] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3669/stat : 3669 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674919136072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3670] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3670/stat : 3670 (java) S 3649 3651 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255297033 9855975424 19890 33554432000 1073741824 1073778376 140734329605792 139674918081832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9624976
[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 2.10 3/213 3670
/proc/meminfo: memFree=29254276/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=7.11 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 9250 0 1 0 708 3 0 0 20 0 19 0 255296998 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 20209 2275 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 2468 0 1 0 615 2 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139675102548216 139674971222480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3654] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3654/stat : 3654 (java) S 3649 3651 30487 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139675091610280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3655] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3655/stat : 3655 (java) S 3649 3651 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139675090557736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3656] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3656/stat : 3656 (java) S 3649 3651 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139675089505192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3657] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3657/stat : 3657 (java) S 3649 3651 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674942913576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3658] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3658/stat : 3658 (java) S 3649 3651 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674941860008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255296999 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 255297000 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2739 0 0 0 43 0 0 0 20 0 19 0 255297003 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2763 0 0 0 33 0 0 0 20 0 19 0 255297003 9855975424 20209 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=4.11 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 2448 0 0 0 400 11 0 0 20 0 19 0 255296999 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=4.13 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 1919 0 0 0 401 12 0 0 20 0 19 0 255296999 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=3.93 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 1741 0 0 0 381 12 0 0 20 0 19 0 255296999 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=3.9 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 646 0 0 0 384 6 0 0 20 0 19 0 255297000 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2748 0 0 0 45 0 0 0 20 0 19 0 255297003 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2763 0 0 0 34 0 0 0 20 0 19 0 255297003 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3668] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3668/stat : 3668 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674920188408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3669] ppid=3649 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/3651/task/3669/stat : 3669 (java) S 3649 3651 30487 0 -1 4202560 93 0 0 0 21 29 0 0 20 0 19 0 255297003 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674919136072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3670] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3670/stat : 3670 (java) S 3649 3651 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255297033 9855975424 154926 33554432000 1073741824 1073778376 140734329605792 139674918081832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1626.24
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/213 3707
/proc/meminfo: memFree=28011788/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=1686.97 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 25716 0 1 0 168569 128 0 0 20 0 19 0 255296998 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 155441 2276 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=1648.84 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 3040 0 1 0 164852 32 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139675102547296 139674971103168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3654] ppid=3649 vsize=9624976 CPUtime=3.9 cores=1,3,5,7
/proc/3651/task/3654/stat : 3654 (java) S 3649 3651 30487 0 -1 4202560 2378 0 0 0 380 10 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139675091610280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3655] ppid=3649 vsize=9624976 CPUtime=3.99 cores=1,3,5,7
/proc/3651/task/3655/stat : 3655 (java) S 3649 3651 30487 0 -1 4202560 1594 0 0 0 391 8 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139675090557736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3656] ppid=3649 vsize=9624976 CPUtime=4.25 cores=1,3,5,7
/proc/3651/task/3656/stat : 3656 (java) S 3649 3651 30487 0 -1 4202560 1958 0 0 0 416 9 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139675089505192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3657] ppid=3649 vsize=9624976 CPUtime=4.12 cores=1,3,5,7
/proc/3651/task/3657/stat : 3657 (java) S 3649 3651 30487 0 -1 4202560 1327 0 0 0 401 11 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674942913576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3658] ppid=3649 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/3651/task/3658/stat : 3658 (java) S 3649 3651 30487 0 -1 4202560 1865 0 0 0 391 10 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674941860008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=4.24 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 2450 0 0 0 413 11 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=4.26 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 1919 0 0 0 414 12 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=4.07 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 1741 0 0 0 395 12 0 0 20 0 19 0 255296999 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=3.97 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 655 0 0 0 391 6 0 0 20 0 19 0 255297000 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2748 0 0 0 45 0 0 0 20 0 19 0 255297003 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2763 0 0 0 34 0 0 0 20 0 19 0 255297003 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3668] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3668/stat : 3668 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674920188408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3669] ppid=3649 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/3651/task/3669/stat : 3669 (java) S 3649 3651 30487 0 -1 4202560 95 0 0 0 22 30 0 0 20 0 19 0 255297003 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674919136072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3670] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3670/stat : 3670 (java) S 3649 3651 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255297033 9855975424 155441 33554432000 1073741824 1073778376 140734329605792 139674918081832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1686.97
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/213 3707
/proc/meminfo: memFree=28025864/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=1747.77 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 25741 0 1 0 174647 130 0 0 20 0 19 0 255296998 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 150322 2276 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=1708.36 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 3051 0 1 0 170804 32 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139675102547296 139674971102728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3654] ppid=3649 vsize=9624976 CPUtime=4.04 cores=1,3,5,7
/proc/3651/task/3654/stat : 3654 (java) S 3649 3651 30487 0 -1 4202560 2378 0 0 0 394 10 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139675091610280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3655] ppid=3649 vsize=9624976 CPUtime=4.1 cores=1,3,5,7
/proc/3651/task/3655/stat : 3655 (java) S 3649 3651 30487 0 -1 4202560 1594 0 0 0 402 8 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139675090557736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3656] ppid=3649 vsize=9624976 CPUtime=4.42 cores=1,3,5,7
/proc/3651/task/3656/stat : 3656 (java) S 3649 3651 30487 0 -1 4202560 1958 0 0 0 433 9 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139675089505192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3657] ppid=3649 vsize=9624976 CPUtime=4.25 cores=1,3,5,7
/proc/3651/task/3657/stat : 3657 (java) S 3649 3651 30487 0 -1 4202560 1327 0 0 0 413 12 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674942913576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3658] ppid=3649 vsize=9624976 CPUtime=4.16 cores=1,3,5,7
/proc/3651/task/3658/stat : 3658 (java) S 3649 3651 30487 0 -1 4202560 1865 0 0 0 406 10 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674941860008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=4.39 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 2450 0 0 0 428 11 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=4.41 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 1919 0 0 0 429 12 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=4.15 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 1741 0 0 0 403 12 0 0 20 0 19 0 255296999 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=4.13 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 665 0 0 0 406 7 0 0 20 0 19 0 255297000 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2748 0 0 0 45 0 0 0 20 0 19 0 255297003 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2763 0 0 0 34 0 0 0 20 0 19 0 255297003 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3668] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3668/stat : 3668 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674920188408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3669] ppid=3649 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/3651/task/3669/stat : 3669 (java) S 3649 3651 30487 0 -1 4202560 99 0 0 0 23 31 0 0 20 0 19 0 255297003 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674919136072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3670] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3670/stat : 3670 (java) S 3649 3651 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255297033 9855975424 150322 33554432000 1073741824 1073778376 140734329605792 139674918081832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1747.77
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1774 s]
/proc/loadavg: 1.96 2.05 2.06 10/212 3765
/proc/meminfo: memFree=27567496/32873648 swapFree=7104/7104
[pid=3651] ppid=3649 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/3651/stat : 3651 (java) S 3649 3651 30487 0 -1 4202496 25759 0 1 0 179876 132 0 0 20 0 19 0 255296998 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 140734329596928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3651/statm: 2406244 144582 2276 9 0 2396937 0
[pid=3651/tid=3652] ppid=3649 vsize=9624976 CPUtime=1759.75 cores=1,3,5,7
/proc/3651/task/3652/stat : 3652 (java) R 3649 3651 30487 0 -1 4202560 3061 0 1 0 175942 33 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139675102547296 139674971168751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3654] ppid=3649 vsize=9624976 CPUtime=4.14 cores=1,3,5,7
/proc/3651/task/3654/stat : 3654 (java) S 3649 3651 30487 0 -1 4202560 2378 0 0 0 404 10 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139675091610280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3655] ppid=3649 vsize=9624976 CPUtime=4.22 cores=1,3,5,7
/proc/3651/task/3655/stat : 3655 (java) S 3649 3651 30487 0 -1 4202560 1594 0 0 0 414 8 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139675090557736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3656] ppid=3649 vsize=9624976 CPUtime=4.51 cores=1,3,5,7
/proc/3651/task/3656/stat : 3656 (java) S 3649 3651 30487 0 -1 4202560 1958 0 0 0 442 9 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139675089505192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3657] ppid=3649 vsize=9624976 CPUtime=4.33 cores=1,3,5,7
/proc/3651/task/3657/stat : 3657 (java) S 3649 3651 30487 0 -1 4202560 1327 0 0 0 421 12 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674942913576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3658] ppid=3649 vsize=9624976 CPUtime=4.25 cores=1,3,5,7
/proc/3651/task/3658/stat : 3658 (java) S 3649 3651 30487 0 -1 4202560 1865 0 0 0 415 10 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674941860008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3659] ppid=3649 vsize=9624976 CPUtime=4.51 cores=1,3,5,7
/proc/3651/task/3659/stat : 3659 (java) S 3649 3651 30487 0 -1 4202560 2450 0 0 0 440 11 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674940807464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3660] ppid=3649 vsize=9624976 CPUtime=4.5 cores=1,3,5,7
/proc/3651/task/3660/stat : 3660 (java) S 3649 3651 30487 0 -1 4202560 1919 0 0 0 437 13 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674939754920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3661] ppid=3649 vsize=9624976 CPUtime=4.3 cores=1,3,5,7
/proc/3651/task/3661/stat : 3661 (java) S 3649 3651 30487 0 -1 4202560 1741 0 0 0 418 12 0 0 20 0 19 0 255296999 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674938702376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3662] ppid=3649 vsize=9624976 CPUtime=4.2 cores=1,3,5,7
/proc/3651/task/3662/stat : 3662 (java) S 3649 3651 30487 0 -1 4202560 671 0 0 0 413 7 0 0 20 0 19 0 255297000 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674926504552 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3663] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3663/stat : 3663 (java) S 3649 3651 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674925450872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3664] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3664/stat : 3664 (java) S 3649 3651 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255297001 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674924398216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3665] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3665/stat : 3665 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674923346960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3651/tid=3666] ppid=3649 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/3651/task/3666/stat : 3666 (java) S 3649 3651 30487 0 -1 4202560 2748 0 0 0 45 0 0 0 20 0 19 0 255297003 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674922293304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3651/tid=3667] ppid=3649 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/3651/task/3667/stat : 3667 (java) S 3649 3651 30487 0 -1 4202560 2763 0 0 0 34 0 0 0 20 0 19 0 255297003 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674921240760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3668] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3668/stat : 3668 (java) S 3649 3651 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255297003 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674920188408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3651/tid=3669] ppid=3649 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/3651/task/3669/stat : 3669 (java) S 3649 3651 30487 0 -1 4202560 101 0 0 0 24 32 0 0 20 0 19 0 255297003 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674919136072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3651/tid=3670] ppid=3649 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3651/task/3670/stat : 3670 (java) S 3649 3651 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255297033 9855975424 144582 33554432000 1073741824 1073778376 140734329605792 139674918081832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1774.07
CPU time (s): 1800.46
CPU user time (s): 1798.75
CPU system time (s): 1.71074
CPU usage (%): 101.487
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.71074
maximum resident set size= 621792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25794
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54327
involuntary context switches= 68469
runsolver used 6.38103 second user time and 14.1418 second system time
The end