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-4247713-1500690625/watcher-4247713-1500690625 -o /tmp/evaluation-result-4247713-1500690625/solver-4247713-1500690625 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 149220834 HOME/instance-4247713-1500690625.xml
pid=14840
running on 8 cores: 1,3,5,7,9,11,13,15
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: 16.27 14.09 11.42 10/275 14843
/proc/meminfo: memFree=31639528/32770624 swapFree=5900/262924
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 16.27 14.09 11.42 10/275 14843
/proc/meminfo: memFree=31639528/32770624 swapFree=5900/262924
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200293 s]
/proc/loadavg: 16.27 14.09 11.42 10/275 14843
/proc/meminfo: memFree=31639528/32770624 swapFree=5900/262924
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300324 s]
/proc/loadavg: 16.27 14.09 11.42 10/275 14843
/proc/meminfo: memFree=31639528/32770624 swapFree=5900/262924
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700178 s]
/proc/loadavg: 16.27 14.09 11.42 10/275 14843
/proc/meminfo: memFree=31639528/32770624 swapFree=5900/262924
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 16.27 14.09 11.42 14/296 14864
/proc/meminfo: memFree=31490056/32770624 swapFree=5900/262976
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
[pid=14844] ppid=14843 vsize=13269256 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/14844/stat : 14844 (java) S 14843 14843 16913 0 -1 1077944320 27888 0 0 0 523 17 0 0 20 0 20 0 4329490 13587718144 56369 33554432000 4194304 4196468 140734358048368 140734358030912 139686638448375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
/proc/14844/statm: 3317314 56369 3250 1 0 3304547 0
[pid=14844/tid=14845] ppid=14843 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14845/stat : 14845 (java) R 14843 14843 16913 0 -1 4202560 8139 0 0 0 139 5 0 0 20 0 20 0 4329490 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686642686024 139686248962359 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14847] ppid=14843 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14847/stat : 14847 (java) S 14843 14843 16913 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686570584720 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14848] ppid=14843 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14848/stat : 14848 (java) S 14843 14843 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686569531920 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14849] ppid=14843 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14849/stat : 14849 (java) S 14843 14843 16913 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686568479120 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14850] ppid=14843 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14850/stat : 14850 (java) S 14843 14843 16913 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686567426320 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14851] ppid=14843 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14851/stat : 14851 (java) S 14843 14843 16913 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686566374544 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14852] ppid=14843 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14852/stat : 14852 (java) S 14843 14843 16913 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686565321744 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14853] ppid=14843 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14853/stat : 14853 (java) S 14843 14843 16913 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686231116688 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14854] ppid=14843 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14854/stat : 14854 (java) S 14843 14843 16913 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 4329491 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686230063888 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14855] ppid=14843 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14855/stat : 14855 (java) S 14843 14843 16913 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 4329494 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686100711792 139686638459522 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14856] ppid=14843 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14856/stat : 14856 (java) S 14843 14843 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4329494 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686099657824 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14857] ppid=14843 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14857/stat : 14857 (java) S 14843 14843 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4329495 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686098604912 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14858] ppid=14843 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14858/stat : 14858 (java) S 14843 14843 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686097553232 139686638466971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14859] ppid=14843 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14859/stat : 14859 (java) R 14843 14843 16913 0 -1 4202560 6259 0 0 0 98 0 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686096488224 139686619992924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14860] ppid=14843 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14860/stat : 14860 (java) R 14843 14843 16913 0 -1 4202560 3393 0 0 0 99 0 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139686095435040 139686617799504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14861] ppid=14843 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14861/stat : 14861 (java) R 14843 14843 16913 0 -1 4202560 3420 0 0 0 103 0 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139685959546360 139686619984501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14862] ppid=14843 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14862/stat : 14862 (java) S 14843 14843 16913 0 -1 1077944384 4557 0 0 0 67 2 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139685958506992 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14863] ppid=14843 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14863/stat : 14863 (java) S 14843 14843 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139685957454432 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14864] ppid=14843 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14864/stat : 14864 (java) S 14843 14843 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4329499 13587718144 56369 33554432000 4194304 4196468 140734358048368 139685956401712 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13278768
[startup+3.10168 s]
/proc/loadavg: 16.27 14.09 11.42 20/304 14872
/proc/meminfo: memFree=31424668/32770624 swapFree=5900/262972
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
[pid=14844] ppid=14843 vsize=13801768 CPUtime=17.73 cores=1,3,5,7,9,11,13,15
/proc/14844/stat : 14844 (java) S 14843 14843 16913 0 -1 1077944320 32780 0 0 0 1739 34 0 0 20 0 28 0 4329490 14133010432 69633 33554432000 4194304 4196468 140734358048368 140734358030912 139686638448375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
/proc/14844/statm: 3450442 69633 3280 1 0 3437675 0
[pid=14844/tid=14845] ppid=14843 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14845/stat : 14845 (java) S 14843 14843 16913 0 -1 1077944384 8336 0 0 0 145 5 0 0 20 0 28 0 4329490 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686642689152 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14847] ppid=14843 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14847/stat : 14847 (java) S 14843 14843 16913 0 -1 1077944384 152 0 0 0 4 3 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686570584720 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14848] ppid=14843 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14848/stat : 14848 (java) S 14843 14843 16913 0 -1 1077944384 101 0 0 0 4 3 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686569531920 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14849] ppid=14843 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14849/stat : 14849 (java) S 14843 14843 16913 0 -1 1077944384 149 0 0 0 4 1 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686568479120 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14850] ppid=14843 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14850/stat : 14850 (java) S 14843 14843 16913 0 -1 1077944384 51 0 0 0 4 2 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686567426320 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14851] ppid=14843 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14851/stat : 14851 (java) S 14843 14843 16913 0 -1 1077944384 273 0 0 0 5 3 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686566374544 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14852] ppid=14843 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14852/stat : 14852 (java) S 14843 14843 16913 0 -1 1077944384 103 0 0 0 5 2 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686565321744 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14853] ppid=14843 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14853/stat : 14853 (java) S 14843 14843 16913 0 -1 1077944384 144 0 0 0 3 2 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686231116688 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14854] ppid=14843 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14854/stat : 14854 (java) S 14843 14843 16913 0 -1 1077944384 123 0 0 0 5 3 0 0 20 0 28 0 4329491 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686230063888 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14855] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14855/stat : 14855 (java) S 14843 14843 16913 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 4329494 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686100711792 139686638459522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14856] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14856/stat : 14856 (java) S 14843 14843 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4329494 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686099657824 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14857] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14857/stat : 14857 (java) S 14843 14843 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4329495 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686098604928 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14858] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14858/stat : 14858 (java) S 14843 14843 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686097553232 139686638466971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14859] ppid=14843 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14859/stat : 14859 (java) R 14843 14843 16913 0 -1 4202560 7187 0 0 0 216 1 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686096483184 139686621835179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14860] ppid=14843 vsize=13801768 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14860/stat : 14860 (java) R 14843 14843 16913 0 -1 1077944384 4267 0 0 0 209 1 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139686095448704 139686638458581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14861] ppid=14843 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14861/stat : 14861 (java) R 14843 14843 16913 0 -1 4202560 3889 0 0 0 202 0 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685959546608 139686621835687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14862] ppid=14843 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14862/stat : 14862 (java) S 14843 14843 16913 0 -1 1077944384 5753 0 0 0 107 2 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685958506992 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14863] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14863/stat : 14863 (java) S 14843 14843 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685957454432 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14864] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14864/stat : 14864 (java) S 14843 14843 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685956401712 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14865] ppid=14843 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14865/stat : 14865 (java) R 14843 14843 16913 0 -1 4202560 107 0 0 0 97 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685948885928 139686253324911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14866] ppid=14843 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14866/stat : 14866 (java) R 14843 14843 16913 0 -1 4202560 93 0 0 0 99 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685947833744 139686253324860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14867] ppid=14843 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14867/stat : 14867 (java) R 14843 14843 16913 0 -1 4202560 119 0 0 0 106 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685946783112 139686253803141 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14868] ppid=14843 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14868/stat : 14868 (java) R 14843 14843 16913 0 -1 4202560 159 0 0 0 102 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685945729360 139686251825065 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14869] ppid=14843 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14869/stat : 14869 (java) R 14843 14843 16913 0 -1 4202560 42 0 0 0 95 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685944676768 139686251803072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14870] ppid=14843 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14870/stat : 14870 (java) R 14843 14843 16913 0 -1 4202560 65 0 0 0 105 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685943625216 139686252844091 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14871] ppid=14843 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14871/stat : 14871 (java) R 14843 14843 16913 0 -1 4202560 129 0 0 0 93 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685942571624 139686638460310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14872] ppid=14843 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14872/stat : 14872 (java) R 14843 14843 16913 0 -1 4202560 37 0 0 0 119 0 0 0 20 0 28 0 4329646 14133010432 69633 33554432000 4194304 4196468 140734358048368 139685941518840 139686251804174 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (KiB) 13811280
[startup+6.30161 s]
/proc/loadavg: 16.48 14.17 11.46 17/304 14872
/proc/meminfo: memFree=31306204/32770624 swapFree=5900/262988
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
[pid=14844] ppid=14843 vsize=13801768 CPUtime=43.13 cores=1,3,5,7,9,11,13,15
/proc/14844/stat : 14844 (java) S 14843 14843 16913 0 -1 1077944320 34706 0 0 0 4264 49 0 0 20 0 28 0 4329490 14133010432 103286 33554432000 4194304 4196468 140734358048368 140734358030912 139686638448375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
/proc/14844/statm: 3450442 103286 3283 1 0 3437675 0
[pid=14844/tid=14845] ppid=14843 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14845/stat : 14845 (java) S 14843 14843 16913 0 -1 1077944384 8336 0 0 0 145 5 0 0 20 0 28 0 4329490 14133010432 103286 33554432000 4194304 4196468 140734358048368 139686642689152 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14847] ppid=14843 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14847/stat : 14847 (java) S 14843 14843 16913 0 -1 1077944384 167 0 0 0 6 4 0 0 20 0 28 0 4329491 14133010432 103286 33554432000 4194304 4196468 140734358048368 139686570584720 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14848] ppid=14843 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14848/stat : 14848 (java) S 14843 14843 16913 0 -1 1077944384 181 0 0 0 6 4 0 0 20 0 28 0 4329491 14133010432 103286 33554432000 4194304 4196468 140734358048368 139686569531920 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14849] ppid=14843 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14849/stat : 14849 (java) S 14843 14843 16913 0 -1 1077944384 165 0 0 0 7 3 0 0 20 0 28 0 4329491 14133010432 103286 33554432000 4194304 4196468 140734358048368 139686568479120 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14850] ppid=14843 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14850/stat : 14850 (java) S 14843 14843 16913 0 -1 1077944384 107 0 0 0 5 2 0 0 20 0 28 0 4329491 14133010432 103286 33554432000 4194304 4196468 140734358048368 139686567426320 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
################
# More data... #
################
[pid=14844/tid=14871] ppid=14843 vsize=13801768 CPUtime=218.69 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14871/stat : 14871 (java) R 14843 14843 16913 0 -1 4202560 1002 0 0 0 21868 1 0 0 20 0 28 0 4329646 14133010432 504811 33554432000 4194304 4196468 140734358048368 139685942570808 139686254491955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14872] ppid=14843 vsize=13801768 CPUtime=219.4 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14872/stat : 14872 (java) R 14843 14843 16913 0 -1 4202560 911 0 0 0 21940 0 0 0 20 0 28 0 4329646 14133010432 504811 33554432000 4194304 4196468 140734358048368 139685941518032 139686251892913 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
Current children cumulated CPU time (s) 1762.35
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.40 15.42 12.68 17/303 15332
/proc/meminfo: memFree=29462952/32770624 swapFree=5900/263348
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
[pid=14844] ppid=14843 vsize=13801768 CPUtime=2240.01 cores=1,3,5,7,9,11,13,15
/proc/14844/stat : 14844 (java) S 14843 14843 16913 0 -1 1077944320 84036 0 0 0 223857 144 0 0 20 0 28 0 4329490 14133010432 499037 33554432000 4194304 4196468 140734358048368 140734358030912 139686638448375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
/proc/14844/statm: 3450442 499037 3283 1 0 3437675 0
[pid=14844/tid=14845] ppid=14843 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14845/stat : 14845 (java) S 14843 14843 16913 0 -1 1077944384 8336 0 0 0 145 5 0 0 20 0 28 0 4329490 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686642689152 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14847] ppid=14843 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14847/stat : 14847 (java) S 14843 14843 16913 0 -1 1077944384 1831 0 0 0 16 10 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686570584720 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14848] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14848/stat : 14848 (java) S 14843 14843 16913 0 -1 1077944384 1883 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686569531920 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14849] ppid=14843 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14849/stat : 14849 (java) S 14843 14843 16913 0 -1 1077944384 1677 0 0 0 16 9 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686568479120 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14850] ppid=14843 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14850/stat : 14850 (java) S 14843 14843 16913 0 -1 1077944384 376 0 0 0 17 8 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686567426320 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14851] ppid=14843 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14851/stat : 14851 (java) S 14843 14843 16913 0 -1 1077944384 776 0 0 0 16 10 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686566374544 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14852] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14852/stat : 14852 (java) S 14843 14843 16913 0 -1 1077944384 644 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686565321744 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14853] ppid=14843 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14853/stat : 14853 (java) S 14843 14843 16913 0 -1 1077944384 1141 0 0 0 16 9 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686231116688 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14854] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14854/stat : 14854 (java) S 14843 14843 16913 0 -1 1077944384 876 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686230063888 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14855] ppid=14843 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14855/stat : 14855 (java) S 14843 14843 16913 0 -1 1077944384 2795 0 0 0 6 8 0 0 20 0 28 0 4329494 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686100711792 139686638459522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14856] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14856/stat : 14856 (java) S 14843 14843 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4329494 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686099657824 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14857] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14857/stat : 14857 (java) S 14843 14843 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4329495 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686098604928 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14858] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14858/stat : 14858 (java) S 14843 14843 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686097553232 139686638466971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14859] ppid=14843 vsize=13801768 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14859/stat : 14859 (java) S 14843 14843 16913 0 -1 1077944384 14546 0 0 0 338 2 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686096501616 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14860] ppid=14843 vsize=13801768 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14860/stat : 14860 (java) S 14843 14843 16913 0 -1 1077944384 11117 0 0 0 349 1 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139686095448816 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14861] ppid=14843 vsize=13801768 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14861/stat : 14861 (java) S 14843 14843 16913 0 -1 1077944384 9020 0 0 0 346 1 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685959559792 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14862] ppid=14843 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14862/stat : 14862 (java) S 14843 14843 16913 0 -1 1077944384 10236 0 0 0 126 3 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685958506992 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14863] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14863/stat : 14863 (java) S 14843 14843 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685957454432 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14864] ppid=14843 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14864/stat : 14864 (java) S 14843 14843 16913 0 -1 1077944384 517 0 0 0 6 8 0 0 20 0 28 0 4329499 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685956401712 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14865] ppid=14843 vsize=13801768 CPUtime=277.57 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14865/stat : 14865 (java) R 14843 14843 16913 0 -1 4202560 2143 0 0 0 27756 1 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685948888672 139686252666370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14866] ppid=14843 vsize=13801768 CPUtime=277.28 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14866/stat : 14866 (java) R 14843 14843 16913 0 -1 4202560 1014 0 0 0 27728 0 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685947834152 139686252924616 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14867] ppid=14843 vsize=13801768 CPUtime=279.25 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14867/stat : 14867 (java) R 14843 14843 16913 0 -1 4202560 3222 0 0 0 27920 5 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685946782064 139686248478705 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14868] ppid=14843 vsize=13801768 CPUtime=276.67 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14868/stat : 14868 (java) R 14843 14843 16913 0 -1 4202560 6419 0 0 0 27642 25 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685945729512 139686251745749 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14869] ppid=14843 vsize=13801768 CPUtime=278.64 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14869/stat : 14869 (java) R 14843 14843 16913 0 -1 4202560 1323 0 0 0 27863 1 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685944676776 139686252775901 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14870] ppid=14843 vsize=13801768 CPUtime=276.93 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14870/stat : 14870 (java) R 14843 14843 16913 0 -1 4202560 592 0 0 0 27693 0 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685943624072 139686253560571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14871] ppid=14843 vsize=13801768 CPUtime=278.6 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14871/stat : 14871 (java) R 14843 14843 16913 0 -1 4202560 1180 0 0 0 27859 1 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685942571096 139686252666274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14872] ppid=14843 vsize=13801768 CPUtime=279.3 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14872/stat : 14872 (java) R 14843 14843 16913 0 -1 4202560 1026 0 0 0 27930 0 0 0 20 0 28 0 4329646 14133010432 499037 33554432000 4194304 4196468 140734358048368 139685941518280 139686254491975 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
Current children cumulated CPU time (s) 2240.01
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.402 s]
/proc/loadavg: 16.35 15.47 12.75 17/303 15333
/proc/meminfo: memFree=29466660/32770624 swapFree=5900/263388
[pid=14843] ppid=14840 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14843/stat : 14843 (xcsp3-exec) S 14840 14843 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4329490 9740288 346 33554432000 4194304 5098028 140721202542960 140721202541064 139664531034748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32088064 140721202549903 140721202550112 140721202550112 140721202552811 0
/proc/14843/statm: 2378 346 289 221 0 87 0
[pid=14844] ppid=14843 vsize=13801768 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/14844/stat : 14844 (java) S 14843 14843 16913 0 -1 1077944320 85630 0 0 0 239856 147 0 0 20 0 28 0 4329490 14133010432 498522 33554432000 4194304 4196468 140734358048368 140734358030912 139686638448375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
/proc/14844/statm: 3450442 498522 3283 1 0 3437675 0
[pid=14844/tid=14845] ppid=14843 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14845/stat : 14845 (java) S 14843 14843 16913 0 -1 1077944384 8336 0 0 0 145 5 0 0 20 0 28 0 4329490 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686642689152 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14847] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14847/stat : 14847 (java) S 14843 14843 16913 0 -1 1077944384 1895 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686570584720 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14848] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14848/stat : 14848 (java) S 14843 14843 16913 0 -1 1077944384 1901 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686569531920 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14849] ppid=14843 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14849/stat : 14849 (java) S 14843 14843 16913 0 -1 1077944384 2053 0 0 0 17 9 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686568479120 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14850] ppid=14843 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14850/stat : 14850 (java) S 14843 14843 16913 0 -1 1077944384 438 0 0 0 17 8 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686567426320 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14851] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14851/stat : 14851 (java) S 14843 14843 16913 0 -1 1077944384 798 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686566374544 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14852] ppid=14843 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14852/stat : 14852 (java) S 14843 14843 16913 0 -1 1077944384 656 0 0 0 18 10 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686565321744 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14853] ppid=14843 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14853/stat : 14853 (java) S 14843 14843 16913 0 -1 1077944384 1159 0 0 0 17 9 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686231116688 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14854] ppid=14843 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14854/stat : 14854 (java) S 14843 14843 16913 0 -1 1077944384 879 0 0 0 17 10 0 0 20 0 28 0 4329491 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686230063888 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14855] ppid=14843 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14855/stat : 14855 (java) S 14843 14843 16913 0 -1 1077944384 3021 0 0 0 6 8 0 0 20 0 28 0 4329494 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686100711792 139686638459522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14856] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14856/stat : 14856 (java) S 14843 14843 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4329494 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686099657824 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14857] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14857/stat : 14857 (java) S 14843 14843 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4329495 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686098604928 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14858] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14858/stat : 14858 (java) S 14843 14843 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686097553232 139686638466971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14859] ppid=14843 vsize=13801768 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14859/stat : 14859 (java) S 14843 14843 16913 0 -1 1077944384 14546 0 0 0 338 2 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686096501616 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14860] ppid=14843 vsize=13801768 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14860/stat : 14860 (java) S 14843 14843 16913 0 -1 1077944384 11117 0 0 0 349 1 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139686095448816 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14861] ppid=14843 vsize=13801768 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14861/stat : 14861 (java) S 14843 14843 16913 0 -1 1077944384 9020 0 0 0 346 1 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685959559792 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14862] ppid=14843 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14862/stat : 14862 (java) S 14843 14843 16913 0 -1 1077944384 10496 0 0 0 126 3 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685958506992 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14863] ppid=14843 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14863/stat : 14863 (java) S 14843 14843 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685957454432 139686638458581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14864] ppid=14843 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14864/stat : 14864 (java) S 14843 14843 16913 0 -1 1077944384 517 0 0 0 7 9 0 0 20 0 28 0 4329499 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685956401712 139686638459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14865] ppid=14843 vsize=13801768 CPUtime=297.61 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14865/stat : 14865 (java) R 14843 14843 16913 0 -1 4202560 2174 0 0 0 29760 1 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685948885848 139686255475802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14866] ppid=14843 vsize=13801768 CPUtime=297.07 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14866/stat : 14866 (java) R 14843 14843 16913 0 -1 4202560 1046 0 0 0 29707 0 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685947834056 139686252665118 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14867] ppid=14843 vsize=13801768 CPUtime=299.32 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14867/stat : 14867 (java) R 14843 14843 16913 0 -1 4202560 3288 0 0 0 29927 5 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685946782064 139686255312855 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14868] ppid=14843 vsize=13801768 CPUtime=296.62 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14868/stat : 14868 (java) R 14843 14843 16913 0 -1 4202560 6518 0 0 0 29637 25 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685945729512 139686255312972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14869] ppid=14843 vsize=13801768 CPUtime=298.7 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14869/stat : 14869 (java) R 14843 14843 16913 0 -1 4202560 1609 0 0 0 29869 1 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685944679504 139686254491907 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14870] ppid=14843 vsize=13801768 CPUtime=296.99 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14870/stat : 14870 (java) R 14843 14843 16913 0 -1 4202560 593 0 0 0 29699 0 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685943623704 139686252666182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14871] ppid=14843 vsize=13801768 CPUtime=298.52 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14871/stat : 14871 (java) R 14843 14843 16913 0 -1 4202560 1187 0 0 0 29851 1 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685942571176 139686252844445 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
[pid=14844/tid=14872] ppid=14843 vsize=13801768 CPUtime=299.37 cores=1,3,5,7,9,11,13,15
/proc/14844/task/14872/stat : 14872 (java) R 14843 14843 16913 0 -1 4202560 1037 0 0 0 29937 0 0 0 20 0 28 0 4329646 14133010432 498522 33554432000 4194304 4196468 140734358048368 139685941518216 139686254491955 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30040064 140734358054076 140734358054252 140734358054252 140734358056911 0
Current children cumulated CPU time (s) 2400.03
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 14844 sig 9
??? kill 14843 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 14843 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2013
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1006
# CPU time returned by wait4() is 0.003019
# while last known CPU time is 2400.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.412
CPU time (s): 2400.03
CPU user time (s): 2398.56
CPU system time (s): 1.47
CPU usage (%): 793.628
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002013
system time used= 0.001006
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.87763 second user time and 4.37281 second system time
The end