runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4246863-1500688616/watcher-4246863-1500688616 -o /tmp/evaluation-result-4246863-1500688616/solver-4246863-1500688616 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 727573204 HOME/instance-4246863-1500688616.xml
pid=29707
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 11.62 14.09 14.44 10/270 29710
/proc/meminfo: memFree=28409464/32770624 swapFree=5808/102648
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 11.62 14.09 14.44 10/270 29710
/proc/meminfo: memFree=28409464/32770624 swapFree=5808/102648
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200272 s]
/proc/loadavg: 11.62 14.09 14.44 10/270 29710
/proc/meminfo: memFree=28409464/32770624 swapFree=5808/102648
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300287 s]
/proc/loadavg: 11.62 14.09 14.44 10/270 29710
/proc/meminfo: memFree=28409464/32770624 swapFree=5808/102648
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700172 s]
/proc/loadavg: 11.62 14.09 14.44 10/270 29710
/proc/meminfo: memFree=28409464/32770624 swapFree=5808/102648
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50089 s]
/proc/loadavg: 11.62 14.09 14.44 10/291 29731
/proc/meminfo: memFree=28249352/32770624 swapFree=5808/102508
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
[pid=29711] ppid=29710 vsize=13267208 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/29711/stat : 29711 (java) S 29710 29710 15196 0 -1 1077944320 16023 0 0 0 271 11 0 0 20 0 20 0 4126695 13585620992 48759 33554432000 4194304 4196468 140737390842064 140737390824608 140650667249399 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
/proc/29711/statm: 3316802 48759 3217 1 0 3304035 0
[pid=29711/tid=29712] ppid=29710 vsize=13267208 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29712/stat : 29712 (java) R 29710 29710 15196 0 -1 4202560 7572 0 0 0 140 5 0 0 20 0 20 0 4126695 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650671487496 140650267250406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29714] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29714/stat : 29714 (java) S 29710 29710 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650585729296 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29715] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29715/stat : 29715 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650584676752 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29716] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29716/stat : 29716 (java) S 29710 29710 15196 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650583624208 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29717] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29717/stat : 29717 (java) S 29710 29710 15196 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650263603856 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29718] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29718/stat : 29718 (java) S 29710 29710 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650262551312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29719] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29719/stat : 29719 (java) S 29710 29710 15196 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650261498768 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29720] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29720/stat : 29720 (java) S 29710 29710 15196 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650260446224 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29721] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29721/stat : 29721 (java) S 29710 29710 15196 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 4126696 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650259393680 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29722] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29722/stat : 29722 (java) S 29710 29710 15196 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 4126698 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650129598448 140650667260546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29723] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29723/stat : 29723 (java) S 29710 29710 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4126699 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650128544672 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29724] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29724/stat : 29724 (java) S 29710 29710 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4126699 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650127492080 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29725] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29725/stat : 29725 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4126704 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650126440656 140650667267995 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29726] ppid=29710 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29726/stat : 29726 (java) S 29710 29710 15196 0 -1 1077944384 1799 0 0 0 34 0 0 0 20 0 20 0 4126704 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650125388272 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29727] ppid=29710 vsize=13267208 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29727/stat : 29727 (java) S 29710 29710 15196 0 -1 1077944384 1633 0 0 0 31 0 0 0 20 0 20 0 4126704 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650124335728 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29728] ppid=29710 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29728/stat : 29728 (java) S 29710 29710 15196 0 -1 1077944384 1224 0 0 0 34 0 0 0 20 0 20 0 4126704 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650123283184 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29729] ppid=29710 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29729/stat : 29729 (java) S 29710 29710 15196 0 -1 1077944384 2063 0 0 0 27 1 0 0 20 0 20 0 4126704 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650122230640 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29730] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29730/stat : 29730 (java) S 29710 29710 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4126705 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650121177312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29731] ppid=29710 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29731/stat : 29731 (java) S 29710 29710 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4126705 13585620992 48759 33554432000 4194304 4196468 140737390842064 140650120124848 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 13276720
[startup+3.10092 s]
/proc/loadavg: 11.41 14.00 14.41 10/291 29731
/proc/meminfo: memFree=28226824/32770624 swapFree=5808/102508
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
[pid=29711] ppid=29710 vsize=13269256 CPUtime=4.54 cores=0,2,4,6,8,10,12,14
/proc/29711/stat : 29711 (java) S 29710 29710 15196 0 -1 1077944320 17927 0 0 0 443 11 0 0 20 0 20 0 4126695 13587718144 48949 33554432000 4194304 4196468 140737390842064 140737390824608 140650667249399 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
/proc/29711/statm: 3317314 48949 3217 1 0 3304547 0
[pid=29711/tid=29712] ppid=29710 vsize=13269256 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29712/stat : 29712 (java) R 29710 29710 15196 0 -1 4202560 8855 0 0 0 300 5 0 0 20 0 20 0 4126695 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650671480528 140650667261334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29714] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29714/stat : 29714 (java) S 29710 29710 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650585729296 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29715] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29715/stat : 29715 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650584676752 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29716] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29716/stat : 29716 (java) S 29710 29710 15196 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650583624208 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29717] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29717/stat : 29717 (java) S 29710 29710 15196 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650263603856 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29718] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29718/stat : 29718 (java) S 29710 29710 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650262551312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29719] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29719/stat : 29719 (java) S 29710 29710 15196 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650261498768 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29720] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29720/stat : 29720 (java) S 29710 29710 15196 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650260446224 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29721] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29721/stat : 29721 (java) S 29710 29710 15196 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 4126696 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650259393680 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29722] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29722/stat : 29722 (java) S 29710 29710 15196 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 4126698 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650129598448 140650667260546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29723] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29723/stat : 29723 (java) S 29710 29710 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4126699 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650128544672 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29724] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29724/stat : 29724 (java) S 29710 29710 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4126699 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650127492080 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29725] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29725/stat : 29725 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4126704 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650126440656 140650667267995 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29726] ppid=29710 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29726/stat : 29726 (java) S 29710 29710 15196 0 -1 1077944384 1854 0 0 0 37 0 0 0 20 0 20 0 4126704 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650125388272 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29727] ppid=29710 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29727/stat : 29727 (java) S 29710 29710 15196 0 -1 1077944384 1665 0 0 0 34 0 0 0 20 0 20 0 4126704 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650124335728 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29728] ppid=29710 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29728/stat : 29728 (java) R 29710 29710 15196 0 -1 4202560 1297 0 0 0 35 0 0 0 20 0 20 0 4126704 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650123283184 140650667270746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29729] ppid=29710 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29729/stat : 29729 (java) R 29710 29710 15196 0 -1 4202560 2479 0 0 0 32 1 0 0 20 0 20 0 4126704 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650122227816 140650660346128 0 4 0 16800975 0 0 0 -1 10 0 0 10 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29730] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29730/stat : 29730 (java) S 29710 29710 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4126705 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650121177312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29731] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29731/stat : 29731 (java) S 29710 29710 15196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 4126705 13587718144 48949 33554432000 4194304 4196468 140737390842064 140650120124848 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 13278768
[startup+6.30096 s]
/proc/loadavg: 11.41 14.00 14.41 10/291 29731
/proc/meminfo: memFree=28091108/32770624 swapFree=5808/102512
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
[pid=29711] ppid=29710 vsize=13269256 CPUtime=9.25 cores=0,2,4,6,8,10,12,14
/proc/29711/stat : 29711 (java) S 29710 29710 15196 0 -1 1077944320 21297 0 0 0 885 40 0 0 20 0 20 0 4126695 13587718144 82397 33554432000 4194304 4196468 140737390842064 140737390824608 140650667249399 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
/proc/29711/statm: 3317314 82397 3233 1 0 3304547 0
[pid=29711/tid=29712] ppid=29710 vsize=13269256 CPUtime=6.1 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29712/stat : 29712 (java) R 29710 29710 15196 0 -1 4202560 8961 0 0 0 605 5 0 0 20 0 20 0 4126695 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650671487048 140650267250432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29714] ppid=29710 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29714/stat : 29714 (java) S 29710 29710 15196 0 -1 1077944384 256 0 0 0 9 4 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650585729296 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29715] ppid=29710 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29715/stat : 29715 (java) S 29710 29710 15196 0 -1 1077944384 180 0 0 0 10 3 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650584676752 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29716] ppid=29710 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29716/stat : 29716 (java) S 29710 29710 15196 0 -1 1077944384 240 0 0 0 9 3 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650583624208 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29717] ppid=29710 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29717/stat : 29717 (java) S 29710 29710 15196 0 -1 1077944384 88 0 0 0 8 4 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650263603856 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29718] ppid=29710 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29718/stat : 29718 (java) S 29710 29710 15196 0 -1 1077944384 200 0 0 0 9 4 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650262551312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29719] ppid=29710 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29719/stat : 29719 (java) S 29710 29710 15196 0 -1 1077944384 334 0 0 0 10 3 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650261498768 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29720] ppid=29710 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29720/stat : 29720 (java) S 29710 29710 15196 0 -1 1077944384 197 0 0 0 9 2 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650260446224 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29721] ppid=29710 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29721/stat : 29721 (java) S 29710 29710 15196 0 -1 1077944384 233 0 0 0 9 3 0 0 20 0 20 0 4126696 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650259393680 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29722] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29722/stat : 29722 (java) S 29710 29710 15196 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 20 0 4126698 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650129598448 140650667260546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29723] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29723/stat : 29723 (java) S 29710 29710 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4126699 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650128544736 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29724] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29724/stat : 29724 (java) S 29710 29710 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4126699 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650127492096 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29725] ppid=29710 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29725/stat : 29725 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4126704 13587718144 82397 33554432000 4194304 4196468 140737390842064 140650126440656 140650667267995 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
################
# More data... #
################
/proc/29711/task/29738/stat : 29738 (java) R 29710 29710 15196 0 -1 4202560 3595 0 0 0 20074 3 0 0 20 0 28 0 4128356 14133010432 635950 33554432000 4194304 4196468 140737390842064 140650038135248 140650267183361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29739] ppid=29710 vsize=13801768 CPUtime=202.05 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29739/stat : 29739 (java) R 29710 29710 15196 0 -1 4202560 2712 0 0 0 20203 2 0 0 20 0 28 0 4128356 14133010432 635950 33554432000 4194304 4196468 140737390842064 140650037079712 140650269246053 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
Current children cumulated CPU time (s) 1648.27
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 13.85 14.48 14.52 10/302 29782
/proc/meminfo: memFree=23325912/32770624 swapFree=5808/102876
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
[pid=29711] ppid=29710 vsize=13801768 CPUtime=2125.45 cores=0,2,4,6,8,10,12,14
/proc/29711/stat : 29711 (java) S 29710 29710 15196 0 -1 1077944320 90217 0 0 0 212107 438 0 0 20 0 28 0 4126695 14133010432 688782 33554432000 4194304 4196468 140737390842064 140737390824608 140650667249399 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
/proc/29711/statm: 3450442 688782 3286 1 0 3437675 0
[pid=29711/tid=29712] ppid=29710 vsize=13801768 CPUtime=16.02 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29712/stat : 29712 (java) S 29710 29710 15196 0 -1 1077944384 11730 0 0 0 1592 10 0 0 20 0 28 0 4126695 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650671490176 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29714] ppid=29710 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29714/stat : 29714 (java) S 29710 29710 15196 0 -1 1077944384 2284 0 0 0 136 44 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650585729296 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29715] ppid=29710 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29715/stat : 29715 (java) S 29710 29710 15196 0 -1 1077944384 1960 0 0 0 133 49 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650584676752 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29716] ppid=29710 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29716/stat : 29716 (java) S 29710 29710 15196 0 -1 1077944384 1793 0 0 0 140 44 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650583624208 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29717] ppid=29710 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29717/stat : 29717 (java) S 29710 29710 15196 0 -1 1077944384 1978 0 0 0 136 48 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650263603856 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29718] ppid=29710 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29718/stat : 29718 (java) S 29710 29710 15196 0 -1 1077944384 1119 0 0 0 137 48 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650262551312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29719] ppid=29710 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29719/stat : 29719 (java) S 29710 29710 15196 0 -1 1077944384 1972 0 0 0 141 46 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650261498768 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29720] ppid=29710 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29720/stat : 29720 (java) S 29710 29710 15196 0 -1 1077944384 2642 0 0 0 135 48 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650260446224 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29721] ppid=29710 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29721/stat : 29721 (java) S 29710 29710 15196 0 -1 1077944384 1295 0 0 0 138 45 0 0 20 0 28 0 4126696 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650259393680 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29722] ppid=29710 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29722/stat : 29722 (java) S 29710 29710 15196 0 -1 1077944384 6808 0 0 0 169 9 0 0 20 0 28 0 4126698 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650129598448 140650667260546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29723] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29723/stat : 29723 (java) S 29710 29710 15196 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4126699 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650128544736 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29724] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29724/stat : 29724 (java) S 29710 29710 15196 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 28 0 4126699 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650127492096 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29725] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29725/stat : 29725 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4126704 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650126440656 140650667267995 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29726] ppid=29710 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29726/stat : 29726 (java) S 29710 29710 15196 0 -1 1077944384 7263 0 0 0 162 2 0 0 20 0 28 0 4126704 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650125388272 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29727] ppid=29710 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29727/stat : 29727 (java) S 29710 29710 15196 0 -1 1077944384 9276 0 0 0 195 2 0 0 20 0 28 0 4126704 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650124335728 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 4 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29728] ppid=29710 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29728/stat : 29728 (java) S 29710 29710 15196 0 -1 1077944384 8120 0 0 0 159 1 0 0 20 0 28 0 4126704 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650123283184 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29729] ppid=29710 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29729/stat : 29729 (java) S 29710 29710 15196 0 -1 1077944384 8058 0 0 0 81 2 0 0 20 0 28 0 4126704 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650122230640 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29730] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29730/stat : 29730 (java) S 29710 29710 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4126705 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650121177312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29731] ppid=29710 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29731/stat : 29731 (java) S 29710 29710 15196 0 -1 1077944384 1074 0 0 0 7 8 0 0 20 0 28 0 4126705 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650120124848 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29732] ppid=29710 vsize=13801768 CPUtime=260.77 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29732/stat : 29732 (java) R 29710 29710 15196 0 -1 4202560 2961 0 0 0 26074 3 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650114210984 140650269245835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29733] ppid=29710 vsize=13801768 CPUtime=260.36 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29733/stat : 29733 (java) R 29710 29710 15196 0 -1 4202560 2902 0 0 0 26032 4 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650043396248 140650269456733 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29734] ppid=29710 vsize=13801768 CPUtime=261.59 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29734/stat : 29734 (java) R 29710 29710 15196 0 -1 4202560 3081 0 0 0 26154 5 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650042346448 140650268957782 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29735] ppid=29710 vsize=13801768 CPUtime=261.07 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29735/stat : 29735 (java) R 29710 29710 15196 0 -1 4202560 1842 0 0 0 26104 3 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650041291768 140650265746125 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29736] ppid=29710 vsize=13801768 CPUtime=260.79 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29736/stat : 29736 (java) R 29710 29710 15196 0 -1 4202560 3247 0 0 0 26076 3 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650040242968 140650269245958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29737] ppid=29710 vsize=13801768 CPUtime=259.83 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29737/stat : 29737 (java) R 29710 29710 15196 0 -1 4202560 635 0 0 0 25983 0 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650039186072 140650269925013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29738] ppid=29710 vsize=13801768 CPUtime=260.42 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29738/stat : 29738 (java) R 29710 29710 15196 0 -1 4202560 3853 0 0 0 26038 4 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650038136288 140650268957724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29739] ppid=29710 vsize=13801768 CPUtime=261.73 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29739/stat : 29739 (java) R 29710 29710 15196 0 -1 4202560 2886 0 0 0 26171 2 0 0 20 0 28 0 4128356 14133010432 688782 33554432000 4194304 4196468 140737390842064 140650037080568 140650269942720 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
Current children cumulated CPU time (s) 2125.45
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+316.802 s]
/proc/loadavg: 11.70 13.87 14.32 10/302 29783
/proc/meminfo: memFree=23247228/32770624 swapFree=5808/102900
[pid=29710] ppid=29707 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29710/stat : 29710 (xcsp3-exec) S 29707 29710 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4126694 9740288 346 33554432000 4194304 5098028 140736916682880 140736916680984 140370228367996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22876160 140736916685967 140736916686176 140736916686176 140736916688875 0
/proc/29710/statm: 2378 346 289 221 0 87 0
[pid=29711] ppid=29710 vsize=13801768 CPUtime=2400.26 cores=0,2,4,6,8,10,12,14
/proc/29711/stat : 29711 (java) S 29710 29710 15196 0 -1 1077944320 93779 0 0 0 239562 464 0 0 20 0 28 0 4126695 14133010432 708271 33554432000 4194304 4196468 140737390842064 140737390824608 140650667249399 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
/proc/29711/statm: 3450442 708271 3286 1 0 3437675 0
[pid=29711/tid=29712] ppid=29710 vsize=13801768 CPUtime=16.02 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29712/stat : 29712 (java) S 29710 29710 15196 0 -1 1077944384 11730 0 0 0 1592 10 0 0 20 0 28 0 4126695 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650671490176 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29714] ppid=29710 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29714/stat : 29714 (java) S 29710 29710 15196 0 -1 1077944384 2346 0 0 0 141 47 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650585729296 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29715] ppid=29710 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29715/stat : 29715 (java) S 29710 29710 15196 0 -1 1077944384 2050 0 0 0 138 53 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650584676752 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29716] ppid=29710 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29716/stat : 29716 (java) S 29710 29710 15196 0 -1 1077944384 1877 0 0 0 145 47 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650583624208 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29717] ppid=29710 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29717/stat : 29717 (java) S 29710 29710 15196 0 -1 1077944384 2613 0 0 0 141 51 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650263603856 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29718] ppid=29710 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29718/stat : 29718 (java) S 29710 29710 15196 0 -1 1077944384 1289 0 0 0 142 51 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650262551312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29719] ppid=29710 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29719/stat : 29719 (java) S 29710 29710 15196 0 -1 1077944384 2082 0 0 0 147 49 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650261498768 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29720] ppid=29710 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29720/stat : 29720 (java) S 29710 29710 15196 0 -1 1077944384 2705 0 0 0 140 51 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650260446224 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29721] ppid=29710 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29721/stat : 29721 (java) S 29710 29710 15196 0 -1 1077944384 1441 0 0 0 144 48 0 0 20 0 28 0 4126696 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650259393680 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29722] ppid=29710 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29722/stat : 29722 (java) S 29710 29710 15196 0 -1 1077944384 7115 0 0 0 169 10 0 0 20 0 28 0 4126698 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650129598448 140650667260546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29723] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29723/stat : 29723 (java) S 29710 29710 15196 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4126699 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650128544736 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29724] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29724/stat : 29724 (java) S 29710 29710 15196 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 28 0 4126699 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650127492096 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29725] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29725/stat : 29725 (java) S 29710 29710 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4126704 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650126440656 140650667267995 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29726] ppid=29710 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29726/stat : 29726 (java) S 29710 29710 15196 0 -1 1077944384 7265 0 0 0 162 2 0 0 20 0 28 0 4126704 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650125388272 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29727] ppid=29710 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29727/stat : 29727 (java) S 29710 29710 15196 0 -1 1077944384 9278 0 0 0 195 2 0 0 20 0 28 0 4126704 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650124335728 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 4 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29728] ppid=29710 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29728/stat : 29728 (java) S 29710 29710 15196 0 -1 1077944384 8122 0 0 0 159 1 0 0 20 0 28 0 4126704 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650123283184 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29729] ppid=29710 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29729/stat : 29729 (java) S 29710 29710 15196 0 -1 1077944384 8060 0 0 0 81 2 0 0 20 0 28 0 4126704 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650122230640 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29730] ppid=29710 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29730/stat : 29730 (java) S 29710 29710 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4126705 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650121177312 140650667259605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29731] ppid=29710 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29731/stat : 29731 (java) S 29710 29710 15196 0 -1 1077944384 1101 0 0 0 8 8 0 0 20 0 28 0 4126705 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650120124848 140650667260546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29732] ppid=29710 vsize=13801768 CPUtime=294.97 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29732/stat : 29732 (java) R 29710 29710 15196 0 -1 4202560 3154 0 0 0 29494 3 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650114210416 140650268957782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29733] ppid=29710 vsize=13801768 CPUtime=294.62 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29733/stat : 29733 (java) R 29710 29710 15196 0 -1 4202560 3047 0 0 0 29458 4 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650043396856 140650270357859 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29734] ppid=29710 vsize=13801768 CPUtime=295.97 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29734/stat : 29734 (java) R 29710 29710 15196 0 -1 4202560 3301 0 0 0 29592 5 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650042343704 140650268957724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29735] ppid=29710 vsize=13801768 CPUtime=295.47 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29735/stat : 29735 (java) R 29710 29710 15196 0 -1 4202560 1999 0 0 0 29544 3 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650041291768 140650265746517 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29736] ppid=29710 vsize=13801768 CPUtime=294.49 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29736/stat : 29736 (java) R 29710 29710 15196 0 -1 4202560 3496 0 0 0 29446 3 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650040241280 140650265746080 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29737] ppid=29710 vsize=13801768 CPUtime=294.22 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29737/stat : 29737 (java) R 29710 29710 15196 0 -1 4202560 670 0 0 0 29422 0 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650039186072 140650268957724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29738] ppid=29710 vsize=13801768 CPUtime=294.81 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29738/stat : 29738 (java) R 29710 29710 15196 0 -1 4202560 4510 0 0 0 29477 4 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650038136736 140650269744256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
[pid=29711/tid=29739] ppid=29710 vsize=13801768 CPUtime=296.13 cores=0,2,4,6,8,10,12,14
/proc/29711/task/29739/stat : 29739 (java) R 29710 29710 15196 0 -1 4202560 3090 0 0 0 29610 3 0 0 20 0 28 0 4128356 14133010432 708271 33554432000 4194304 4196468 140737390842064 140650037084312 140650269458579 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140737390843068 140737390843244 140737390843244 140737390845903 0
Current children cumulated CPU time (s) 2400.26
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29711 sig 9
??? kill 29710 sig 9
??? kill -29710 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29710 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2027
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1013
# CPU time returned by wait4() is 0.00304
# while last known CPU time is 2400.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 316.839
CPU time (s): 2400.26
CPU user time (s): 2395.62
CPU system time (s): 4.64
CPU usage (%): 757.564
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002027
system time used= 0.001013
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66612 second user time and 5.07211 second system time
The end