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-4246933-1500689028/watcher-4246933-1500689028 -o /tmp/evaluation-result-4246933-1500689028/solver-4246933-1500689028 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1523415405 HOME/instance-4246933-1500689028.xml
pid=30225
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: 12.57 13.25 14.03 10/273 30228
/proc/meminfo: memFree=28220472/32770624 swapFree=5808/103164
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[startup+0.100133 s]
/proc/loadavg: 12.57 13.25 14.03 10/273 30228
/proc/meminfo: memFree=28220472/32770624 swapFree=5808/103164
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200355 s]
/proc/loadavg: 12.57 13.25 14.03 10/273 30228
/proc/meminfo: memFree=28220472/32770624 swapFree=5808/103164
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300321 s]
/proc/loadavg: 12.57 13.25 14.03 10/273 30228
/proc/meminfo: memFree=28220472/32770624 swapFree=5808/103164
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700243 s]
/proc/loadavg: 12.57 13.25 14.03 10/273 30228
/proc/meminfo: memFree=28220472/32770624 swapFree=5808/103164
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50111 s]
/proc/loadavg: 12.57 13.25 14.03 24/294 30249
/proc/meminfo: memFree=28014004/32770624 swapFree=5808/103192
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[pid=30229] ppid=30228 vsize=13269256 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/30229/stat : 30229 (java) S 30228 30228 15196 0 -1 1077944320 29842 0 0 0 530 14 0 0 20 0 20 0 4167931 13587718144 55552 33554432000 4194304 4196468 140737233151296 140737233133840 140496496697079 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
/proc/30229/statm: 3317314 55552 3242 1 0 3304547 0
[pid=30229/tid=30230] ppid=30228 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30230/stat : 30230 (java) S 30228 30228 15196 0 -1 1077944384 7344 0 0 0 140 4 0 0 20 0 20 0 4167931 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496500934208 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30232] ppid=30228 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30232/stat : 30232 (java) R 30228 30228 15196 0 -1 4202560 69 0 0 0 1 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496435661328 140496489803625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30233] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30233/stat : 30233 (java) S 30228 30228 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496434608784 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30234] ppid=30228 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30234/stat : 30234 (java) R 30228 30228 15196 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496094058768 140496489803610 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30235] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30235/stat : 30235 (java) R 30228 30228 15196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496093006224 140496496707285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30236] ppid=30228 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30236/stat : 30236 (java) R 30228 30228 15196 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496091954192 140496489802766 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30237] ppid=30228 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30237/stat : 30237 (java) R 30228 30228 15196 0 -1 4202560 147 0 0 0 1 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496090901648 140496489793673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30238] ppid=30228 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30238/stat : 30238 (java) S 30228 30228 15196 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496089848592 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30239] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30239/stat : 30239 (java) R 30228 30228 15196 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 4167932 13587718144 55552 33554432000 4194304 4196468 140737233151296 140496088796248 140496489793915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30240] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30240/stat : 30240 (java) S 30228 30228 15196 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 20 0 4167935 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495958283040 140496496707285 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30241] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30241/stat : 30241 (java) S 30228 30228 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 4167936 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495957230752 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30242] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30242/stat : 30242 (java) S 30228 30228 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4167936 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495956177648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30243] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30243/stat : 30243 (java) S 30228 30228 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4167940 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495955126224 140496496715675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30244] ppid=30228 vsize=13269256 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30244/stat : 30244 (java) S 30228 30228 15196 0 -1 1077944384 7357 0 0 0 110 1 0 0 20 0 20 0 4167940 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495954057872 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30245] ppid=30228 vsize=13269256 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30245/stat : 30245 (java) S 30228 30228 15196 0 -1 1077944384 3971 0 0 0 106 0 0 0 20 0 20 0 4167940 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495953006624 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30246] ppid=30228 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30246/stat : 30246 (java) R 30228 30228 15196 0 -1 4202560 4993 0 0 0 103 0 0 0 20 0 20 0 4167940 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495951955184 140496475100526 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30247] ppid=30228 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30247/stat : 30247 (java) S 30228 30228 15196 0 -1 1077944384 4170 0 0 0 60 1 0 0 20 0 20 0 4167940 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495950916208 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30248] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30248/stat : 30248 (java) S 30228 30228 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4167940 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495949863392 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30249] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30249/stat : 30249 (java) S 30228 30228 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4167941 13587718144 55552 33554432000 4194304 4196468 140737233151296 140495948810928 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 13278768
[startup+3.10122 s]
/proc/loadavg: 12.57 13.25 14.03 11/294 30249
/proc/meminfo: memFree=27822496/32770624 swapFree=5808/103192
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[pid=30229] ppid=30228 vsize=13269256 CPUtime=11.19 cores=1,3,5,7,9,11,13,15
/proc/30229/stat : 30229 (java) S 30228 30228 15196 0 -1 1077944320 37624 0 0 0 1019 100 0 0 20 0 20 0 4167931 13587718144 182750 33554432000 4194304 4196468 140737233151296 140737233133840 140496496697079 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
/proc/30229/statm: 3317314 182750 3250 1 0 3304547 0
[pid=30229/tid=30230] ppid=30228 vsize=13269256 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30230/stat : 30230 (java) R 30228 30228 15196 0 -1 4202560 8924 0 0 0 271 10 0 0 20 0 20 0 4167931 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496500933464 140496118764098 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30232] ppid=30228 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30232/stat : 30232 (java) S 30228 30228 15196 0 -1 1077944384 178 0 0 0 12 11 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496435661328 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30233] ppid=30228 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30233/stat : 30233 (java) S 30228 30228 15196 0 -1 1077944384 181 0 0 0 10 9 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496434608784 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30234] ppid=30228 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30234/stat : 30234 (java) S 30228 30228 15196 0 -1 1077944384 136 0 0 0 11 10 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496094058768 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30235] ppid=30228 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30235/stat : 30235 (java) S 30228 30228 15196 0 -1 1077944384 157 0 0 0 12 10 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496093006224 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30236] ppid=30228 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30236/stat : 30236 (java) S 30228 30228 15196 0 -1 1077944384 138 0 0 0 10 10 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496091954192 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30237] ppid=30228 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30237/stat : 30237 (java) S 30228 30228 15196 0 -1 1077944384 324 0 0 0 12 10 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496090901648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30238] ppid=30228 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30238/stat : 30238 (java) S 30228 30228 15196 0 -1 1077944384 177 0 0 0 11 10 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496089848592 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30239] ppid=30228 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30239/stat : 30239 (java) S 30228 30228 15196 0 -1 1077944384 410 0 0 0 11 9 0 0 20 0 20 0 4167932 13587718144 182750 33554432000 4194304 4196468 140737233151296 140496088796048 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30240] ppid=30228 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30240/stat : 30240 (java) S 30228 30228 15196 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 20 0 4167935 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495958284528 140496496708226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30241] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30241/stat : 30241 (java) S 30228 30228 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 4167936 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495957230816 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30242] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30242/stat : 30242 (java) S 30228 30228 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4167936 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495956177648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30243] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30243/stat : 30243 (java) S 30228 30228 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4167940 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495955126224 140496496715675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30244] ppid=30228 vsize=13269256 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30244/stat : 30244 (java) S 30228 30228 15196 0 -1 1077944384 8431 0 0 0 203 1 0 0 20 0 20 0 4167940 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495954074352 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30245] ppid=30228 vsize=13269256 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30245/stat : 30245 (java) S 30228 30228 15196 0 -1 1077944384 5521 0 0 0 190 1 0 0 20 0 20 0 4167940 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495953021808 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30246] ppid=30228 vsize=13269256 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30246/stat : 30246 (java) S 30228 30228 15196 0 -1 1077944384 6409 0 0 0 187 1 0 0 20 0 20 0 4167940 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495951968752 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30247] ppid=30228 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30247/stat : 30247 (java) S 30228 30228 15196 0 -1 1077944384 4608 0 0 0 71 1 0 0 20 0 20 0 4167940 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495950916208 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30248] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30248/stat : 30248 (java) S 30228 30228 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4167940 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495949863392 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30249] ppid=30228 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30249/stat : 30249 (java) S 30228 30228 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4167941 13587718144 182750 33554432000 4194304 4196468 140737233151296 140495948810928 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 13278768
[startup+6.30162 s]
/proc/loadavg: 12.29 13.18 14.01 19/302 30257
/proc/meminfo: memFree=27091268/32770624 swapFree=5808/103204
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[pid=30229] ppid=30228 vsize=13801768 CPUtime=28.63 cores=1,3,5,7,9,11,13,15
/proc/30229/stat : 30229 (java) S 30228 30228 15196 0 -1 1077944320 41980 0 0 0 2677 186 0 0 20 0 28 0 4167931 14133010432 341555 33554432000 4194304 4196468 140737233151296 140737233133840 140496496697079 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
/proc/30229/statm: 3450442 341555 3276 1 0 3437675 0
[pid=30229/tid=30230] ppid=30228 vsize=13801768 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30230/stat : 30230 (java) S 30228 30228 15196 0 -1 1077944384 9303 0 0 0 385 13 0 0 20 0 28 0 4167931 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496500937856 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30232] ppid=30228 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30232/stat : 30232 (java) S 30228 30228 15196 0 -1 1077944384 334 0 0 0 25 21 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496435661328 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30233] ppid=30228 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30233/stat : 30233 (java) S 30228 30228 15196 0 -1 1077944384 238 0 0 0 19 17 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496434608784 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30234] ppid=30228 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30234/stat : 30234 (java) S 30228 30228 15196 0 -1 1077944384 201 0 0 0 21 18 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496094058768 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30235] ppid=30228 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30235/stat : 30235 (java) S 30228 30228 15196 0 -1 1077944384 289 0 0 0 25 20 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496093006224 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30236] ppid=30228 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30236/stat : 30236 (java) S 30228 30228 15196 0 -1 1077944384 377 0 0 0 23 21 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496091954192 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30237] ppid=30228 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30237/stat : 30237 (java) S 30228 30228 15196 0 -1 1077944384 484 0 0 0 25 21 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496090901648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30238] ppid=30228 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30238/stat : 30238 (java) S 30228 30228 15196 0 -1 1077944384 311 0 0 0 23 20 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496089848592 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30239] ppid=30228 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30239/stat : 30239 (java) S 30228 30228 15196 0 -1 1077944384 621 0 0 0 27 18 0 0 20 0 28 0 4167932 14133010432 341555 33554432000 4194304 4196468 140737233151296 140496088796048 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30240] ppid=30228 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30240/stat : 30240 (java) S 30228 30228 15196 0 -1 1077944384 1222 0 0 0 1 0 0 0 20 0 28 0 4167935 14133010432 341555 33554432000 4194304 4196468 140737233151296 140495958284528 140496496708226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30241] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30241/stat : 30241 (java) S 30228 30228 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4167936 14133010432 341555 33554432000 4194304 4196468 140737233151296 140495957230816 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30242] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30242/stat : 30242 (java) S 30228 30228 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4167936 14133010432 341555 33554432000 4194304 4196468 140737233151296 140495956177648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30243] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30243/stat : 30243 (java) S 30228 30228 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4167940 14133010432 341555 33554432000 4194304 4196468 140737233151296 140495955126224 140496496715675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
################
# More data... #
################
/proc/30229/task/30248/stat : 30248 (java) S 30228 30228 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4167940 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495949863392 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30249] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30249/stat : 30249 (java) S 30228 30228 15196 0 -1 1077944384 799 0 0 0 0 0 0 0 20 0 28 0 4167941 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495948810928 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30250] ppid=30228 vsize=13801768 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30250/stat : 30250 (java) R 30228 30228 15196 0 -1 4202560 342 0 0 0 736 0 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495941294936 140496123096272 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30251] ppid=30228 vsize=13801768 CPUtime=7.33 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30251/stat : 30251 (java) R 30228 30228 15196 0 -1 4202560 255 0 0 0 733 0 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495940243880 140496124590826 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30252] ppid=30228 vsize=13801768 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30252/stat : 30252 (java) R 30228 30228 15196 0 -1 4202560 1057 0 0 0 714 0 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495939190976 140496123447973 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30253] ppid=30228 vsize=13801768 CPUtime=7.28 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30253/stat : 30253 (java) R 30228 30228 15196 0 -1 4202560 1281 0 0 0 725 3 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495938138472 140496123901926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30254] ppid=30228 vsize=13801768 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30254/stat : 30254 (java) R 30228 30228 15196 0 -1 4202560 456 0 0 0 721 0 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495937086248 140496123233084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30255] ppid=30228 vsize=13801768 CPUtime=7.53 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30255/stat : 30255 (java) R 30228 30228 15196 0 -1 4202560 195 0 0 0 753 0 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495936033224 140496124590752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30256] ppid=30228 vsize=13801768 CPUtime=7.54 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30256/stat : 30256 (java) R 30228 30228 15196 0 -1 4202560 323 0 0 0 754 0 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495934980072 140496123448183 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30257] ppid=30228 vsize=13801768 CPUtime=7.69 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30257/stat : 30257 (java) R 30228 30228 15196 0 -1 4202560 502 0 0 0 768 1 0 0 20 0 28 0 4168367 14133010432 372577 33554432000 4194304 4196468 140737233151296 140495933927720 140496123232833 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
Current children cumulated CPU time (s) 80.32
Current children cumulated vsize (KiB) 13811280
[startup+13.6015 s]
/proc/loadavg: 12.34 13.18 14.00 17/302 30257
/proc/meminfo: memFree=26737728/32770624 swapFree=5808/103212
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[pid=30229] ppid=30228 vsize=13801768 CPUtime=86.67 cores=1,3,5,7,9,11,13,15
/proc/30229/stat : 30229 (java) S 30228 30228 15196 0 -1 1077944320 60128 0 0 0 8439 228 0 0 20 0 28 0 4167931 14133010432 372578 33554432000 4194304 4196468 140737233151296 140737233133840 140496496697079 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
/proc/30229/statm: 3450442 372578 3278 1 0 3437675 0
[pid=30229/tid=30230] ppid=30228 vsize=13801768 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30230/stat : 30230 (java) S 30228 30228 15196 0 -1 1077944384 9303 0 0 0 385 13 0 0 20 0 28 0 4167931 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496500937856 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30232] ppid=30228 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30232/stat : 30232 (java) S 30228 30228 15196 0 -1 1077944384 394 0 0 0 31 25 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496435661328 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30233] ppid=30228 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30233/stat : 30233 (java) S 30228 30228 15196 0 -1 1077944384 351 0 0 0 24 22 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496434608784 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30234] ppid=30228 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30234/stat : 30234 (java) S 30228 30228 15196 0 -1 1077944384 295 0 0 0 26 22 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496094058768 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30235] ppid=30228 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30235/stat : 30235 (java) S 30228 30228 15196 0 -1 1077944384 578 0 0 0 30 25 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496093006224 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30236] ppid=30228 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30236/stat : 30236 (java) S 30228 30228 15196 0 -1 1077944384 477 0 0 0 28 26 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496091954192 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30237] ppid=30228 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30237/stat : 30237 (java) S 30228 30228 15196 0 -1 1077944384 613 0 0 0 31 25 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496090901648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30238] ppid=30228 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30238/stat : 30238 (java) S 30228 30228 15196 0 -1 1077944384 531 0 0 0 29 24 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496089848592 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30239] ppid=30228 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30239/stat : 30239 (java) S 30228 30228 15196 0 -1 1077944384 718 0 0 0 33 22 0 0 20 0 28 0 4167932 14133010432 372578 33554432000 4194304 4196468 140737233151296 140496088796048 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30240] ppid=30228 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30240/stat : 30240 (java) S 30228 30228 15196 0 -1 1077944384 1525 0 0 0 2 0 0 0 20 0 28 0 4167935 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495958284528 140496496708226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30241] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30241/stat : 30241 (java) S 30228 30228 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4167936 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495957230816 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30242] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30242/stat : 30242 (java) S 30228 30228 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4167936 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495956177648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30243] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30243/stat : 30243 (java) S 30228 30228 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4167940 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495955126224 140496496715675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30244] ppid=30228 vsize=13801768 CPUtime=4.29 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30244/stat : 30244 (java) S 30228 30228 15196 0 -1 1077944384 12243 0 0 0 427 2 0 0 20 0 28 0 4167940 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495954074352 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30245] ppid=30228 vsize=13801768 CPUtime=3.74 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30245/stat : 30245 (java) S 30228 30228 15196 0 -1 1077944384 8173 0 0 0 373 1 0 0 20 0 28 0 4167940 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495953021808 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30246] ppid=30228 vsize=13801768 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30246/stat : 30246 (java) S 30228 30228 15196 0 -1 1077944384 10437 0 0 0 368 1 0 0 20 0 28 0 4167940 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495951968752 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 7 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30247] ppid=30228 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30247/stat : 30247 (java) S 30228 30228 15196 0 -1 1077944384 7272 0 0 0 110 2 0 0 20 0 28 0 4167940 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495950916208 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30248] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30248/stat : 30248 (java) S 30228 30228 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4167940 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495949863392 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30249] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30249/stat : 30249 (java) S 30228 30228 15196 0 -1 1077944384 812 0 0 0 0 0 0 0 20 0 28 0 4167941 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495948810928 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30250] ppid=30228 vsize=13801768 CPUtime=8.16 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30250/stat : 30250 (java) R 30228 30228 15196 0 -1 4202560 408 0 0 0 816 0 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495941294936 140496123445783 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30251] ppid=30228 vsize=13801768 CPUtime=8.11 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30251/stat : 30251 (java) R 30228 30228 15196 0 -1 4202560 313 0 0 0 811 0 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495940243400 140496124590761 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30252] ppid=30228 vsize=13801768 CPUtime=7.92 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30252/stat : 30252 (java) R 30228 30228 15196 0 -1 4202560 1209 0 0 0 792 0 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495939193544 140496123096920 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30253] ppid=30228 vsize=13801768 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30253/stat : 30253 (java) R 30228 30228 15196 0 -1 4202560 1413 0 0 0 801 3 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495938138576 140496123901916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30254] ppid=30228 vsize=13801768 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30254/stat : 30254 (java) R 30228 30228 15196 0 -1 4202560 549 0 0 0 800 0 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495937085560 140496124590821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30255] ppid=30228 vsize=13801768 CPUtime=8.33 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30255/stat : 30255 (java) R 30228 30228 15196 0 -1 4202560 211 0 0 0 833 0 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495936033224 140496123446874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30256] ppid=30228 vsize=13801768 CPUtime=8.33 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30256/stat : 30256 (java) R 30228 30228 15196 0 -1 4202560 365 0 0 0 833 0 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495934979928 140496123096143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30257] ppid=30228 vsize=13801768 CPUtime=8.46 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30257/stat : 30257 (java) R 30228 30228 15196 0 -1 4202560 593 0 0 0 845 1 0 0 20 0 28 0 4168367 14133010432 372578 33554432000 4194304 4196468 140737233151296 140495933927496 140496123233084 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
Current children cumulated CPU time (s) 86.67
Current children cumulated vsize (KiB) 13811280
[startup+13.8016 s]
/proc/loadavg: 12.34 13.18 14.00 17/302 30257
/proc/meminfo: memFree=26737728/32770624 swapFree=5808/103212
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[pid=30229] ppid=30228 vsize=13801768 CPUtime=88.27 cores=1,3,5,7,9,11,13,15
/proc/30229/stat : 30229 (java) S 30228 30228 15196 0 -1 1077944320 60829 0 0 0 8599 228 0 0 20 0 28 0 4167931 14133010432 372579 33554432000 4194304 4196468 140737233151296 140737233133840 140496496697079 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
/proc/30229/statm: 3450442 372579 3279 1 0 3437675 0
[pid=30229/tid=30230] ppid=30228 vsize=13801768 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30230/stat : 30230 (java) S 30228 30228 15196 0 -1 1077944384 9303 0 0 0 385 13 0 0 20 0 28 0 4167931 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496500937856 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30232] ppid=30228 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30232/stat : 30232 (java) S 30228 30228 15196 0 -1 1077944384 394 0 0 0 31 25 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496435661328 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30233] ppid=30228 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30233/stat : 30233 (java) S 30228 30228 15196 0 -1 1077944384 351 0 0 0 24 22 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496434608784 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30234] ppid=30228 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30234/stat : 30234 (java) S 30228 30228 15196 0 -1 1077944384 295 0 0 0 26 22 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496094058768 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30235] ppid=30228 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30235/stat : 30235 (java) S 30228 30228 15196 0 -1 1077944384 578 0 0 0 30 25 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496093006224 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30236] ppid=30228 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30236/stat : 30236 (java) S 30228 30228 15196 0 -1 1077944384 477 0 0 0 28 26 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496091954192 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30237] ppid=30228 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30237/stat : 30237 (java) S 30228 30228 15196 0 -1 1077944384 613 0 0 0 31 25 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496090901648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30238] ppid=30228 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30238/stat : 30238 (java) S 30228 30228 15196 0 -1 1077944384 531 0 0 0 29 24 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496089848592 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30239] ppid=30228 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30239/stat : 30239 (java) S 30228 30228 15196 0 -1 1077944384 718 0 0 0 33 22 0 0 20 0 28 0 4167932 14133010432 372579 33554432000 4194304 4196468 140737233151296 140496088796048 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30240] ppid=30228 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30240/stat : 30240 (java) S 30228 30228 15196 0 -1 1077944384 1525 0 0 0 2 0 0 0 20 0 28 0 4167935 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495958284528 140496496708226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30241] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30241/stat : 30241 (java) S 30228 30228 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4167936 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495957230816 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30242] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30242/stat : 30242 (java) S 30228 30228 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4167936 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495956177648 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30243] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30243/stat : 30243 (java) S 30228 30228 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4167940 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495955126224 140496496715675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30244] ppid=30228 vsize=13801768 CPUtime=4.29 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30244/stat : 30244 (java) S 30228 30228 15196 0 -1 1077944384 12243 0 0 0 427 2 0 0 20 0 28 0 4167940 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495954074352 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30245] ppid=30228 vsize=13801768 CPUtime=3.74 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30245/stat : 30245 (java) S 30228 30228 15196 0 -1 1077944384 8354 0 0 0 373 1 0 0 20 0 28 0 4167940 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495953021808 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30246] ppid=30228 vsize=13801768 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30246/stat : 30246 (java) S 30228 30228 15196 0 -1 1077944384 10699 0 0 0 368 1 0 0 20 0 28 0 4167940 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495951968752 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 7 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30247] ppid=30228 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30247/stat : 30247 (java) S 30228 30228 15196 0 -1 1077944384 7481 0 0 0 110 2 0 0 20 0 28 0 4167940 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495950916208 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30248] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30248/stat : 30248 (java) S 30228 30228 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4167940 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495949863392 140496496707285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30249] ppid=30228 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30249/stat : 30249 (java) S 30228 30228 15196 0 -1 1077944384 812 0 0 0 0 0 0 0 20 0 28 0 4167941 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495948810928 140496496708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30250] ppid=30228 vsize=13801768 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30250/stat : 30250 (java) R 30228 30228 15196 0 -1 4202560 410 0 0 0 836 0 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495941294936 140496124129775 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30251] ppid=30228 vsize=13801768 CPUtime=8.3 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30251/stat : 30251 (java) R 30228 30228 15196 0 -1 4202560 313 0 0 0 830 0 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495940243400 140496124590618 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30252] ppid=30228 vsize=13801768 CPUtime=8.12 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30252/stat : 30252 (java) R 30228 30228 15196 0 -1 4202560 1213 0 0 0 812 0 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495939193544 140496123096143 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30253] ppid=30228 vsize=13801768 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30253/stat : 30253 (java) R 30228 30228 15196 0 -1 4202560 1420 0 0 0 821 3 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495938140880 140496123446857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30254] ppid=30228 vsize=13801768 CPUtime=8.2 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30254/stat : 30254 (java) R 30228 30228 15196 0 -1 4202560 552 0 0 0 820 0 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495937085560 140496123233084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30255] ppid=30228 vsize=13801768 CPUtime=8.53 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30255/stat : 30255 (java) R 30228 30228 15196 0 -1 4202560 211 0 0 0 853 0 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495936033224 140496123096117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30256] ppid=30228 vsize=13801768 CPUtime=8.53 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30256/stat : 30256 (java) R 30228 30228 15196 0 -1 4202560 385 0 0 0 853 0 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495934979928 140496124590618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
[pid=30229/tid=30257] ppid=30228 vsize=13801768 CPUtime=8.65 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30257/stat : 30257 (java) R 30228 30228 15196 0 -1 4202560 606 0 0 0 864 1 0 0 20 0 28 0 4168367 14133010432 372579 33554432000 4194304 4196468 140737233151296 140495933927496 140496124987221 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7610368 140737233159356 140737233159532 140737233159532 140737233162191 0
Current children cumulated CPU time (s) 88.27
Current children cumulated vsize (KiB) 13811280
[startup+13.9016 s]
/proc/loadavg: 12.34 13.18 14.00 17/302 30257
/proc/meminfo: memFree=26737728/32770624 swapFree=5808/103212
[pid=30228] ppid=30225 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30228/stat : 30228 (xcsp3-exec) S 30225 30228 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4167931 9740288 346 33554432000 4194304 5098028 140723814228688 140723814226792 140563670479484 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 13631488 140723814237326 140723814237536 140723814237536 140723814240235 0
/proc/30228/statm: 2378 346 289 221 0 87 0
[pid=30229] ppid=30228 vsize=0 CPUtime=88.89 cores=1,3,5,7,9,11,13,15
/proc/30229/stat : 30229 (java) Z 30228 30228 15196 0 -1 4227084 63180 0 0 0 8659 230 0 0 20 0 2 0 4167931 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/30229/statm: 0 0 0 0 0 0 0
[pid=30229/tid=30247] ppid=30228 vsize=0 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/30229/task/30247/stat : 30247 (java) R 30228 30228 15196 0 -1 4203588 8538 0 0 0 112 3 0 0 20 0 2 0 4167940 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 9 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 88.89
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 13.9043
CPU time (s): 88.9054
CPU user time (s): 86.5956
CPU system time (s): 2.30979
CPU usage (%): 639.407
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.5956
system time used= 2.30979
maximum resident set size= 1490364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4732
involuntary context switches= 6262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13631 second user time and 0.22573 second system time
The end