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-4254255-1501611569/watcher-4254255-1501611569 -o /tmp/evaluation-result-4254255-1501611569/solver-4254255-1501611569 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1963848396 HOME/instance-4254255-1501611569.xml
pid=5478
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.97 1.13 0.50 3/178 5481
/proc/meminfo: memFree=31886156/32770624 swapFree=0/270084
[pid=5481] ppid=5478 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (runsolver) D 5478 5481 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8662677 24240128 106 18446744073709551615 4194304 4338465 140733572823344 140733572820984 139919406666455 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 20385792 140733572829277 140733572829766 140733572829766 140733572833226 0
/proc/5481/statm: 5918 106 53 36 0 2156 0
[startup+0.10006 s]
/proc/loadavg: 1.97 1.13 0.50 3/178 5481
/proc/meminfo: memFree=31886156/32770624 swapFree=0/270084
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200303 s]
/proc/loadavg: 1.97 1.13 0.50 3/178 5481
/proc/meminfo: memFree=31886156/32770624 swapFree=0/270084
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300253 s]
/proc/loadavg: 1.97 1.13 0.50 3/178 5481
/proc/meminfo: memFree=31886156/32770624 swapFree=0/270084
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702927 s]
/proc/loadavg: 1.97 1.13 0.50 3/178 5481
/proc/meminfo: memFree=31886156/32770624 swapFree=0/270084
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 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.97 1.15 0.51 7/215 5522
/proc/meminfo: memFree=31703852/32770624 swapFree=0/266664
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=3.54 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 37691 0 0 0 346 8 0 0 20 0 15 0 8662684 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 29405 3172 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 9407 0 0 0 131 4 0 0 20 0 15 0 8662684 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140463388830296 140463025635065 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8662686 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) R 5481 5481 5234 0 -1 4202560 12012 0 0 0 91 0 0 0 20 0 15 0 8662689 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462858863712 140463369716157 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) R 5481 5481 5234 0 -1 4202560 13146 0 0 0 88 1 0 0 20 0 15 0 8662689 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462857817112 140463369707153 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 1818 0 0 0 35 1 0 0 20 0 15 0 8662689 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662696 14316269568 29405 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.97 1.15 0.51 7/215 5522
/proc/meminfo: memFree=31657536/32770624 swapFree=0/266664
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=7.97 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 40580 0 0 0 789 8 0 0 20 0 15 0 8662684 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 31598 3189 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 9784 0 0 0 290 4 0 0 20 0 15 0 8662684 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140463388831320 140463030271020 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8662686 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) S 5481 5481 5234 0 -1 1077944384 12961 0 0 0 230 1 0 0 20 0 15 0 8662689 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462858877168 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=2.28 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) S 5481 5481 5234 0 -1 1077944384 14395 0 0 0 227 1 0 0 20 0 15 0 8662689 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462857824624 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 2091 0 0 0 39 1 0 0 20 0 15 0 8662689 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 8662696 14316269568 31598 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 1.97 1.15 0.51 3/215 5522
/proc/meminfo: memFree=31648380/32770624 swapFree=0/266672
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=11.38 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 45333 0 0 0 1129 9 0 0 20 0 15 0 8662684 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 29235 3193 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 10358 0 0 0 610 4 0 0 20 0 15 0 8662684 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140463388827440 140463030271120 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 8662686 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=2.43 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) S 5481 5481 5234 0 -1 1077944384 14112 0 0 0 242 1 0 0 20 0 15 0 8662689 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462858877168 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) S 5481 5481 5234 0 -1 1077944384 15530 0 0 0 234 1 0 0 20 0 15 0 8662689 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462857824624 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 2467 0 0 0 41 1 0 0 20 0 15 0 8662689 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 1247 0 0 0 0 0 0 0 20 0 15 0 8662696 14316269568 29235 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.05 1.19 0.53 3/215 5522
/proc/meminfo: memFree=31630316/32770624 swapFree=0/266692
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=18.09 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 49312 0 0 0 1800 9 0 0 20 0 15 0 8662684 14316269568 32988 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 32988 3193 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=12.55 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 11478 0 0 0 1250 5 0 0 20 0 15 0 8662684 14316269568 32988 18446744073709551615 4194304 4196468 140722782797152 140463388827392 140463032181194 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 32988 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 32988 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
################
# More data... #
################
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 65499 0 0 0 10837 14 0 0 20 0 15 0 8662684 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 56269 3232 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=102.14 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 13564 0 0 0 10208 6 0 0 20 0 15 0 8662684 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140463388830656 140463032181341 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 1207 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 842 0 0 0 0 0 0 0 20 0 15 0 8662686 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) S 5481 5481 5234 0 -1 1077944384 19300 0 0 0 290 1 0 0 20 0 15 0 8662689 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462858877168 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=2.84 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) S 5481 5481 5234 0 -1 1077944384 21609 0 0 0 282 2 0 0 20 0 15 0 8662689 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462857824624 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 5426 0 0 0 50 1 0 0 20 0 15 0 8662689 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 1386 0 0 0 1 2 0 0 20 0 15 0 8662696 14316269568 56269 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 108.51
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 1.50 0.75 3/216 5528
/proc/meminfo: memFree=31496944/32770624 swapFree=0/266764
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=168.57 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 67011 0 0 0 16842 15 0 0 20 0 15 0 8662684 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 60391 3232 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=162.13 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 14167 0 0 0 16207 6 0 0 20 0 15 0 8662684 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140463388828720 140463032181532 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 534 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 1263 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 995 0 0 0 1 0 0 0 20 0 15 0 8662686 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) S 5481 5481 5234 0 -1 1077944384 19539 0 0 0 293 1 0 0 20 0 15 0 8662689 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462858877168 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=2.84 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) S 5481 5481 5234 0 -1 1077944384 21664 0 0 0 282 2 0 0 20 0 15 0 8662689 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462857824624 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 5527 0 0 0 50 1 0 0 20 0 15 0 8662689 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 1413 0 0 0 2 3 0 0 20 0 15 0 8662696 14316269568 60391 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 168.57
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.99 1.59 0.82 3/216 5530
/proc/meminfo: memFree=31495716/32770624 swapFree=0/266788
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=228.85 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 67806 0 0 0 22869 16 0 0 20 0 15 0 8662684 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 60422 3232 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=222.13 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 14416 0 0 0 22207 6 0 0 20 0 15 0 8662684 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140463388827968 140463032181437 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 394 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 1266 0 0 0 0 0 0 0 20 0 15 0 8662685 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 996 0 0 0 1 0 0 0 20 0 15 0 8662686 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=3.11 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) S 5481 5481 5234 0 -1 1077944384 19627 0 0 0 310 1 0 0 20 0 15 0 8662689 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462858877168 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) S 5481 5481 5234 0 -1 1077944384 21970 0 0 0 288 2 0 0 20 0 15 0 8662689 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462857824624 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 5615 0 0 0 51 1 0 0 20 0 15 0 8662689 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 1414 0 0 0 3 4 0 0 20 0 15 0 8662696 14316269568 60422 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 228.85
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 1.61 0.84 3/216 5530
/proc/meminfo: memFree=31497080/32770624 swapFree=0/266792
[pid=5481] ppid=5478 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5481/stat : 5481 (xcsp3-exec) S 5478 5481 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8662677 9740288 344 18446744073709551615 4194304 5098028 140730987891472 140730987889576 140041438704252 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 27623424 140730987897243 140730987897447 140730987897447 140730987900907 0
/proc/5481/statm: 2378 344 289 221 0 87 0
[pid=5493] ppid=5481 vsize=13980732 CPUtime=246.56 cores=0,2,4,6
/proc/5493/stat : 5493 (java) S 5481 5481 5234 0 -1 1077944320 67890 0 0 0 24639 17 0 0 20 0 15 0 8662684 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140722782779696 140463384592119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
/proc/5493/statm: 3495183 59516 3232 1 0 3483484 0
[pid=5493/tid=5494] ppid=5481 vsize=13980732 CPUtime=239.82 cores=0,2,4,6
/proc/5493/task/5494/stat : 5494 (java) R 5481 5481 5234 0 -1 4202560 14474 0 0 0 23976 6 0 0 20 0 15 0 8662684 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140463388831216 140463031628928 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5495] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5495/stat : 5495 (java) S 5481 5481 5234 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 8662685 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140463349873168 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5496] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5496/stat : 5496 (java) S 5481 5481 5234 0 -1 1077944384 584 0 0 0 1 0 0 0 20 0 15 0 8662685 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462984006288 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5497] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5497/stat : 5497 (java) S 5481 5481 5234 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 8662685 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462982953232 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5498] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5498/stat : 5498 (java) S 5481 5481 5234 0 -1 1077944384 1266 0 0 0 1 0 0 0 20 0 15 0 8662685 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462981900688 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5499] ppid=5481 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5493/task/5499/stat : 5499 (java) S 5481 5481 5234 0 -1 1077944384 997 0 0 0 1 0 0 0 20 0 15 0 8662686 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462863088368 140463384603266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5500] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (java) S 5481 5481 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462862034592 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5501] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5501/stat : 5501 (java) S 5481 5481 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 8662687 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462860981488 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5508] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5508/stat : 5508 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662689 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462859930064 140463384610715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5509] ppid=5481 vsize=13980732 CPUtime=3.11 cores=0,2,4,6
/proc/5493/task/5509/stat : 5509 (java) S 5481 5481 5234 0 -1 1077944384 19637 0 0 0 310 1 0 0 20 0 15 0 8662689 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462858877168 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5510] ppid=5481 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/5493/task/5510/stat : 5510 (java) S 5481 5481 5234 0 -1 1077944384 21979 0 0 0 289 2 0 0 20 0 15 0 8662689 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462857824624 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5511] ppid=5481 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5493/task/5511/stat : 5511 (java) S 5481 5481 5234 0 -1 1077944384 5617 0 0 0 51 1 0 0 20 0 15 0 8662689 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462856771568 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5512] ppid=5481 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5512/stat : 5512 (java) S 5481 5481 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8662690 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462855719264 140463384602325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
[pid=5493/tid=5521] ppid=5481 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5493/task/5521/stat : 5521 (java) S 5481 5481 5234 0 -1 1077944384 1416 0 0 0 3 4 0 0 20 0 15 0 8662696 14316269568 59516 18446744073709551615 4194304 4196468 140722782797152 140462854667312 140463384603266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140722782802388 140722782802563 140722782802563 140722782805967 0
Current children cumulated CPU time (s) 246.56
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 5493 sig 9
??? kill 5481 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): 246.578
CPU user time (s): 246.404
CPU system time (s): 0.17477
CPU usage (%): 102.737
Max. virtual memory (cumulated for all children) (KiB): 13992568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.404
system time used= 0.17477
maximum resident set size= 241688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68669
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= 8042
involuntary context switches= 127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.975404 second user time and 1.49032 second system time
The end