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-4254185-1501613240/watcher-4254185-1501613240 -o /tmp/evaluation-result-4254185-1501613240/solver-4254185-1501613240 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1482534476 HOME/instance-4254185-1501613240.xml
pid=6369
running on 4 cores: 1,3,5,7
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.88 1.84 1.40 2/196 6372
/proc/meminfo: memFree=31737568/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (runsolver) D 6369 6372 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9947054 24240128 107 18446744073709551615 4194304 4338465 140736046658416 140736046656056 139690605343447 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 34828288 140736046665821 140736046666310 140736046666310 140736046669770 0
/proc/6372/statm: 5918 107 54 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 1.88 1.84 1.40 2/196 6372
/proc/meminfo: memFree=31737568/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200242 s]
/proc/loadavg: 1.88 1.84 1.40 2/196 6372
/proc/meminfo: memFree=31737568/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30032 s]
/proc/loadavg: 1.88 1.84 1.40 2/196 6372
/proc/meminfo: memFree=31737568/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.7038 s]
/proc/loadavg: 1.88 1.84 1.40 2/196 6372
/proc/meminfo: memFree=31737568/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.88 1.84 1.40 5/212 6388
/proc/meminfo: memFree=31666656/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=3.75 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 23718 0 0 0 369 6 0 0 20 0 15 0 9947059 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 21409 3184 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 8383 0 0 0 136 3 0 0 20 0 15 0 9947060 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459546558896 140459141598595 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 5279 0 0 0 96 0 0 0 20 0 15 0 9947065 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 6615 0 0 0 98 1 0 0 20 0 15 0 9947065 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 2127 0 0 0 37 0 0 0 20 0 15 0 9947065 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9947068 14316269568 21409 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 1.88 1.84 1.40 5/212 6388
/proc/meminfo: memFree=31662136/32770624 swapFree=0/181960
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=6.43 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 28077 0 0 0 637 6 0 0 20 0 15 0 9947059 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 22227 3191 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=2.99 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 8947 0 0 0 296 3 0 0 20 0 15 0 9947060 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459546558672 140459142936358 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 8496 0 0 0 160 1 0 0 20 0 15 0 9947065 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 6987 0 0 0 136 1 0 0 20 0 15 0 9947065 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 2288 0 0 0 43 0 0 0 20 0 15 0 9947065 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 9947068 14316269568 22227 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 1.81 1.82 1.40 4/212 6466
/proc/meminfo: memFree=31848460/32770624 swapFree=0/182000
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=10.19 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 33215 0 0 0 1013 6 0 0 20 0 15 0 9947059 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 22858 3197 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=6.19 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 9576 0 0 0 616 3 0 0 20 0 15 0 9947060 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459546559088 140459142312725 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 10183 0 0 0 189 1 0 0 20 0 15 0 9947065 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=1.62 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 8594 0 0 0 161 1 0 0 20 0 15 0 9947065 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 3016 0 0 0 46 0 0 0 20 0 15 0 9947065 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 9947068 14316269568 22858 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 10.19
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.82 1.83 1.40 3/212 6466
/proc/meminfo: memFree=31840756/32770624 swapFree=0/182008
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=16.85 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 36981 0 0 0 1678 7 0 0 20 0 15 0 9947059 14316269568 23914 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 23914 3197 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=12.59 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 10207 0 0 0 1256 3 0 0 20 0 15 0 9947060 14316269568 23914 18446744073709551615 4194304 4196468 140727336769088 140459546559576 140459141662854 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 23914 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 23914 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
################
# More data... #
################
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 53963 0 0 0 10707 11 0 0 20 0 15 0 9947059 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 50741 3221 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=102.19 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 12655 0 0 0 10214 5 0 0 20 0 15 0 9947060 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459546560568 140459142405730 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 734 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 691 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=2.39 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 17653 0 0 0 238 1 0 0 20 0 15 0 9947065 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=2.01 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 13622 0 0 0 200 1 0 0 20 0 15 0 9947065 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 6192 0 0 0 49 1 0 0 20 0 15 0 9947065 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 15 0 9947068 14316269568 50741 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.78 1.84 1.47 3/211 6471
/proc/meminfo: memFree=31619444/32770624 swapFree=0/182108
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=167.22 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 55036 0 0 0 16710 12 0 0 20 0 15 0 9947059 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 55423 3226 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=162.17 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 13003 0 0 0 16212 5 0 0 20 0 15 0 9947060 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459546560648 140459141598552 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 899 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 827 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=2.42 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 17733 0 0 0 241 1 0 0 20 0 15 0 9947065 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=2.02 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 13630 0 0 0 201 1 0 0 20 0 15 0 9947065 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 6369 0 0 0 50 1 0 0 20 0 15 0 9947065 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 519 0 0 0 1 1 0 0 20 0 15 0 9947068 14316269568 55423 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 167.22
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.74 1.82 1.49 3/211 6473
/proc/meminfo: memFree=31630636/32770624 swapFree=0/182128
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=227.32 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 55582 0 0 0 22719 13 0 0 20 0 15 0 9947059 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 55434 3226 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=222.17 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 13184 0 0 0 22212 5 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459546559912 140459142405675 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 932 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 974 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=2.44 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 17835 0 0 0 243 1 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 13643 0 0 0 205 1 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 6413 0 0 0 51 1 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 533 0 0 0 2 2 0 0 20 0 15 0 9947068 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 227.32
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.82 1.83 1.50 3/211 6473
/proc/meminfo: memFree=31632000/32770624 swapFree=0/182132
[pid=6372] ppid=6369 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (xcsp3-exec) S 6369 6372 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9947054 9740288 344 18446744073709551615 4194304 5098028 140729982958752 140729982956856 140643157906044 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 39157760 140729982964123 140729982964327 140729982964327 140729982967787 0
/proc/6372/statm: 2378 344 289 221 0 87 0
[pid=6374] ppid=6372 vsize=13980732 CPUtime=245.02 cores=1,3,5,7
/proc/6374/stat : 6374 (java) S 6372 6372 5091 0 -1 1077944320 55596 0 0 0 24489 13 0 0 20 0 15 0 9947059 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140727336751632 140459542322935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
/proc/6374/statm: 3495183 55434 3226 1 0 3483484 0
[pid=6374/tid=6375] ppid=6372 vsize=13980732 CPUtime=239.87 cores=1,3,5,7
/proc/6374/task/6375/stat : 6375 (java) R 6372 6372 5091 0 -1 4202560 13189 0 0 0 23982 5 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459546559912 140459141598942 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6376] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6376/stat : 6376 (java) S 6372 6372 5091 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459461736848 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6377] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6377/stat : 6377 (java) S 6372 6372 5091 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459460684048 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6378] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6378/stat : 6378 (java) S 6372 6372 5091 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459459631760 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6379] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6379/stat : 6379 (java) S 6372 6372 5091 0 -1 1077944384 932 0 0 0 0 0 0 0 20 0 15 0 9947060 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459458578960 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6380] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6380/stat : 6380 (java) S 6372 6372 5091 0 -1 1077944384 974 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459020618352 140459542334082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6381] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6381/stat : 6381 (java) S 6372 6372 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459019564320 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6382] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6382/stat : 6382 (java) S 6372 6372 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9947062 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459018511984 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6383] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6383/stat : 6383 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459017460304 140459542341531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6384] ppid=6372 vsize=13980732 CPUtime=2.44 cores=1,3,5,7
/proc/6374/task/6384/stat : 6384 (java) S 6372 6372 5091 0 -1 1077944384 17835 0 0 0 243 1 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459016407152 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6385] ppid=6372 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/6374/task/6385/stat : 6385 (java) S 6372 6372 5091 0 -1 1077944384 13652 0 0 0 205 1 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459015354352 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6386] ppid=6372 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/6374/task/6386/stat : 6386 (java) S 6372 6372 5091 0 -1 1077944384 6413 0 0 0 51 1 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459014302064 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6387] ppid=6372 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6374/task/6387/stat : 6387 (java) S 6372 6372 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9947065 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459013249504 140459542333141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
[pid=6374/tid=6388] ppid=6372 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6374/task/6388/stat : 6388 (java) S 6372 6372 5091 0 -1 1077944384 533 0 0 0 2 2 0 0 20 0 15 0 9947068 14316269568 55434 18446744073709551615 4194304 4196468 140727336769088 140459012197296 140459542334082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140727336772052 140727336772227 140727336772227 140727336775631 0
Current children cumulated CPU time (s) 245.02
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Solver just ended.
Sleeping 2 seconds
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6374 sig 9
??? kill 6372 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.01
CPU time (s): 245.041
CPU user time (s): 244.898
CPU system time (s): 0.143037
CPU usage (%): 102.096
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.898
system time used= 0.143037
maximum resident set size= 222204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7725
involuntary context switches= 124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17167 second user time and 1.17331 second system time
The end