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-4254357-1501616309/watcher-4254357-1501616309 -o /tmp/evaluation-result-4254357-1501616309/solver-4254357-1501616309 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1889176508 HOME/instance-4254357-1501616309.xml
pid=9273
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.90 1.82 1.84 3/195 9276
/proc/meminfo: memFree=31833544/32770624 swapFree=0/183512
[pid=9276] ppid=9273 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (runsolver) D 9273 9276 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10247851 24240128 107 18446744073709551615 4194304 4338465 140726519825312 140726519822952 140283695338199 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 39088128 140726519828573 140726519829062 140726519829062 140726519832522 0
/proc/9276/statm: 5918 107 54 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 1.90 1.82 1.84 3/195 9276
/proc/meminfo: memFree=31833544/32770624 swapFree=0/183512
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 1.90 1.82 1.84 3/195 9276
/proc/meminfo: memFree=31833544/32770624 swapFree=0/183512
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300307 s]
/proc/loadavg: 1.90 1.82 1.84 3/195 9276
/proc/meminfo: memFree=31833544/32770624 swapFree=0/183512
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.710017 s]
/proc/loadavg: 1.90 1.82 1.84 3/195 9276
/proc/meminfo: memFree=31833544/32770624 swapFree=0/183512
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.90 1.82 1.84 5/211 9292
/proc/meminfo: memFree=31770712/32770624 swapFree=0/183528
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=3.72 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 20402 0 0 0 368 4 0 0 20 0 15 0 10247859 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 19391 3181 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 8647 0 0 0 132 3 0 0 20 0 15 0 10247860 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753537238192 139753155722468 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) R 9276 9276 5123 0 -1 4202560 5646 0 0 0 101 0 0 0 20 0 15 0 10247865 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753074508592 139753516533072 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) R 9276 9276 5123 0 -1 4202560 3192 0 0 0 102 0 0 0 20 0 15 0 10247865 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753073455448 139753510596241 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 1611 0 0 0 31 0 0 0 20 0 15 0 10247865 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247870 14316269568 19391 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13990244
[startup+3.10056 s]
/proc/loadavg: 1.82 1.80 1.83 3/211 9292
/proc/meminfo: memFree=31763640/32770624 swapFree=0/183528
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=5.88 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 21870 0 0 0 583 5 0 0 20 0 15 0 10247859 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 21600 3192 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 9150 0 0 0 292 3 0 0 20 0 15 0 10247860 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753537237136 139753153453887 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.21 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) S 9276 9276 5123 0 -1 1077944384 5810 0 0 0 121 0 0 0 20 0 15 0 10247865 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753074522224 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) S 9276 9276 5123 0 -1 1077944384 3622 0 0 0 134 0 0 0 20 0 15 0 10247865 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753073469424 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 1930 0 0 0 35 0 0 0 20 0 15 0 10247865 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10247870 14316269568 21600 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13990244
[startup+6.30065 s]
/proc/loadavg: 1.82 1.80 1.83 3/211 9292
/proc/meminfo: memFree=31741268/32770624 swapFree=0/183540
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=9.41 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 23944 0 0 0 936 5 0 0 20 0 15 0 10247859 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 27820 3196 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 9676 0 0 0 611 3 0 0 20 0 15 0 10247860 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753537237744 139753155767346 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) R 9276 9276 5123 0 -1 4202560 6539 0 0 0 132 0 0 0 20 0 15 0 10247865 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753074522224 139753516902064 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) S 9276 9276 5123 0 -1 1077944384 4117 0 0 0 155 0 0 0 20 0 15 0 10247865 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753073469424 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 2010 0 0 0 37 0 0 0 20 0 15 0 10247865 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10247870 14316269568 27820 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.70 1.78 1.82 3/211 9292
/proc/meminfo: memFree=31677756/32770624 swapFree=0/183540
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=15.96 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 27933 0 0 0 1589 7 0 0 20 0 15 0 10247859 14316269568 43233 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 43233 3197 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 10857 0 0 0 1250 4 0 0 20 0 15 0 10247860 14316269568 43233 18446744073709551615 4194304 4196468 140733685251872 139753537239112 139753156507651 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 43233 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 43233 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
################
# More data... #
################
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 39603 0 0 0 10564 11 0 0 20 0 15 0 10247859 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 49646 3227 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=102.12 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 12830 0 0 0 10207 5 0 0 20 0 15 0 10247860 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753537240960 139753155645784 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 858 0 0 0 1 0 0 0 20 0 15 0 10247860 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 848 0 0 0 1 0 0 0 20 0 15 0 10247860 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1061 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 10247860 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 1175 0 0 0 1 0 0 0 20 0 15 0 10247862 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) S 9276 9276 5123 0 -1 1077944384 9209 0 0 0 144 0 0 0 20 0 15 0 10247865 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753074522224 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) S 9276 9276 5123 0 -1 1077944384 6172 0 0 0 164 0 0 0 20 0 15 0 10247865 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753073469424 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 5214 0 0 0 40 0 0 0 20 0 15 0 10247865 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 343 0 0 0 0 1 0 0 20 0 15 0 10247870 14316269568 49646 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 105.75
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.82 1.78 1.81 3/211 9374
/proc/meminfo: memFree=31608988/32770624 swapFree=0/183668
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=165.77 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 41229 0 0 0 16565 12 0 0 20 0 15 0 10247859 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 47465 3227 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=162.1 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 13438 0 0 0 16205 5 0 0 20 0 15 0 10247860 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753537241072 139753156394726 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1224 0 0 0 1 0 0 0 20 0 15 0 10247860 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 869 0 0 0 1 0 0 0 20 0 15 0 10247860 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1074 0 0 0 1 0 0 0 20 0 15 0 10247860 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 15 0 10247860 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 1378 0 0 0 2 0 0 0 20 0 15 0 10247862 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) S 9276 9276 5123 0 -1 1077944384 9212 0 0 0 144 0 0 0 20 0 15 0 10247865 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753074522224 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) S 9276 9276 5123 0 -1 1077944384 6175 0 0 0 164 0 0 0 20 0 15 0 10247865 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753073469424 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 5573 0 0 0 40 0 0 0 20 0 15 0 10247865 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 363 0 0 0 1 2 0 0 20 0 15 0 10247870 14316269568 47465 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 165.77
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.79 1.76 1.81 3/211 9377
/proc/meminfo: memFree=31615628/32770624 swapFree=0/183712
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=225.84 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 42144 0 0 0 22570 14 0 0 20 0 15 0 10247859 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 44905 3227 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=222.09 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 13470 0 0 0 22204 5 0 0 20 0 15 0 10247860 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753537238704 139753156291206 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1232 0 0 0 2 0 0 0 20 0 15 0 10247860 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 872 0 0 0 2 0 0 0 20 0 15 0 10247860 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1076 0 0 0 1 1 0 0 20 0 15 0 10247860 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 10247860 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 1381 0 0 0 2 0 0 0 20 0 15 0 10247862 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) S 9276 9276 5123 0 -1 1077944384 10025 0 0 0 146 0 0 0 20 0 15 0 10247865 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753074522224 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) S 9276 9276 5123 0 -1 1077944384 6175 0 0 0 165 0 0 0 20 0 15 0 10247865 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753073469424 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 5616 0 0 0 40 0 0 0 20 0 15 0 10247865 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 368 0 0 0 2 2 0 0 20 0 15 0 10247870 14316269568 44905 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 225.84
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.76 1.76 1.80 3/211 9379
/proc/meminfo: memFree=31623996/32770624 swapFree=0/183736
[pid=9276] ppid=9273 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (xcsp3-exec) S 9273 9276 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10247851 9740288 345 18446744073709551615 4194304 5098028 140734023544112 140734023542216 139938944856700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29057024 140734023549339 140734023549543 140734023549543 140734023553003 0
/proc/9276/statm: 2378 345 289 221 0 87 0
[pid=9278] ppid=9276 vsize=13980732 CPUtime=243.57 cores=1,3,5,7
/proc/9278/stat : 9278 (java) S 9276 9276 5123 0 -1 1077944320 43019 0 0 0 24343 14 0 0 20 0 15 0 10247859 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 140733685234416 139753533001463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
/proc/9278/statm: 3495183 44527 3227 1 0 3483484 0
[pid=9278/tid=9279] ppid=9276 vsize=13980732 CPUtime=239.77 cores=1,3,5,7
/proc/9278/task/9279/stat : 9279 (java) R 9276 9276 5123 0 -1 4202560 13480 0 0 0 23972 5 0 0 20 0 15 0 10247860 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753537240272 139753157614512 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9280] ppid=9276 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9278/task/9280/stat : 9280 (java) S 9276 9276 5123 0 -1 1077944384 1233 0 0 0 2 1 0 0 20 0 15 0 10247860 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753474947472 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9281] ppid=9276 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9278/task/9281/stat : 9281 (java) S 9276 9276 5123 0 -1 1077944384 873 0 0 0 2 0 0 0 20 0 15 0 10247860 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753473894672 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9282] ppid=9276 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9278/task/9282/stat : 9282 (java) S 9276 9276 5123 0 -1 1077944384 1077 0 0 0 2 1 0 0 20 0 15 0 10247860 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753472842384 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9283] ppid=9276 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9278/task/9283/stat : 9283 (java) S 9276 9276 5123 0 -1 1077944384 556 0 0 0 2 1 0 0 20 0 15 0 10247860 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753129777680 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9284] ppid=9276 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9278/task/9284/stat : 9284 (java) S 9276 9276 5123 0 -1 1077944384 1381 0 0 0 3 0 0 0 20 0 15 0 10247862 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753078733424 139753533012610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9285] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9285/stat : 9285 (java) S 9276 9276 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753077679392 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9286] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9286/stat : 9286 (java) S 9276 9276 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10247862 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753076627056 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9287] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9287/stat : 9287 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753075575376 139753533020059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9288] ppid=9276 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/9278/task/9288/stat : 9288 (java) S 9276 9276 5123 0 -1 1077944384 10025 0 0 0 146 0 0 0 20 0 15 0 10247865 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753074522224 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9289] ppid=9276 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/9278/task/9289/stat : 9289 (java) S 9276 9276 5123 0 -1 1077944384 7006 0 0 0 167 0 0 0 20 0 15 0 10247865 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753073469424 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9290] ppid=9276 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9278/task/9290/stat : 9290 (java) S 9276 9276 5123 0 -1 1077944384 5645 0 0 0 40 0 0 0 20 0 15 0 10247865 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753072417136 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9291] ppid=9276 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9278/task/9291/stat : 9291 (java) S 9276 9276 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10247865 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753071364576 139753533011669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
[pid=9278/tid=9292] ppid=9276 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9278/task/9292/stat : 9292 (java) S 9276 9276 5123 0 -1 1077944384 368 0 0 0 2 2 0 0 20 0 15 0 10247870 14316269568 44527 18446744073709551615 4194304 4196468 140733685251872 139753070312368 139753533012610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140733685260756 140733685260931 140733685260931 140733685264335 0
Current children cumulated CPU time (s) 243.57
Current children cumulated vsize (KiB) 13990244
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 9278 sig 9
??? kill 9276 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.011
CPU time (s): 243.591
CPU user time (s): 243.442
CPU system time (s): 0.148973
CPU usage (%): 101.491
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.442
system time used= 0.148973
maximum resident set size= 202172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43922
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= 7817
involuntary context switches= 137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.929343 second user time and 1.40396 second system time
The end