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-4246953-1502092407/watcher-4246953-1502092407 -o /tmp/evaluation-result-4246953-1502092407/solver-4246953-1502092407 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1418616658 HOME/instance-4246953-1502092407.xml
pid=22509
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.29 8.47 8.10 5/204 22512
/proc/meminfo: memFree=31221688/32770624 swapFree=0/374232
[pid=22512] ppid=22509 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (runsolver) D 22509 22512 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 108893839 24240128 107 18446744073709551615 4194304 4338465 140730659431232 140730659428872 140345944900311 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 6467584 140730659438678 140730659439177 140730659439177 140730659442634 0
/proc/22512/statm: 5918 107 54 36 0 2156 0
[startup+0.1002 s]
/proc/loadavg: 8.29 8.47 8.10 5/204 22512
/proc/meminfo: memFree=31221688/32770624 swapFree=0/374232
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200245 s]
/proc/loadavg: 8.29 8.47 8.10 5/204 22512
/proc/meminfo: memFree=31221688/32770624 swapFree=0/374232
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30025 s]
/proc/loadavg: 8.29 8.47 8.10 5/204 22512
/proc/meminfo: memFree=31221688/32770624 swapFree=0/374232
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702124 s]
/proc/loadavg: 8.29 8.47 8.10 5/204 22512
/proc/meminfo: memFree=31221688/32770624 swapFree=0/374232
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50076 s]
/proc/loadavg: 8.29 8.47 8.10 6/220 22528
/proc/meminfo: memFree=31067504/32770624 swapFree=0/374272
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=12919328 CPUtime=3.24 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 22415 0 0 0 314 10 0 0 20 0 15 0 108893844 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3229832 50753 3216 1 0 3218124 0
[pid=22514/tid=22515] ppid=22512 vsize=12919328 CPUtime=1.36 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) R 22512 22512 2911 0 -1 4202560 10133 0 0 0 131 5 0 0 20 0 15 0 108893844 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139914469517872 139914447742527 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 108893845 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 108893845 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22518] ppid=22512 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 2911 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 108893845 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139914399657104 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22519] ppid=22512 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 2911 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 108893845 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139914065710096 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22520] ppid=22512 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 2911 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 108893846 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913948883056 139914465290882 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22521] ppid=22512 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 2911 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 108893847 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913947829024 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22522] ppid=22512 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 2911 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 108893847 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913946776688 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22523] ppid=22512 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108893850 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913945725008 139914465298331 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22524] ppid=22512 vsize=12919328 CPUtime=0.6 cores=0,2,4,6
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 2911 0 -1 1077944384 2957 0 0 0 60 0 0 0 20 0 15 0 108893850 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913944672880 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22525] ppid=22512 vsize=12919328 CPUtime=0.71 cores=0,2,4,6
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 2911 0 -1 1077944384 3125 0 0 0 71 0 0 0 20 0 15 0 108893850 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913943620080 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22526] ppid=22512 vsize=12919328 CPUtime=0.46 cores=0,2,4,6
/proc/22514/task/22526/stat : 22526 (java) R 22512 22512 2911 0 -1 4202560 3645 0 0 0 45 1 0 0 20 0 15 0 108893850 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913942567792 139914443645448 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22527] ppid=22512 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108893850 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913941515232 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22528] ppid=22512 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 2911 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 108893855 13229391872 50753 18446744073709551615 4194304 4196468 140734719690432 139913940462000 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 12928840
[startup+3.10813 s]
/proc/loadavg: 8.29 8.47 8.10 13/224 22540
/proc/meminfo: memFree=30988420/32770624 swapFree=0/374272
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=13185584 CPUtime=8.97 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 27017 0 0 0 880 17 0 0 20 0 19 0 108893844 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3296396 63423 3250 1 0 3284688 0
[pid=22514/tid=22515] ppid=22512 vsize=13185584 CPUtime=1.63 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 2911 0 -1 1077944384 10518 0 0 0 157 6 0 0 20 0 19 0 108893844 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139914469520512 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 144 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 158 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22518] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 2911 0 -1 1077944384 378 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139914399657104 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22519] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 2911 0 -1 1077944384 308 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139914065710096 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22520] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 2911 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 19 0 108893846 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913948883056 139914465290882 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22521] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 2911 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913947829088 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22522] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 2911 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913946776704 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22523] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913945725008 139914465298331 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22524] ppid=22512 vsize=13185584 CPUtime=1.7 cores=0,2,4,6
/proc/22514/task/22524/stat : 22524 (java) R 22512 22512 2911 0 -1 4202560 4130 0 0 0 170 0 0 0 20 0 19 0 108893850 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913944664416 139914450198639 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22525] ppid=22512 vsize=13185584 CPUtime=1.72 cores=0,2,4,6
/proc/22514/task/22525/stat : 22525 (java) R 22512 22512 2911 0 -1 4202560 4250 0 0 0 172 0 0 0 20 0 19 0 108893850 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913943612568 139914446824175 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22526] ppid=22512 vsize=13185584 CPUtime=0.76 cores=0,2,4,6
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 2911 0 -1 1077944384 4748 0 0 0 75 1 0 0 20 0 19 0 108893850 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913942567792 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22527] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913941515232 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22528] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 2911 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 108893855 13502038016 63423 18446744073709551615 4194304 4196468 140734719690432 139913940462000 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
Current children cumulated CPU time (s) 8.97
Current children cumulated vsize (KiB) 13195096
[startup+6.30113 s]
/proc/loadavg: 8.43 8.50 8.11 10/224 22556
/proc/meminfo: memFree=30926392/32770624 swapFree=0/374272
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=13185584 CPUtime=21.59 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 27987 0 0 0 2139 20 0 0 20 0 19 0 108893844 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3296396 85479 3258 1 0 3284688 0
[pid=22514/tid=22515] ppid=22512 vsize=13185584 CPUtime=1.63 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 2911 0 -1 1077944384 10521 0 0 0 157 6 0 0 20 0 19 0 108893844 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139914469520512 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 144 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 158 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22518] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 2911 0 -1 1077944384 378 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139914399657104 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22519] ppid=22512 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 2911 0 -1 1077944384 308 0 0 0 3 1 0 0 20 0 19 0 108893845 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139914065710096 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22520] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 2911 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 19 0 108893846 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913948883056 139914465290882 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22521] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 2911 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913947829088 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22522] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 2911 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913946776704 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22523] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913945725008 139914465298331 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22524] ppid=22512 vsize=13185584 CPUtime=2.83 cores=0,2,4,6
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 2911 0 -1 1077944384 4308 0 0 0 283 0 0 0 20 0 19 0 108893850 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913944672880 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22525] ppid=22512 vsize=13185584 CPUtime=2.99 cores=0,2,4,6
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 2911 0 -1 1077944384 4460 0 0 0 298 1 0 0 20 0 19 0 108893850 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913943620080 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22526] ppid=22512 vsize=13185584 CPUtime=0.91 cores=0,2,4,6
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 2911 0 -1 1077944384 4928 0 0 0 89 2 0 0 20 0 19 0 108893850 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913942567792 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22527] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913941515232 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22528] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 2911 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 108893855 13502038016 85479 18446744073709551615 4194304 4196468 140734719690432 139913940462000 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
Current children cumulated CPU time (s) 21.59
Current children cumulated vsize (KiB) 13195096
[startup+12.7081 s]
/proc/loadavg: 8.48 8.50 8.12 11/224 22568
/proc/meminfo: memFree=30842124/32770624 swapFree=0/374276
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=13185584 CPUtime=47.08 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 38975 0 0 0 4683 25 0 0 20 0 19 0 108893844 13502038016 97725 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3296396 97725 3267 1 0 3284688 0
[pid=22514/tid=22515] ppid=22512 vsize=13185584 CPUtime=1.63 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 2911 0 -1 1077944384 10687 0 0 0 157 6 0 0 20 0 19 0 108893844 13502038016 97725 18446744073709551615 4194304 4196468 140734719690432 139914469520512 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=13185584 CPUtime=0.06 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 188 0 0 0 4 2 0 0 20 0 19 0 108893845 13502038016 97725 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=13185584 CPUtime=0.06 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 1267 0 0 0 4 2 0 0 20 0 19 0 108893845 13502038016 97725 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
################
# More data... #
################
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=13185584 CPUtime=2317.33 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 110669 0 0 0 231670 63 0 0 20 0 19 0 108893844 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3296396 174684 3267 1 0 3284688 0
[pid=22514/tid=22515] ppid=22512 vsize=13185584 CPUtime=1.64 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 2911 0 -1 1077944384 10878 0 0 0 158 6 0 0 20 0 19 0 108893844 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139914469520512 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=13185584 CPUtime=0.24 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 1745 0 0 0 18 6 0 0 20 0 19 0 108893845 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=13185584 CPUtime=0.24 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 3321 0 0 0 18 6 0 0 20 0 19 0 108893845 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22518] ppid=22512 vsize=13185584 CPUtime=0.24 cores=0,2,4,6
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 2911 0 -1 1077944384 2501 0 0 0 18 6 0 0 20 0 19 0 108893845 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139914399657104 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22519] ppid=22512 vsize=13185584 CPUtime=0.25 cores=0,2,4,6
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 2911 0 -1 1077944384 1606 0 0 0 19 6 0 0 20 0 19 0 108893845 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139914065710096 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22520] ppid=22512 vsize=13185584 CPUtime=0.09 cores=0,2,4,6
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 2911 0 -1 1077944384 3911 0 0 0 6 3 0 0 20 0 19 0 108893846 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913948883056 139914465290882 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22521] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 2911 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913947829088 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22522] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 2911 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913946776704 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22523] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913945725008 139914465298331 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22524] ppid=22512 vsize=13185584 CPUtime=3.94 cores=0,2,4,6
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 2911 0 -1 1077944384 22891 0 0 0 393 1 0 0 20 0 19 0 108893850 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913944672880 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22525] ppid=22512 vsize=13185584 CPUtime=4.19 cores=0,2,4,6
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 2911 0 -1 1077944384 25711 0 0 0 417 2 0 0 20 0 19 0 108893850 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913943620080 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22526] ppid=22512 vsize=13185584 CPUtime=1.02 cores=0,2,4,6
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 2911 0 -1 1077944384 13244 0 0 0 100 2 0 0 20 0 19 0 108893850 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913942567792 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22527] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913941515232 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22528] ppid=22512 vsize=13185584 CPUtime=0.2 cores=0,2,4,6
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 2911 0 -1 1077944384 1056 0 0 0 10 10 0 0 20 0 19 0 108893855 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913940462000 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22569] ppid=22512 vsize=13185584 CPUtime=565.13 cores=0,2,4,6
/proc/22514/task/22569/stat : 22569 (java) R 22512 22512 2911 0 -1 4202560 2172 0 0 0 56511 2 0 0 20 0 19 0 108895310 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913931394024 139914086499349 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22570] ppid=22512 vsize=13185584 CPUtime=564.98 cores=0,2,4,6
/proc/22514/task/22570/stat : 22570 (java) R 22512 22512 2911 0 -1 4202560 4119 0 0 0 56495 3 0 0 20 0 19 0 108895310 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913861255224 139914086098490 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22571] ppid=22512 vsize=13185584 CPUtime=563.67 cores=0,2,4,6
/proc/22514/task/22571/stat : 22571 (java) R 22512 22512 2911 0 -1 4202560 10087 0 0 0 56354 13 0 0 20 0 19 0 108895310 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913930345312 139914085427327 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22572] ppid=22512 vsize=13185584 CPUtime=566.08 cores=0,2,4,6
/proc/22514/task/22572/stat : 22572 (java) R 22512 22512 2911 0 -1 4202560 1891 0 0 0 56607 1 0 0 20 0 19 0 108895310 13502038016 174684 18446744073709551615 4194304 4196468 140734719690432 139913932447712 139914085427327 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
Current children cumulated CPU time (s) 2317.33
Current children cumulated vsize (KiB) 13195096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.101 s]
/proc/loadavg: 8.45 8.48 8.31 9/224 22925
/proc/meminfo: memFree=27413888/32770624 swapFree=0/374512
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=13185584 CPUtime=2400.2 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 110808 0 0 0 239957 63 0 0 20 0 19 0 108893844 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3296396 174049 3267 1 0 3284688 0
[pid=22514/tid=22515] ppid=22512 vsize=13185584 CPUtime=1.64 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 2911 0 -1 1077944384 10878 0 0 0 158 6 0 0 20 0 19 0 108893844 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914469520512 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=13185584 CPUtime=0.26 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 1757 0 0 0 20 6 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=13185584 CPUtime=0.27 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 3353 0 0 0 20 7 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22518] ppid=22512 vsize=13185584 CPUtime=0.27 cores=0,2,4,6
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 2911 0 -1 1077944384 2508 0 0 0 21 6 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914399657104 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22519] ppid=22512 vsize=13185584 CPUtime=0.27 cores=0,2,4,6
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 2911 0 -1 1077944384 1615 0 0 0 21 6 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914065710096 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22520] ppid=22512 vsize=13185584 CPUtime=0.09 cores=0,2,4,6
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 2911 0 -1 1077944384 3924 0 0 0 6 3 0 0 20 0 19 0 108893846 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913948883056 139914465290882 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22521] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 2911 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913947829088 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22522] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 2911 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913946776704 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22523] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913945725008 139914465298331 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22524] ppid=22512 vsize=13185584 CPUtime=3.94 cores=0,2,4,6
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 2911 0 -1 1077944384 22891 0 0 0 393 1 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913944672880 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22525] ppid=22512 vsize=13185584 CPUtime=4.19 cores=0,2,4,6
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 2911 0 -1 1077944384 25711 0 0 0 417 2 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913943620080 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22526] ppid=22512 vsize=13185584 CPUtime=1.02 cores=0,2,4,6
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 2911 0 -1 1077944384 13244 0 0 0 100 2 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913942567792 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22527] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913941515232 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22528] ppid=22512 vsize=13185584 CPUtime=0.2 cores=0,2,4,6
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 2911 0 -1 1077944384 1058 0 0 0 10 10 0 0 20 0 19 0 108893855 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913940462000 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22569] ppid=22512 vsize=13185584 CPUtime=585.83 cores=0,2,4,6
/proc/22514/task/22569/stat : 22569 (java) R 22512 22512 2911 0 -1 4202560 2182 0 0 0 58581 2 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913931393568 139914086499825 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22570] ppid=22512 vsize=13185584 CPUtime=585.71 cores=0,2,4,6
/proc/22514/task/22570/stat : 22570 (java) R 22512 22512 2911 0 -1 4202560 4139 0 0 0 58568 3 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913861254864 139914086894720 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22571] ppid=22512 vsize=13185584 CPUtime=584.31 cores=0,2,4,6
/proc/22514/task/22571/stat : 22571 (java) R 22512 22512 2911 0 -1 4202560 10113 0 0 0 58418 13 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913930345312 139914086501543 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22572] ppid=22512 vsize=13185584 CPUtime=586.76 cores=0,2,4,6
/proc/22514/task/22572/stat : 22572 (java) R 22512 22512 2911 0 -1 4202560 1899 0 0 0 58675 1 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913932448056 139914088409319 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
Current children cumulated CPU time (s) 2400.2
Current children cumulated vsize (KiB) 13195096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22514 sig 9
??? kill 22512 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+603.101 s]
/proc/loadavg: 8.45 8.48 8.31 9/224 22925
/proc/meminfo: memFree=27413888/32770624 swapFree=0/374512
[pid=22512] ppid=22509 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108893839 9740288 345 18446744073709551615 4194304 5098028 140732866955184 140732866953288 139635677856380 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 4 0 0 7196144 7232144 12161024 140732866961816 140732866962026 140732866962026 140732866965483 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=13185584 CPUtime=2400.2 cores=0,2,4,6
/proc/22514/stat : 22514 (java) S 22512 22512 2911 0 -1 1077944320 110808 0 0 0 239957 63 0 0 20 0 19 0 108893844 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 140734719672976 139914465279735 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
/proc/22514/statm: 3296396 174049 3267 1 0 3284688 0
[pid=22514/tid=22515] ppid=22512 vsize=13185584 CPUtime=1.64 cores=0,2,4,6
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 2911 0 -1 1077944384 10878 0 0 0 158 6 0 0 20 0 19 0 108893844 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914469520512 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22516] ppid=22512 vsize=13185584 CPUtime=0.26 cores=0,2,4,6
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 2911 0 -1 1077944384 1757 0 0 0 20 6 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914401762192 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22517] ppid=22512 vsize=13185584 CPUtime=0.27 cores=0,2,4,6
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 2911 0 -1 1077944384 3353 0 0 0 20 7 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914400709392 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22518] ppid=22512 vsize=13185584 CPUtime=0.27 cores=0,2,4,6
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 2911 0 -1 1077944384 2508 0 0 0 21 6 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914399657104 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22519] ppid=22512 vsize=13185584 CPUtime=0.27 cores=0,2,4,6
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 2911 0 -1 1077944384 1615 0 0 0 21 6 0 0 20 0 19 0 108893845 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139914065710096 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22520] ppid=22512 vsize=13185584 CPUtime=0.09 cores=0,2,4,6
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 2911 0 -1 1077944384 3924 0 0 0 6 3 0 0 20 0 19 0 108893846 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913948883056 139914465290882 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22521] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 2911 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913947829088 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22522] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 2911 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 108893847 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913946776704 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22523] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913945725008 139914465298331 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22524] ppid=22512 vsize=13185584 CPUtime=3.94 cores=0,2,4,6
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 2911 0 -1 1077944384 22891 0 0 0 393 1 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913944672880 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22525] ppid=22512 vsize=13185584 CPUtime=4.19 cores=0,2,4,6
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 2911 0 -1 1077944384 25711 0 0 0 417 2 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913943620080 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22526] ppid=22512 vsize=13185584 CPUtime=1.02 cores=0,2,4,6
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 2911 0 -1 1077944384 13244 0 0 0 100 2 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913942567792 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22527] ppid=22512 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108893850 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913941515232 139914465289941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22528] ppid=22512 vsize=13185584 CPUtime=0.2 cores=0,2,4,6
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 2911 0 -1 1077944384 1058 0 0 0 10 10 0 0 20 0 19 0 108893855 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913940462000 139914465290882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22569] ppid=22512 vsize=13185584 CPUtime=585.83 cores=0,2,4,6
/proc/22514/task/22569/stat : 22569 (java) R 22512 22512 2911 0 -1 4202560 2182 0 0 0 58581 2 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913931393568 139914086499825 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22570] ppid=22512 vsize=13185584 CPUtime=585.71 cores=0,2,4,6
/proc/22514/task/22570/stat : 22570 (java) R 22512 22512 2911 0 -1 4202560 4139 0 0 0 58568 3 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913861254864 139914086894720 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22571] ppid=22512 vsize=13185584 CPUtime=584.31 cores=0,2,4,6
/proc/22514/task/22571/stat : 22571 (java) R 22512 22512 2911 0 -1 4202560 10113 0 0 0 58418 13 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913930345312 139914086501543 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
[pid=22514/tid=22572] ppid=22512 vsize=13185584 CPUtime=586.76 cores=0,2,4,6
/proc/22514/task/22572/stat : 22572 (java) R 22512 22512 2911 0 -1 4202560 1899 0 0 0 58675 1 0 0 20 0 19 0 108895310 13502038016 174049 18446744073709551615 4194304 4196468 140734719690432 139913932448056 139914088409319 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140734719693270 140734719693446 140734719693446 140734719696847 0
Current children cumulated CPU time (s) 2400.2
Current children cumulated vsize (KiB) 13195096
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22512 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1805
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=142
# CPU time returned by wait4() is 0.001947
# while last known CPU time is 2400.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 603.13
CPU time (s): 2400.2
CPU user time (s): 2399.57
CPU system time (s): 0.63
CPU usage (%): 397.957
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001805
system time used= 0.000142
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.14039 second user time and 4.52696 second system time
The end