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-4254289-1501980008/watcher-4254289-1501980008 -o /tmp/evaluation-result-4254289-1501980008/solver-4254289-1501980008 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1451144618 HOME/instance-4254289-1501980008.xml
pid=13295
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.77 1.89 1.89 2/199 13298
/proc/meminfo: memFree=31421868/32770624 swapFree=0/315972
[pid=13298] ppid=13295 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (runsolver) D 13295 13298 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97654058 24240128 107 18446744073709551615 4194304 4338465 140721525031280 140721525028920 140399633248983 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37883904 140721525035106 140721525035596 140721525035596 140721525039050 0
/proc/13298/statm: 5918 107 54 36 0 2156 0
[startup+0.100187 s]
/proc/loadavg: 1.77 1.89 1.89 2/199 13298
/proc/meminfo: memFree=31421868/32770624 swapFree=0/315972
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200279 s]
/proc/loadavg: 1.77 1.89 1.89 2/199 13298
/proc/meminfo: memFree=31421868/32770624 swapFree=0/315972
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300288 s]
/proc/loadavg: 1.77 1.89 1.89 2/199 13298
/proc/meminfo: memFree=31421868/32770624 swapFree=0/315972
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703715 s]
/proc/loadavg: 1.77 1.89 1.89 2/199 13298
/proc/meminfo: memFree=31421868/32770624 swapFree=0/315972
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 1.77 1.89 1.89 5/215 13314
/proc/meminfo: memFree=31348340/32770624 swapFree=0/315996
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13983268 CPUtime=3.66 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 32980 0 0 0 356 10 0 0 20 0 15 0 97654066 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495817 29688 3184 1 0 3484110 0
[pid=13300/tid=13301] ppid=13298 vsize=13983268 CPUtime=1.36 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 9462 0 0 0 132 4 0 0 20 0 15 0 97654066 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403625923328 140403239578439 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97654067 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97654067 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97654067 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97654067 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 97654068 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97654069 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97654069 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13983268 CPUtime=0.95 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) R 13298 13298 12039 0 -1 4202560 9688 0 0 0 93 2 0 0 20 0 15 0 97654072 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403163106360 140403600933682 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13983268 CPUtime=0.95 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) R 13298 13298 12039 0 -1 4202560 10147 0 0 0 94 1 0 0 20 0 15 0 97654072 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403162054696 140403601349248 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13983268 CPUtime=0.35 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 2364 0 0 0 35 0 0 0 20 0 15 0 97654072 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13983268 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654075 14318866432 29688 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13992780
[startup+3.10069 s]
/proc/loadavg: 1.77 1.89 1.89 5/215 13314
/proc/meminfo: memFree=31308760/32770624 swapFree=0/315996
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13980732 CPUtime=8.56 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 38240 0 0 0 846 10 0 0 20 0 15 0 97654066 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 34253 3198 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 10658 0 0 0 292 5 0 0 20 0 15 0 97654066 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403625924064 140403241062527 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 97654068 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) R 13298 13298 12039 0 -1 4202560 11654 0 0 0 252 2 0 0 20 0 15 0 97654072 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403163109344 140403600932879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) R 13298 13298 12039 0 -1 4202560 11757 0 0 0 254 2 0 0 20 0 15 0 97654072 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403162056544 140403600925504 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 2818 0 0 0 46 0 0 0 20 0 15 0 97654072 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 97654075 14316269568 34253 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.79 1.89 1.89 3/214 13314
/proc/meminfo: memFree=31286864/32770624 swapFree=0/316004
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13980732 CPUtime=13.16 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 45540 0 0 0 1304 12 0 0 20 0 15 0 97654066 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 41723 3215 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=6.16 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 11544 0 0 0 610 6 0 0 20 0 15 0 97654066 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403625924224 140403614507902 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 97654068 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13980732 CPUtime=3.15 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) S 13298 13298 12039 0 -1 1077944384 14113 0 0 0 313 2 0 0 20 0 15 0 97654072 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403163122032 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13980732 CPUtime=3.25 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) S 13298 13298 12039 0 -1 1077944384 14050 0 0 0 323 2 0 0 20 0 15 0 97654072 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403162069232 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 3417 0 0 0 55 1 0 0 20 0 15 0 97654072 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 878 0 0 0 0 0 0 0 20 0 15 0 97654075 14316269568 41723 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 13.16
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.80 1.89 1.89 3/214 13314
/proc/meminfo: memFree=31218912/32770624 swapFree=0/316012
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13980732 CPUtime=19.66 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 49745 0 0 0 1952 14 0 0 20 0 15 0 97654066 14316269568 55617 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 55617 3234 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=12.55 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 11898 0 0 0 1249 6 0 0 20 0 15 0 97654066 14316269568 55617 18446744073709551615 4194304 4196468 140736781716464 140403625923552 140403241514835 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 55617 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 97654067 14316269568 55617 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
################
# More data... #
################
[pid=13300] ppid=13298 vsize=13980732 CPUtime=196.17 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 66870 0 0 0 19597 20 0 0 20 0 15 0 97654066 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 48398 3239 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=188.54 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 15601 0 0 0 18847 7 0 0 20 0 15 0 97654066 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403625926752 140403242096448 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 1408 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 986 0 0 0 4 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 972 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 1428 0 0 0 4 1 0 0 20 0 15 0 97654068 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13980732 CPUtime=3.3 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) S 13298 13298 12039 0 -1 1077944384 17984 0 0 0 327 3 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403163122032 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13980732 CPUtime=3.39 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) S 13298 13298 12039 0 -1 1077944384 17777 0 0 0 337 2 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403162069232 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 7055 0 0 0 59 1 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 2 3 0 0 20 0 15 0 97654075 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 196.17
Current children cumulated vsize (KiB) 13990244
[startup+190.406 s]
/proc/loadavg: 1.75 1.88 1.89 3/215 13402
/proc/meminfo: memFree=31209620/32770624 swapFree=0/316184
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13980732 CPUtime=197.77 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 66871 0 0 0 19757 20 0 0 20 0 15 0 97654066 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 48398 3239 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=190.14 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 15602 0 0 0 19007 7 0 0 20 0 15 0 97654066 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403625926144 140403240725381 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 1408 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 986 0 0 0 4 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 972 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 1428 0 0 0 4 1 0 0 20 0 15 0 97654068 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13980732 CPUtime=3.3 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) S 13298 13298 12039 0 -1 1077944384 17984 0 0 0 327 3 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403163122032 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13980732 CPUtime=3.39 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) S 13298 13298 12039 0 -1 1077944384 17777 0 0 0 337 2 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403162069232 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 7055 0 0 0 59 1 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 2 3 0 0 20 0 15 0 97654075 14316269568 48398 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 197.77
Current children cumulated vsize (KiB) 13990244
[startup+192.001 s]
/proc/loadavg: 1.75 1.88 1.89 3/215 13402
/proc/meminfo: memFree=31209620/32770624 swapFree=0/316196
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13980732 CPUtime=199.41 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 67675 0 0 0 19921 20 0 0 20 0 15 0 97654066 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 48403 3240 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=191.74 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 15606 0 0 0 19167 7 0 0 20 0 15 0 97654066 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403625925728 140403242687388 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 1408 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 986 0 0 0 4 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 972 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 1428 0 0 0 4 1 0 0 20 0 15 0 97654068 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) S 13298 13298 12039 0 -1 1077944384 18705 0 0 0 330 3 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403163122032 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13980732 CPUtime=3.39 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) S 13298 13298 12039 0 -1 1077944384 17777 0 0 0 337 2 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403162069232 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 7134 0 0 0 59 1 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 2 3 0 0 20 0 15 0 97654075 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 199.41
Current children cumulated vsize (KiB) 13990244
[startup+192.401 s]
/proc/loadavg: 1.75 1.88 1.89 3/215 13402
/proc/meminfo: memFree=31209620/32770624 swapFree=0/316196
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=13980732 CPUtime=199.81 cores=0,2,4,6
/proc/13300/stat : 13300 (java) S 13298 13298 12039 0 -1 1077944320 67676 0 0 0 19961 20 0 0 20 0 15 0 97654066 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140736781699008 140403621687031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
/proc/13300/statm: 3495183 48403 3240 1 0 3483476 0
[pid=13300/tid=13301] ppid=13298 vsize=13980732 CPUtime=192.14 cores=0,2,4,6
/proc/13300/task/13301/stat : 13301 (java) R 13298 13298 12039 0 -1 4202560 15607 0 0 0 19207 7 0 0 20 0 15 0 97654066 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403625925728 140403242316000 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13302] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13302/stat : 13302 (java) S 13298 13298 12039 0 -1 1077944384 1408 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403556121232 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13303] ppid=13298 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13300/task/13303/stat : 13303 (java) S 13298 13298 12039 0 -1 1077944384 986 0 0 0 4 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403220855312 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13304] ppid=13298 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13300/task/13304/stat : 13304 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 3 0 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403219802512 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13305] ppid=13298 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13300/task/13305/stat : 13305 (java) S 13298 13298 12039 0 -1 1077944384 972 0 0 0 3 1 0 0 20 0 15 0 97654067 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403218749712 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13306] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13306/stat : 13306 (java) S 13298 13298 12039 0 -1 1077944384 1428 0 0 0 4 1 0 0 20 0 15 0 97654068 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403167333232 140403621698178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13307] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13307/stat : 13307 (java) S 13298 13298 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403166279200 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13308] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13308/stat : 13308 (java) S 13298 13298 12039 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 97654069 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403165226352 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13309] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13309/stat : 13309 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654071 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403164174672 140403621705627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13310] ppid=13298 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) S 13298 13298 12039 0 -1 1077944384 18705 0 0 0 330 3 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403163122032 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13311] ppid=13298 vsize=13980732 CPUtime=3.39 cores=0,2,4,6
/proc/13300/task/13311/stat : 13311 (java) S 13298 13298 12039 0 -1 1077944384 17777 0 0 0 337 2 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403162069232 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13312] ppid=13298 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/13300/task/13312/stat : 13312 (java) S 13298 13298 12039 0 -1 1077944384 7134 0 0 0 59 1 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403161016432 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13313] ppid=13298 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13300/task/13313/stat : 13313 (java) S 13298 13298 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97654072 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403159963872 140403621697237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
[pid=13300/tid=13314] ppid=13298 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/13300/task/13314/stat : 13314 (java) S 13298 13298 12039 0 -1 1077944384 1152 0 0 0 2 3 0 0 20 0 15 0 97654075 14316269568 48403 18446744073709551615 4194304 4196468 140736781716464 140403158912176 140403621698178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30593024 140736781722074 140736781722249 140736781722249 140736781725647 0
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (KiB) 13990244
[startup+192.801 s]
/proc/loadavg: 1.75 1.88 1.89 3/215 13402
/proc/meminfo: memFree=31209620/32770624 swapFree=0/316196
[pid=13298] ppid=13295 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13298/stat : 13298 (xcsp3-exec) S 13295 13298 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97654058 9740288 345 18446744073709551615 4194304 5098028 140721582616288 140721582614392 139729198977660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 33075200 140721582625185 140721582625389 140721582625389 140721582628843 0
/proc/13298/statm: 2378 345 289 221 0 87 0
[pid=13300] ppid=13298 vsize=0 CPUtime=200.21 cores=0,2,4,6
/proc/13300/stat : 13300 (java) Z 13298 13298 12039 0 -1 4227084 68175 0 0 0 20001 20 0 0 20 0 2 0 97654066 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13300/statm: 0 0 0 0 0 0 0
[pid=13300/tid=13310] ppid=13298 vsize=0 CPUtime=3.33 cores=0,2,4,6
/proc/13300/task/13310/stat : 13310 (java) R 13298 13298 12039 0 -1 4203588 18705 0 0 0 330 3 0 0 20 0 2 0 97654072 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 200.21
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 192.806
CPU time (s): 200.23
CPU user time (s): 200.018
CPU system time (s): 0.211854
CPU usage (%): 103.851
Max. virtual memory (cumulated for all children) (KiB): 13992780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.019
system time used= 0.211854
maximum resident set size= 227316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8003
involuntary context switches= 419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.875288 second user time and 1.12994 second system time
The end