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-4249650-1500695315/watcher-4249650-1500695315 -o /tmp/evaluation-result-4249650-1500695315/solver-4249650-1500695315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1096629693 HOME/instance-4249650-1500695315.xml
pid=8883
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: 15.74 15.64 14.16 9/269 8886
/proc/meminfo: memFree=31198968/32770624 swapFree=5724/264848
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
[startup+0.100105 s]
/proc/loadavg: 15.74 15.64 14.16 9/269 8886
/proc/meminfo: memFree=31198968/32770624 swapFree=5724/264848
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200292 s]
/proc/loadavg: 15.74 15.64 14.16 9/269 8886
/proc/meminfo: memFree=31198968/32770624 swapFree=5724/264848
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300249 s]
/proc/loadavg: 15.74 15.64 14.16 9/269 8886
/proc/meminfo: memFree=31198968/32770624 swapFree=5724/264848
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700319 s]
/proc/loadavg: 15.74 15.64 14.16 9/269 8886
/proc/meminfo: memFree=31198968/32770624 swapFree=5724/264848
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 15.74 15.64 14.16 13/290 8907
/proc/meminfo: memFree=31019556/32770624 swapFree=5724/264832
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
[pid=8887] ppid=8886 vsize=13269256 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/8887/stat : 8887 (java) S 8886 8886 16473 0 -1 1077944320 14395 0 0 0 380 21 0 0 20 0 20 0 4800672 13587718144 57889 33554432000 4194304 4196468 140724028082352 140724028064896 140438659251959 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
/proc/8887/statm: 3317314 57889 3219 1 0 3304547 0
[pid=8887/tid=8888] ppid=8886 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8888/stat : 8888 (java) R 8886 8886 16473 0 -1 4202560 6611 0 0 0 139 4 0 0 20 0 20 0 4800672 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438663486824 140438270143596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8890] ppid=8886 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8890/stat : 8890 (java) S 8886 8886 16473 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438591387920 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8891] ppid=8886 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8891/stat : 8891 (java) S 8886 8886 16473 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438590335376 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8892] ppid=8886 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8892/stat : 8892 (java) S 8886 8886 16473 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438589282832 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8893] ppid=8886 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8893/stat : 8893 (java) S 8886 8886 16473 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438588230288 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8894] ppid=8886 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8894/stat : 8894 (java) S 8886 8886 16473 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438587177744 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8895] ppid=8886 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8895/stat : 8895 (java) S 8886 8886 16473 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438253046672 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8896] ppid=8886 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8896/stat : 8896 (java) S 8886 8886 16473 0 -1 1077944384 15 0 0 0 1 2 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438251994128 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8897] ppid=8886 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8897/stat : 8897 (java) S 8886 8886 16473 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4800673 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438250941584 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8898] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8898/stat : 8898 (java) S 8886 8886 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4800675 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438188636144 140438659263106 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8899] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8899/stat : 8899 (java) S 8886 8886 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4800676 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438187582368 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8900] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8900/stat : 8900 (java) S 8886 8886 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4800676 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438186529776 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8901] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8901/stat : 8901 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4800680 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438185478352 140438659270555 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8902] ppid=8886 vsize=13269256 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8902/stat : 8902 (java) R 8886 8886 16473 0 -1 4202560 2179 0 0 0 76 0 0 0 20 0 20 0 4800680 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438184411848 140438644377824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8903] ppid=8886 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8903/stat : 8903 (java) S 8886 8886 16473 0 -1 1077944384 1358 0 0 0 56 0 0 0 20 0 20 0 4800680 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438115707504 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8904] ppid=8886 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8904/stat : 8904 (java) S 8886 8886 16473 0 -1 1077944384 1373 0 0 0 59 0 0 0 20 0 20 0 4800680 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438114654960 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8905] ppid=8886 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8905/stat : 8905 (java) S 8886 8886 16473 0 -1 1077944384 1338 0 0 0 34 0 0 0 20 0 20 0 4800680 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438113602416 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8906] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8906/stat : 8906 (java) S 8886 8886 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4800680 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438112549088 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8907] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8907/stat : 8907 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4800681 13587718144 57889 33554432000 4194304 4196468 140724028082352 140438111496624 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 13278768
[startup+3.1009 s]
/proc/loadavg: 15.74 15.64 14.16 14/290 8907
/proc/meminfo: memFree=30872284/32770624 swapFree=5724/264832
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
[pid=8887] ppid=8886 vsize=13269256 CPUtime=7.83 cores=1,3,5,7,9,11,13,15
/proc/8887/stat : 8887 (java) S 8886 8886 16473 0 -1 1077944320 18043 0 0 0 730 53 0 0 20 0 20 0 4800672 13587718144 115083 33554432000 4194304 4196468 140724028082352 140724028064896 140438659251959 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
/proc/8887/statm: 3317314 115083 3231 1 0 3304547 0
[pid=8887/tid=8888] ppid=8886 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8888/stat : 8888 (java) R 8886 8886 16473 0 -1 4202560 6991 0 0 0 288 7 0 0 20 0 20 0 4800672 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438663489544 140438659263894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8890] ppid=8886 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8890/stat : 8890 (java) S 8886 8886 16473 0 -1 1077944384 36 0 0 0 3 4 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438591387920 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8891] ppid=8886 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8891/stat : 8891 (java) S 8886 8886 16473 0 -1 1077944384 322 0 0 0 4 6 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438590335376 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8892] ppid=8886 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8892/stat : 8892 (java) S 8886 8886 16473 0 -1 1077944384 57 0 0 0 4 6 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438589282832 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8893] ppid=8886 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8893/stat : 8893 (java) S 8886 8886 16473 0 -1 1077944384 47 0 0 0 4 5 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438588230288 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8894] ppid=8886 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8894/stat : 8894 (java) S 8886 8886 16473 0 -1 1077944384 60 0 0 0 6 4 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438587177744 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8895] ppid=8886 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8895/stat : 8895 (java) S 8886 8886 16473 0 -1 1077944384 57 0 0 0 4 6 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438253046672 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8896] ppid=8886 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8896/stat : 8896 (java) S 8886 8886 16473 0 -1 1077944384 52 0 0 0 5 5 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438251994128 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8897] ppid=8886 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8897/stat : 8897 (java) S 8886 8886 16473 0 -1 1077944384 38 0 0 0 2 4 0 0 20 0 20 0 4800673 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438250941584 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8898] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8898/stat : 8898 (java) S 8886 8886 16473 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 4800675 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438188636144 140438659263106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8899] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8899/stat : 8899 (java) S 8886 8886 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4800676 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438187582432 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8900] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8900/stat : 8900 (java) S 8886 8886 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4800676 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438186529792 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8901] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8901/stat : 8901 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4800680 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438185478352 140438659270555 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8902] ppid=8886 vsize=13269256 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8902/stat : 8902 (java) S 8886 8886 16473 0 -1 1077944384 2950 0 0 0 154 0 0 0 20 0 20 0 4800680 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438184425968 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8903] ppid=8886 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8903/stat : 8903 (java) S 8886 8886 16473 0 -1 1077944384 2216 0 0 0 101 1 0 0 20 0 20 0 4800680 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438115707504 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8904] ppid=8886 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8904/stat : 8904 (java) S 8886 8886 16473 0 -1 1077944384 1962 0 0 0 103 1 0 0 20 0 20 0 4800680 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438114654960 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8905] ppid=8886 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8905/stat : 8905 (java) R 8886 8886 16473 0 -1 4202560 1748 0 0 0 44 0 0 0 20 0 20 0 4800680 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438113602416 140438659273306 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8906] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8906/stat : 8906 (java) S 8886 8886 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4800680 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438112549088 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8907] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8907/stat : 8907 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4800681 13587718144 115083 33554432000 4194304 4196468 140724028082352 140438111496624 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 13278768
[startup+6.30085 s]
/proc/loadavg: 15.36 15.56 14.14 10/290 8907
/proc/meminfo: memFree=30443568/32770624 swapFree=5724/264832
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
[pid=8887] ppid=8886 vsize=13269256 CPUtime=11.79 cores=1,3,5,7,9,11,13,15
/proc/8887/stat : 8887 (java) S 8886 8886 16473 0 -1 1077944320 23581 0 0 0 1080 99 0 0 20 0 20 0 4800672 13587718144 213005 33554432000 4194304 4196468 140724028082352 140724028064896 140438659251959 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
/proc/8887/statm: 3317314 213005 3242 1 0 3304547 0
[pid=8887/tid=8888] ppid=8886 vsize=13269256 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8888/stat : 8888 (java) R 8886 8886 16473 0 -1 4202560 8598 0 0 0 594 10 0 0 20 0 20 0 4800672 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438663490376 140438642229856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8890] ppid=8886 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8890/stat : 8890 (java) S 8886 8886 16473 0 -1 1077944384 103 0 0 0 6 8 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438591387920 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8891] ppid=8886 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8891/stat : 8891 (java) S 8886 8886 16473 0 -1 1077944384 574 0 0 0 9 11 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438590335376 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8892] ppid=8886 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8892/stat : 8892 (java) S 8886 8886 16473 0 -1 1077944384 383 0 0 0 8 12 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438589282832 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8893] ppid=8886 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8893/stat : 8893 (java) S 8886 8886 16473 0 -1 1077944384 122 0 0 0 9 11 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438588230288 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8894] ppid=8886 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8894/stat : 8894 (java) S 8886 8886 16473 0 -1 1077944384 162 0 0 0 12 9 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438587177744 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8895] ppid=8886 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8895/stat : 8895 (java) S 8886 8886 16473 0 -1 1077944384 489 0 0 0 7 10 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438253046672 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8896] ppid=8886 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8896/stat : 8896 (java) S 8886 8886 16473 0 -1 1077944384 116 0 0 0 9 10 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438251994128 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8897] ppid=8886 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8897/stat : 8897 (java) S 8886 8886 16473 0 -1 1077944384 135 0 0 0 6 10 0 0 20 0 20 0 4800673 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438250941584 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8898] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8898/stat : 8898 (java) S 8886 8886 16473 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 20 0 4800675 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438188636144 140438659263106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8899] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8899/stat : 8899 (java) S 8886 8886 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4800676 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438187582432 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8900] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8900/stat : 8900 (java) S 8886 8886 16473 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4800676 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438186529792 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8901] ppid=8886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8901/stat : 8901 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4800680 13587718144 213005 33554432000 4194304 4196468 140724028082352 140438185478352 140438659270555 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
################
# More data... #
################
[pid=8887/tid=8933] ppid=8886 vsize=13801768 CPUtime=156.33 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8933/stat : 8933 (java) R 8886 8886 16473 0 -1 4202560 1356 0 0 0 15633 0 0 0 20 0 28 0 4813221 14133010432 851210 33554432000 4194304 4196468 140724028082352 140438103981784 140438273272531 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8934] ppid=8886 vsize=13801768 CPUtime=155.09 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8934/stat : 8934 (java) R 8886 8886 16473 0 -1 4202560 1342 0 0 0 15508 1 0 0 20 0 28 0 4813221 14133010432 851210 33554432000 4194304 4196468 140724028082352 140438101876776 140438273273753 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
Current children cumulated CPU time (s) 2200.86
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.301 s]
/proc/loadavg: 10.90 14.24 14.09 10/294 9025
/proc/meminfo: memFree=19480000/32770624 swapFree=5724/265716
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
[pid=8887] ppid=8886 vsize=13801768 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/8887/stat : 8887 (java) S 8886 8886 16473 0 -1 1077944320 134468 0 0 0 239613 391 0 0 20 0 28 0 4800672 14133010432 920387 33554432000 4194304 4196468 140724028082352 140724028064896 140438659251959 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
/proc/8887/statm: 3450442 920387 3292 1 0 3437675 0
[pid=8887/tid=8888] ppid=8886 vsize=13801768 CPUtime=7.25 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8888/stat : 8888 (java) S 8886 8886 16473 0 -1 1077944384 9239 0 0 0 712 13 0 0 20 0 28 0 4800672 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438663492736 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8890] ppid=8886 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8890/stat : 8890 (java) S 8886 8886 16473 0 -1 1077944384 1375 0 0 0 57 32 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438591387920 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8891] ppid=8886 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8891/stat : 8891 (java) S 8886 8886 16473 0 -1 1077944384 1314 0 0 0 58 41 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438590335376 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8892] ppid=8886 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8892/stat : 8892 (java) S 8886 8886 16473 0 -1 1077944384 1896 0 0 0 62 39 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438589282832 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8893] ppid=8886 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8893/stat : 8893 (java) S 8886 8886 16473 0 -1 1077944384 1656 0 0 0 53 36 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438588230288 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8894] ppid=8886 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8894/stat : 8894 (java) S 8886 8886 16473 0 -1 1077944384 1946 0 0 0 64 38 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438587177744 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8895] ppid=8886 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8895/stat : 8895 (java) S 8886 8886 16473 0 -1 1077944384 2618 0 0 0 54 42 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438253046672 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8896] ppid=8886 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8896/stat : 8896 (java) S 8886 8886 16473 0 -1 1077944384 743 0 0 0 60 37 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438251994128 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8897] ppid=8886 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8897/stat : 8897 (java) S 8886 8886 16473 0 -1 1077944384 871 0 0 0 53 44 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438250941584 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8898] ppid=8886 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8898/stat : 8898 (java) S 8886 8886 16473 0 -1 1077944384 8412 0 0 0 7 6 0 0 20 0 28 0 4800675 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438188636144 140438659263106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8899] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8899/stat : 8899 (java) S 8886 8886 16473 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4800676 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438187582432 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8900] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8900/stat : 8900 (java) S 8886 8886 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4800676 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438186529792 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8901] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8901/stat : 8901 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438185478352 140438659270555 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8902] ppid=8886 vsize=13801768 CPUtime=3.86 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8902/stat : 8902 (java) S 8886 8886 16473 0 -1 1077944384 20532 0 0 0 383 3 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438184425968 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8903] ppid=8886 vsize=13801768 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8903/stat : 8903 (java) S 8886 8886 16473 0 -1 1077944384 15758 0 0 0 328 2 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438115707504 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8904] ppid=8886 vsize=13801768 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8904/stat : 8904 (java) S 8886 8886 16473 0 -1 1077944384 20607 0 0 0 351 4 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438114654960 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8905] ppid=8886 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8905/stat : 8905 (java) S 8886 8886 16473 0 -1 1077944384 9992 0 0 0 87 1 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438113602416 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8906] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8906/stat : 8906 (java) S 8886 8886 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438112549088 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8907] ppid=8886 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8907/stat : 8907 (java) S 8886 8886 16473 0 -1 1077944384 2978 0 0 0 9 10 0 0 20 0 28 0 4800681 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438111496624 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 9 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8927] ppid=8886 vsize=13801768 CPUtime=181.39 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8927/stat : 8927 (java) R 8886 8886 16473 0 -1 4202560 2772 0 0 0 18137 2 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438099769928 140438273273631 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8928] ppid=8886 vsize=13801768 CPUtime=181.48 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8928/stat : 8928 (java) R 8886 8886 16473 0 -1 4202560 1936 0 0 0 18147 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438100823720 140438273273613 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8929] ppid=8886 vsize=13801768 CPUtime=178.73 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8929/stat : 8929 (java) R 8886 8886 16473 0 -1 4202560 3389 0 0 0 17872 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438098718936 140438273272037 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8930] ppid=8886 vsize=13801768 CPUtime=181.42 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8930/stat : 8930 (java) R 8886 8886 16473 0 -1 4202560 2676 0 0 0 18140 2 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438102929752 140438273272075 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8931] ppid=8886 vsize=13801768 CPUtime=181.26 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8931/stat : 8931 (java) R 8886 8886 16473 0 -1 4202560 1606 0 0 0 18125 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438097665984 140438273272042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8932] ppid=8886 vsize=13801768 CPUtime=181.45 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8932/stat : 8932 (java) R 8886 8886 16473 0 -1 4202560 1519 0 0 0 18144 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438096613480 140438273271902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8933] ppid=8886 vsize=13801768 CPUtime=181.31 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8933/stat : 8933 (java) R 8886 8886 16473 0 -1 4202560 1416 0 0 0 18130 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438103984480 140438273273571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8934] ppid=8886 vsize=13801768 CPUtime=179.85 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8934/stat : 8934 (java) R 8886 8886 16473 0 -1 4202560 1388 0 0 0 17984 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438101876296 140438273273581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
Current children cumulated CPU time (s) 2400.04
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 8887 sig 9
??? kill 8886 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.301 s]
/proc/loadavg: 10.90 14.24 14.09 10/294 9025
/proc/meminfo: memFree=19480000/32770624 swapFree=5724/265716
[pid=8886] ppid=8883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8886/stat : 8886 (xcsp3-exec) S 8883 8886 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4800671 9740288 346 33554432000 4194304 5098028 140729741045040 140729741043144 140184429519484 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25886720 140729741051022 140729741051232 140729741051232 140729741053931 0
/proc/8886/statm: 2378 346 289 221 0 87 0
[pid=8887] ppid=8886 vsize=13801768 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/8887/stat : 8887 (java) S 8886 8886 16473 0 -1 1077944320 134468 0 0 0 239613 391 0 0 20 0 28 0 4800672 14133010432 920387 33554432000 4194304 4196468 140724028082352 140724028064896 140438659251959 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
/proc/8887/statm: 3450442 920387 3292 1 0 3437675 0
[pid=8887/tid=8888] ppid=8886 vsize=13801768 CPUtime=7.25 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8888/stat : 8888 (java) S 8886 8886 16473 0 -1 1077944384 9239 0 0 0 712 13 0 0 20 0 28 0 4800672 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438663492736 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8890] ppid=8886 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8890/stat : 8890 (java) S 8886 8886 16473 0 -1 1077944384 1375 0 0 0 57 32 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438591387920 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8891] ppid=8886 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8891/stat : 8891 (java) S 8886 8886 16473 0 -1 1077944384 1314 0 0 0 58 41 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438590335376 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8892] ppid=8886 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8892/stat : 8892 (java) S 8886 8886 16473 0 -1 1077944384 1896 0 0 0 62 39 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438589282832 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8893] ppid=8886 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8893/stat : 8893 (java) S 8886 8886 16473 0 -1 1077944384 1656 0 0 0 53 36 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438588230288 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8894] ppid=8886 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8894/stat : 8894 (java) S 8886 8886 16473 0 -1 1077944384 1946 0 0 0 64 38 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438587177744 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8895] ppid=8886 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8895/stat : 8895 (java) S 8886 8886 16473 0 -1 1077944384 2618 0 0 0 54 42 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438253046672 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8896] ppid=8886 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8896/stat : 8896 (java) S 8886 8886 16473 0 -1 1077944384 743 0 0 0 60 37 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438251994128 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8897] ppid=8886 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8897/stat : 8897 (java) S 8886 8886 16473 0 -1 1077944384 871 0 0 0 53 44 0 0 20 0 28 0 4800673 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438250941584 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8898] ppid=8886 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8898/stat : 8898 (java) S 8886 8886 16473 0 -1 1077944384 8412 0 0 0 7 6 0 0 20 0 28 0 4800675 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438188636144 140438659263106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8899] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8899/stat : 8899 (java) S 8886 8886 16473 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4800676 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438187582432 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8900] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8900/stat : 8900 (java) S 8886 8886 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4800676 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438186529792 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8901] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8901/stat : 8901 (java) S 8886 8886 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438185478352 140438659270555 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8902] ppid=8886 vsize=13801768 CPUtime=3.86 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8902/stat : 8902 (java) S 8886 8886 16473 0 -1 1077944384 20532 0 0 0 383 3 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438184425968 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8903] ppid=8886 vsize=13801768 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8903/stat : 8903 (java) S 8886 8886 16473 0 -1 1077944384 15758 0 0 0 328 2 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438115707504 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8904] ppid=8886 vsize=13801768 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8904/stat : 8904 (java) S 8886 8886 16473 0 -1 1077944384 20607 0 0 0 351 4 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438114654960 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8905] ppid=8886 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8905/stat : 8905 (java) S 8886 8886 16473 0 -1 1077944384 9992 0 0 0 87 1 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438113602416 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8906] ppid=8886 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8906/stat : 8906 (java) S 8886 8886 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4800680 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438112549088 140438659262165 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8907] ppid=8886 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8907/stat : 8907 (java) S 8886 8886 16473 0 -1 1077944384 2978 0 0 0 9 10 0 0 20 0 28 0 4800681 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438111496624 140438659263106 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 9 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8927] ppid=8886 vsize=13801768 CPUtime=181.39 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8927/stat : 8927 (java) R 8886 8886 16473 0 -1 4202560 2772 0 0 0 18137 2 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438099769928 140438273273631 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8928] ppid=8886 vsize=13801768 CPUtime=181.48 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8928/stat : 8928 (java) R 8886 8886 16473 0 -1 4202560 1936 0 0 0 18147 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438100823720 140438273273613 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8929] ppid=8886 vsize=13801768 CPUtime=178.73 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8929/stat : 8929 (java) R 8886 8886 16473 0 -1 4202560 3389 0 0 0 17872 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438098718936 140438273272037 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8930] ppid=8886 vsize=13801768 CPUtime=181.42 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8930/stat : 8930 (java) R 8886 8886 16473 0 -1 4202560 2676 0 0 0 18140 2 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438102929752 140438273272075 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8931] ppid=8886 vsize=13801768 CPUtime=181.26 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8931/stat : 8931 (java) R 8886 8886 16473 0 -1 4202560 1606 0 0 0 18125 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438097665984 140438273272042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8932] ppid=8886 vsize=13801768 CPUtime=181.45 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8932/stat : 8932 (java) R 8886 8886 16473 0 -1 4202560 1519 0 0 0 18144 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438096613480 140438273271902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8933] ppid=8886 vsize=13801768 CPUtime=181.31 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8933/stat : 8933 (java) R 8886 8886 16473 0 -1 4202560 1416 0 0 0 18130 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438103984480 140438273273571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
[pid=8887/tid=8934] ppid=8886 vsize=13801768 CPUtime=179.85 cores=1,3,5,7,9,11,13,15
/proc/8887/task/8934/stat : 8934 (java) R 8886 8886 16473 0 -1 4202560 1388 0 0 0 17984 1 0 0 20 0 28 0 4813221 14133010432 920387 33554432000 4194304 4196468 140724028082352 140438101876296 140438273273581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8507392 140724028089532 140724028089708 140724028089708 140724028092367 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8886 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1500
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1500
# CPU time returned by wait4() is 0.003
# while last known CPU time is 2400.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.312
CPU time (s): 2400.04
CPU user time (s): 2396.13
CPU system time (s): 3.91
CPU usage (%): 780.978
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.0015
system time used= 0.0015
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 5
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58171 second user time and 4.01886 second system time
The end