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-4249027-1500693756/watcher-4249027-1500693756 -o /tmp/evaluation-result-4249027-1500693756/solver-4249027-1500693756 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1531723591 HOME/instance-4249027-1500693756.xml
pid=14105
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.48 14.63 14.14 11/271 14108
/proc/meminfo: memFree=31610284/32770624 swapFree=5656/332236
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 15.48 14.63 14.14 11/271 14108
/proc/meminfo: memFree=31610284/32770624 swapFree=5656/332236
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200248 s]
/proc/loadavg: 15.48 14.63 14.14 11/271 14108
/proc/meminfo: memFree=31610284/32770624 swapFree=5656/332236
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300251 s]
/proc/loadavg: 15.48 14.63 14.14 11/271 14108
/proc/meminfo: memFree=31610284/32770624 swapFree=5656/332236
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700176 s]
/proc/loadavg: 15.48 14.63 14.14 11/271 14108
/proc/meminfo: memFree=31610284/32770624 swapFree=5656/332236
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 15.48 14.63 14.14 13/292 14129
/proc/meminfo: memFree=31405312/32770624 swapFree=5656/332276
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
[pid=14109] ppid=14108 vsize=13269256 CPUtime=5.58 cores=1,3,5,7,9,11,13,15
/proc/14109/stat : 14109 (java) S 14108 14108 7102 0 -1 1077944320 28144 0 0 0 535 23 0 0 20 0 20 0 4643130 13587718144 62193 33554432000 4194304 4196468 140730341487792 140730341470336 140274353262327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
/proc/14109/statm: 3317314 62193 3244 1 0 3304547 0
[pid=14109/tid=14110] ppid=14108 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14110/stat : 14110 (java) R 14108 14108 7102 0 -1 4202560 7851 0 0 0 136 4 0 0 20 0 20 0 4643130 13587718144 62193 33554432000 4194304 4196468 140730341487792 140274357497288 140274353274262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14112] ppid=14108 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14112/stat : 14112 (java) S 14108 14108 7102 0 -1 1077944384 201 0 0 0 3 2 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140274305882640 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14113] ppid=14108 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14113/stat : 14113 (java) S 14108 14108 7102 0 -1 1077944384 64 0 0 0 3 1 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140274304830096 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14114] ppid=14108 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14114/stat : 14114 (java) S 14108 14108 7102 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273950062864 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14115] ppid=14108 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14115/stat : 14115 (java) S 14108 14108 7102 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273949010320 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14116] ppid=14108 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14116/stat : 14116 (java) S 14108 14108 7102 0 -1 1077944384 44 0 0 0 3 1 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273947958288 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14117] ppid=14108 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14117/stat : 14117 (java) S 14108 14108 7102 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273946905744 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14118] ppid=14108 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14118/stat : 14118 (java) S 14108 14108 7102 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273945852688 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14119] ppid=14108 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14119/stat : 14119 (java) S 14108 14108 7102 0 -1 1077944384 104 0 0 0 3 1 0 0 20 0 20 0 4643131 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273944800144 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14120] ppid=14108 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14120/stat : 14120 (java) S 14108 14108 7102 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 20 0 4643133 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273412901104 140274353273474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14121] ppid=14108 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14121/stat : 14121 (java) S 14108 14108 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4643134 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273411847392 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14122] ppid=14108 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14122/stat : 14122 (java) S 14108 14108 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4643134 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273410794240 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14123] ppid=14108 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14123/stat : 14123 (java) S 14108 14108 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4643137 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273409742800 140274353280923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14124] ppid=14108 vsize=13269256 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14124/stat : 14124 (java) R 14108 14108 7102 0 -1 4202560 4875 0 0 0 105 1 0 0 20 0 20 0 4643137 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273408675792 140274332524455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14125] ppid=14108 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14125/stat : 14125 (java) R 14108 14108 7102 0 -1 4202560 3938 0 0 0 102 1 0 0 20 0 20 0 4643137 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273407624816 140274345280835 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14126] ppid=14108 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14126/stat : 14126 (java) R 14108 14108 7102 0 -1 4202560 5397 0 0 0 106 1 0 0 20 0 20 0 4643137 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273406569840 140274332606666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14127] ppid=14108 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14127/stat : 14127 (java) S 14108 14108 7102 0 -1 1077944384 3813 0 0 0 60 1 0 0 20 0 20 0 4643138 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273405532784 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14128] ppid=14108 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14128/stat : 14128 (java) S 14108 14108 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4643138 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273404479968 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14129] ppid=14108 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14129/stat : 14129 (java) S 14108 14108 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4643138 13587718144 62193 33554432000 4194304 4196468 140730341487792 140273403427504 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13278768
[startup+3.10121 s]
/proc/loadavg: 15.48 14.63 14.14 10/292 14129
/proc/meminfo: memFree=31163548/32770624 swapFree=5656/332276
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
[pid=14109] ppid=14108 vsize=13801768 CPUtime=14.71 cores=1,3,5,7,9,11,13,15
/proc/14109/stat : 14109 (java) S 14108 14108 7102 0 -1 1077944320 32909 0 0 0 1404 67 0 0 20 0 28 0 4643130 14133010432 112829 33554432000 4194304 4196468 140730341487792 140730341470336 140274353262327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
/proc/14109/statm: 3450442 112829 3266 1 0 3437675 0
[pid=14109/tid=14110] ppid=14108 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14110/stat : 14110 (java) S 14108 14108 7102 0 -1 1077944384 8945 0 0 0 204 7 0 0 20 0 28 0 4643130 14133010432 112829 33554432000 4194304 4196468 140730341487792 140274357503104 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14112] ppid=14108 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14112/stat : 14112 (java) S 14108 14108 7102 0 -1 1077944384 304 0 0 0 9 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140274305882640 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14113] ppid=14108 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14113/stat : 14113 (java) S 14108 14108 7102 0 -1 1077944384 121 0 0 0 9 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140274304830096 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14114] ppid=14108 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14114/stat : 14114 (java) S 14108 14108 7102 0 -1 1077944384 137 0 0 0 9 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273950062864 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14115] ppid=14108 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14115/stat : 14115 (java) S 14108 14108 7102 0 -1 1077944384 140 0 0 0 8 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273949010320 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14116] ppid=14108 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14116/stat : 14116 (java) S 14108 14108 7102 0 -1 1077944384 135 0 0 0 9 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273947958288 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14117] ppid=14108 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14117/stat : 14117 (java) S 14108 14108 7102 0 -1 1077944384 183 0 0 0 8 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273946905744 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14118] ppid=14108 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14118/stat : 14118 (java) S 14108 14108 7102 0 -1 1077944384 239 0 0 0 7 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273945852688 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14119] ppid=14108 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14119/stat : 14119 (java) S 14108 14108 7102 0 -1 1077944384 141 0 0 0 9 6 0 0 20 0 28 0 4643131 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273944800144 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14120] ppid=14108 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14120/stat : 14120 (java) S 14108 14108 7102 0 -1 1077944384 701 0 0 0 1 0 0 0 20 0 28 0 4643133 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273412901104 140274353273474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14121] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14121/stat : 14121 (java) S 14108 14108 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273411847392 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14122] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14122/stat : 14122 (java) S 14108 14108 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273410794240 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14123] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14123/stat : 14123 (java) S 14108 14108 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4643137 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273409742800 140274353280923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14124] ppid=14108 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14124/stat : 14124 (java) R 14108 14108 7102 0 -1 4202560 5550 0 0 0 218 1 0 0 20 0 28 0 4643137 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273408672496 140274336820733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14125] ppid=14108 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14125/stat : 14125 (java) R 14108 14108 7102 0 -1 4202560 4256 0 0 0 206 1 0 0 20 0 28 0 4643137 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273407619952 140274332736531 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14126] ppid=14108 vsize=13801768 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14126/stat : 14126 (java) R 14108 14108 7102 0 -1 4202560 5636 0 0 0 209 1 0 0 20 0 28 0 4643137 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273406585456 140274333963589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14127] ppid=14108 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14127/stat : 14127 (java) R 14108 14108 7102 0 -1 1077944384 4581 0 0 0 89 1 0 0 20 0 28 0 4643138 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273405530576 140274353272533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14128] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14128/stat : 14128 (java) S 14108 14108 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4643138 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273404479968 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14129] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14129/stat : 14129 (java) S 14108 14108 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4643138 14133010432 112829 33554432000 4194304 4196468 140730341487792 140273403427504 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
Current children cumulated CPU time (s) 14.71
Current children cumulated vsize (KiB) 13811280
[startup+6.30159 s]
/proc/loadavg: 15.28 14.60 14.13 14/292 14223
/proc/meminfo: memFree=30712436/32770624 swapFree=5656/332332
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
[pid=14109] ppid=14108 vsize=13801768 CPUtime=40.07 cores=1,3,5,7,9,11,13,15
/proc/14109/stat : 14109 (java) S 14108 14108 7102 0 -1 1077944320 38076 0 0 0 3919 88 0 0 20 0 28 0 4643130 14133010432 176335 33554432000 4194304 4196468 140730341487792 140730341470336 140274353262327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
/proc/14109/statm: 3450442 176335 3274 1 0 3437675 0
[pid=14109/tid=14110] ppid=14108 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14110/stat : 14110 (java) S 14108 14108 7102 0 -1 1077944384 8945 0 0 0 204 7 0 0 20 0 28 0 4643130 14133010432 176335 33554432000 4194304 4196468 140730341487792 140274357503104 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14112] ppid=14108 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14112/stat : 14112 (java) S 14108 14108 7102 0 -1 1077944384 567 0 0 0 13 8 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140274305882640 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14113] ppid=14108 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14113/stat : 14113 (java) S 14108 14108 7102 0 -1 1077944384 141 0 0 0 12 7 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140274304830096 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14114] ppid=14108 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14114/stat : 14114 (java) S 14108 14108 7102 0 -1 1077944384 169 0 0 0 12 8 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273950062864 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14115] ppid=14108 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14115/stat : 14115 (java) S 14108 14108 7102 0 -1 1077944384 180 0 0 0 11 8 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273949010320 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14116] ppid=14108 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14116/stat : 14116 (java) S 14108 14108 7102 0 -1 1077944384 189 0 0 0 13 8 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273947958288 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14117] ppid=14108 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14117/stat : 14117 (java) S 14108 14108 7102 0 -1 1077944384 222 0 0 0 11 7 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273946905744 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14118] ppid=14108 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14118/stat : 14118 (java) S 14108 14108 7102 0 -1 1077944384 286 0 0 0 10 8 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273945852688 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14119] ppid=14108 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14119/stat : 14119 (java) S 14108 14108 7102 0 -1 1077944384 206 0 0 0 12 7 0 0 20 0 28 0 4643131 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273944800144 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14120] ppid=14108 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14120/stat : 14120 (java) S 14108 14108 7102 0 -1 1077944384 1078 0 0 0 1 0 0 0 20 0 28 0 4643133 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273412901104 140274353273474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14121] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14121/stat : 14121 (java) S 14108 14108 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273411847392 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14122] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14122/stat : 14122 (java) S 14108 14108 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273410794240 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14123] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14123/stat : 14123 (java) S 14108 14108 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4643137 14133010432 176335 33554432000 4194304 4196468 140730341487792 140273409742800 140274353280923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
################
# More data... #
################
[pid=14109/tid=14136] ppid=14108 vsize=13801768 CPUtime=218.35 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14136/stat : 14136 (java) R 14108 14108 7102 0 -1 4202560 750 0 0 0 21833 2 0 0 20 0 28 0 4643361 14133010432 890838 33554432000 4194304 4196468 140730341487792 140273389096904 140273991619335 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14137] ppid=14108 vsize=13801768 CPUtime=218.21 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14137/stat : 14137 (java) R 14108 14108 7102 0 -1 4202560 1430 0 0 0 21818 3 0 0 20 0 28 0 4643361 14133010432 890838 33554432000 4194304 4196468 140730341487792 140273388044392 140273991619081 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
Current children cumulated CPU time (s) 1759.8
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.00 15.36 14.56 17/299 14802
/proc/meminfo: memFree=24883896/32770624 swapFree=5656/332812
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
[pid=14109] ppid=14108 vsize=13801768 CPUtime=2237.34 cores=1,3,5,7,9,11,13,15
/proc/14109/stat : 14109 (java) S 14108 14108 7102 0 -1 1077944320 86202 0 0 0 223490 244 0 0 20 0 28 0 4643130 14133010432 896962 33554432000 4194304 4196468 140730341487792 140730341470336 140274353262327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
/proc/14109/statm: 3450442 896962 3276 1 0 3437675 0
[pid=14109/tid=14110] ppid=14108 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14110/stat : 14110 (java) S 14108 14108 7102 0 -1 1077944384 8945 0 0 0 204 7 0 0 20 0 28 0 4643130 14133010432 896962 33554432000 4194304 4196468 140730341487792 140274357503104 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14112] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14112/stat : 14112 (java) S 14108 14108 7102 0 -1 1077944384 1713 0 0 0 24 18 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140274305882640 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14113] ppid=14108 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14113/stat : 14113 (java) S 14108 14108 7102 0 -1 1077944384 422 0 0 0 24 17 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140274304830096 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14114] ppid=14108 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14114/stat : 14114 (java) S 14108 14108 7102 0 -1 1077944384 520 0 0 0 24 19 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273950062864 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14115] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14115/stat : 14115 (java) S 14108 14108 7102 0 -1 1077944384 981 0 0 0 23 19 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273949010320 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14116] ppid=14108 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14116/stat : 14116 (java) S 14108 14108 7102 0 -1 1077944384 516 0 0 0 24 19 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273947958288 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14117] ppid=14108 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14117/stat : 14117 (java) S 14108 14108 7102 0 -1 1077944384 2481 0 0 0 23 17 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273946905744 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14118] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14118/stat : 14118 (java) S 14108 14108 7102 0 -1 1077944384 855 0 0 0 22 20 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273945852688 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14119] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14119/stat : 14119 (java) S 14108 14108 7102 0 -1 1077944384 837 0 0 0 23 19 0 0 20 0 28 0 4643131 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273944800144 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14120] ppid=14108 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14120/stat : 14120 (java) S 14108 14108 7102 0 -1 1077944384 3707 0 0 0 4 5 0 0 20 0 28 0 4643133 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273412901104 140274353273474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14121] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14121/stat : 14121 (java) S 14108 14108 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273411847392 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14122] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14122/stat : 14122 (java) S 14108 14108 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273410794240 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14123] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14123/stat : 14123 (java) S 14108 14108 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4643137 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273409742800 140274353280923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14124] ppid=14108 vsize=13801768 CPUtime=4.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14124/stat : 14124 (java) S 14108 14108 7102 0 -1 1077944384 14480 0 0 0 413 2 0 0 20 0 28 0 4643137 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273408690928 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14125] ppid=14108 vsize=13801768 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14125/stat : 14125 (java) S 14108 14108 7102 0 -1 1077944384 12965 0 0 0 392 2 0 0 20 0 28 0 4643137 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273407638384 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14126] ppid=14108 vsize=13801768 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14126/stat : 14126 (java) S 14108 14108 7102 0 -1 1077944384 9863 0 0 0 375 2 0 0 20 0 28 0 4643137 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273406585328 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14127] ppid=14108 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14127/stat : 14127 (java) S 14108 14108 7102 0 -1 1077944384 6943 0 0 0 104 2 0 0 20 0 28 0 4643138 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273405532784 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14128] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14128/stat : 14128 (java) S 14108 14108 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4643138 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273404479968 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14129] ppid=14108 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14129/stat : 14129 (java) S 14108 14108 7102 0 -1 1077944384 1259 0 0 0 6 8 0 0 20 0 28 0 4643138 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273403427504 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14130] ppid=14108 vsize=13801768 CPUtime=273.82 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14130/stat : 14130 (java) R 14108 14108 7102 0 -1 4202560 2739 0 0 0 27374 8 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273395414336 140273991815320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14131] ppid=14108 vsize=13801768 CPUtime=277.82 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14131/stat : 14131 (java) R 14108 14108 7102 0 -1 4202560 3844 0 0 0 27763 19 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273394360744 140273992484336 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14132] ppid=14108 vsize=13801768 CPUtime=278.59 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14132/stat : 14132 (java) R 14108 14108 7102 0 -1 4202560 2189 0 0 0 27854 5 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273393307728 140273992577026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14133] ppid=14108 vsize=13801768 CPUtime=276.74 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14133/stat : 14133 (java) R 14108 14108 7102 0 -1 4202560 3138 0 0 0 27659 15 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273392255688 140273992577019 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14134] ppid=14108 vsize=13801768 CPUtime=278.06 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14134/stat : 14134 (java) R 14108 14108 7102 0 -1 4202560 3455 0 0 0 27796 10 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273391202328 140273992484462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14135] ppid=14108 vsize=13801768 CPUtime=277.2 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14135/stat : 14135 (java) R 14108 14108 7102 0 -1 4202560 473 0 0 0 27720 0 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273390150056 140273991619112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14136] ppid=14108 vsize=13801768 CPUtime=278.22 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14136/stat : 14136 (java) R 14108 14108 7102 0 -1 4202560 889 0 0 0 27820 2 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273389096904 140273992087078 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14137] ppid=14108 vsize=13801768 CPUtime=278.09 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14137/stat : 14137 (java) R 14108 14108 7102 0 -1 4202560 1652 0 0 0 27806 3 0 0 20 0 28 0 4643361 14133010432 896962 33554432000 4194304 4196468 140730341487792 140273388044104 140273991840609 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
Current children cumulated CPU time (s) 2237.34
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.801 s]
/proc/loadavg: 16.00 15.40 14.59 17/299 14802
/proc/meminfo: memFree=24933040/32770624 swapFree=5656/332856
[pid=14108] ppid=14105 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14108/stat : 14108 (xcsp3-exec) S 14105 14108 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4643129 9740288 346 33554432000 4194304 5098028 140736011321840 140736011319944 140608548737660 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15446016 140736011326606 140736011326816 140736011326816 140736011329515 0
/proc/14108/statm: 2378 346 289 221 0 87 0
[pid=14109] ppid=14108 vsize=13801768 CPUtime=2400.49 cores=1,3,5,7,9,11,13,15
/proc/14109/stat : 14109 (java) S 14108 14108 7102 0 -1 1077944320 88597 0 0 0 239801 248 0 0 20 0 28 0 4643130 14133010432 896579 33554432000 4194304 4196468 140730341487792 140730341470336 140274353262327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
/proc/14109/statm: 3450442 896579 3276 1 0 3437675 0
[pid=14109/tid=14110] ppid=14108 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14110/stat : 14110 (java) S 14108 14108 7102 0 -1 1077944384 8945 0 0 0 204 7 0 0 20 0 28 0 4643130 14133010432 896579 33554432000 4194304 4196468 140730341487792 140274357503104 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14112] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14112/stat : 14112 (java) S 14108 14108 7102 0 -1 1077944384 1714 0 0 0 24 18 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140274305882640 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14113] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14113/stat : 14113 (java) S 14108 14108 7102 0 -1 1077944384 427 0 0 0 25 17 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140274304830096 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14114] ppid=14108 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14114/stat : 14114 (java) S 14108 14108 7102 0 -1 1077944384 522 0 0 0 24 19 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273950062864 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14115] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14115/stat : 14115 (java) S 14108 14108 7102 0 -1 1077944384 985 0 0 0 23 19 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273949010320 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14116] ppid=14108 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14116/stat : 14116 (java) S 14108 14108 7102 0 -1 1077944384 523 0 0 0 24 19 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273947958288 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14117] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14117/stat : 14117 (java) S 14108 14108 7102 0 -1 1077944384 2490 0 0 0 24 18 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273946905744 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14118] ppid=14108 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14118/stat : 14118 (java) S 14108 14108 7102 0 -1 1077944384 864 0 0 0 22 20 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273945852688 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14119] ppid=14108 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14119/stat : 14119 (java) S 14108 14108 7102 0 -1 1077944384 844 0 0 0 24 19 0 0 20 0 28 0 4643131 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273944800144 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14120] ppid=14108 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14120/stat : 14120 (java) S 14108 14108 7102 0 -1 1077944384 3710 0 0 0 5 6 0 0 20 0 28 0 4643133 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273412901104 140274353273474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14121] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14121/stat : 14121 (java) S 14108 14108 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273411847392 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14122] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14122/stat : 14122 (java) S 14108 14108 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4643134 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273410794240 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14123] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14123/stat : 14123 (java) S 14108 14108 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4643137 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273409742800 140274353280923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14124] ppid=14108 vsize=13801768 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14124/stat : 14124 (java) S 14108 14108 7102 0 -1 1077944384 15928 0 0 0 421 2 0 0 20 0 28 0 4643137 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273408690928 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14125] ppid=14108 vsize=13801768 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14125/stat : 14125 (java) S 14108 14108 7102 0 -1 1077944384 12965 0 0 0 392 2 0 0 20 0 28 0 4643137 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273407638384 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14126] ppid=14108 vsize=13801768 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14126/stat : 14126 (java) S 14108 14108 7102 0 -1 1077944384 9863 0 0 0 375 2 0 0 20 0 28 0 4643137 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273406585328 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14127] ppid=14108 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14127/stat : 14127 (java) S 14108 14108 7102 0 -1 1077944384 6943 0 0 0 104 2 0 0 20 0 28 0 4643138 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273405532784 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14128] ppid=14108 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14128/stat : 14128 (java) S 14108 14108 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4643138 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273404479968 140274353272533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14129] ppid=14108 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14129/stat : 14129 (java) S 14108 14108 7102 0 -1 1077944384 1260 0 0 0 7 8 0 0 20 0 28 0 4643138 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273403427504 140274353273474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14130] ppid=14108 vsize=13801768 CPUtime=294.27 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14130/stat : 14130 (java) R 14108 14108 7102 0 -1 4202560 2850 0 0 0 29418 9 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273395411848 140273991618543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14131] ppid=14108 vsize=13801768 CPUtime=298.15 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14131/stat : 14131 (java) R 14108 14108 7102 0 -1 4202560 4276 0 0 0 29796 19 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273394363040 140273991815369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14132] ppid=14108 vsize=13801768 CPUtime=299.03 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14132/stat : 14132 (java) R 14108 14108 7102 0 -1 4202560 2211 0 0 0 29898 5 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273393307968 140273992577002 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14133] ppid=14108 vsize=13801768 CPUtime=297.18 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14133/stat : 14133 (java) R 14108 14108 7102 0 -1 4202560 3187 0 0 0 29703 15 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273392255768 140273992577019 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14134] ppid=14108 vsize=13801768 CPUtime=298.45 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14134/stat : 14134 (java) R 14108 14108 7102 0 -1 4202560 3665 0 0 0 29835 10 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273391202120 140273991618758 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14135] ppid=14108 vsize=13801768 CPUtime=297.23 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14135/stat : 14135 (java) R 14108 14108 7102 0 -1 4202560 480 0 0 0 29723 0 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273390149784 140273991619317 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14136] ppid=14108 vsize=13801768 CPUtime=298.65 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14136/stat : 14136 (java) R 14108 14108 7102 0 -1 4202560 935 0 0 0 29863 2 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273389096904 140273992087119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
[pid=14109/tid=14137] ppid=14108 vsize=13801768 CPUtime=298.54 cores=1,3,5,7,9,11,13,15
/proc/14109/task/14137/stat : 14137 (java) R 14108 14108 7102 0 -1 4202560 1674 0 0 0 29851 3 0 0 20 0 28 0 4643361 14133010432 896579 33554432000 4194304 4196468 140730341487792 140273388044392 140273991840609 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30474240 140730341495996 140730341496172 140730341496172 140730341498831 0
Current children cumulated CPU time (s) 2400.49
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 14109 sig 9
??? kill 14108 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 14108 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2104
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1052
# CPU time returned by wait4() is 0.003156
# while last known CPU time is 2400.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.812
CPU time (s): 2400.49
CPU user time (s): 2398.01
CPU system time (s): 2.48
CPU usage (%): 792.733
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002104
system time used= 0.001052
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= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60203 second user time and 4.67518 second system time
The end