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-4254972-1501619915/watcher-4254972-1501619915 -o /tmp/evaluation-result-4254972-1501619915/solver-4254972-1501619915 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1607407107 HOME/instance-4254972-1501619915.xml
pid=12240
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.29 1.63 1.73 2/201 12243
/proc/meminfo: memFree=31736348/32770624 swapFree=0/187772
[pid=12243] ppid=12240 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (runsolver) D 12240 12243 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9806859 24240128 106 18446744073709551615 4194304 4338465 140724688082736 140724688080376 139805238153943 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 6873088 140724688089180 140724688089670 140724688089670 140724688093130 0
/proc/12243/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.29 1.63 1.73 2/201 12243
/proc/meminfo: memFree=31736348/32770624 swapFree=0/187772
[pid=12243] ppid=12240 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (runsolver) D 12240 12243 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9806859 24240128 106 18446744073709551615 4194304 4338465 140724688082736 140724688080376 139805238153943 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 6873088 140724688089180 140724688089670 140724688089670 140724688093130 0
/proc/12243/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200305 s]
/proc/loadavg: 1.29 1.63 1.73 2/201 12243
/proc/meminfo: memFree=31736348/32770624 swapFree=0/187772
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300297 s]
/proc/loadavg: 1.29 1.63 1.73 2/201 12243
/proc/meminfo: memFree=31736348/32770624 swapFree=0/187772
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702335 s]
/proc/loadavg: 1.29 1.63 1.73 2/201 12243
/proc/meminfo: memFree=31736348/32770624 swapFree=0/187772
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.35 1.64 1.74 4/217 12259
/proc/meminfo: memFree=31659576/32770624 swapFree=0/187804
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=3.44 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 20168 0 0 0 337 7 0 0 20 0 15 0 9806869 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 24314 3186 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 9773 0 0 0 129 4 0 0 20 0 15 0 9806870 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140413334580448 140412971469804 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12249] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12249/stat : 12249 (java) S 12243 12243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412928055568 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12250] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12250/stat : 12250 (java) S 12243 12243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412927003024 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12251] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12251/stat : 12251 (java) S 12243 12243 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412808297200 140413330352770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412807243424 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412806190320 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) R 12243 12243 5228 0 -1 4202560 2931 0 0 0 72 1 0 0 20 0 15 0 9806875 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412804074592 140413315263589 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) R 12243 12243 5228 0 -1 4202560 3538 0 0 0 86 0 0 0 20 0 15 0 9806875 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412803024112 140413311862869 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 2564 0 0 0 49 1 0 0 20 0 15 0 9806875 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 9806880 14316269568 24314 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 1.35 1.64 1.74 5/217 12259
/proc/meminfo: memFree=31633448/32770624 swapFree=0/187804
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=6.41 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 20865 0 0 0 634 7 0 0 20 0 15 0 9806869 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 30754 3188 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 9831 0 0 0 289 4 0 0 20 0 15 0 9806870 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140413334580472 140412967803388 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12249] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12249/stat : 12249 (java) S 12243 12243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412928055568 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12250] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12250/stat : 12250 (java) S 12243 12243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9806870 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412927003024 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12251] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12251/stat : 12251 (java) S 12243 12243 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412808297200 140413330352770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412807243424 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412806190320 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) S 12243 12243 5228 0 -1 1077944384 3152 0 0 0 134 1 0 0 20 0 15 0 9806875 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412804086000 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) S 12243 12243 5228 0 -1 1077944384 3791 0 0 0 153 0 0 0 20 0 15 0 9806875 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412803033456 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 2725 0 0 0 57 1 0 0 20 0 15 0 9806875 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9806880 14316269568 30754 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 1.35 1.64 1.74 3/217 12259
/proc/meminfo: memFree=31522368/32770624 swapFree=0/187812
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=10.45 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 28072 0 0 0 1033 12 0 0 20 0 15 0 9806869 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 54069 3219 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=6.09 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 10826 0 0 0 605 4 0 0 20 0 15 0 9806870 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140413334577456 140412967803388 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 9806870 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 15 0 9806870 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12249] ppid=12243 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12245/task/12249/stat : 12249 (java) S 12243 12243 5228 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 9806870 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412928055568 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12250] ppid=12243 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12245/task/12250/stat : 12250 (java) S 12243 12243 5228 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 15 0 9806870 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412927003024 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12251] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12251/stat : 12251 (java) S 12243 12243 5228 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412808297200 140413330352770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412807243424 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412806190320 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) S 12243 12243 5228 0 -1 1077944384 4963 0 0 0 167 1 0 0 20 0 15 0 9806875 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412804086000 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) S 12243 12243 5228 0 -1 1077944384 5346 0 0 0 188 0 0 0 20 0 15 0 9806875 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412803033456 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 4132 0 0 0 63 2 0 0 20 0 15 0 9806875 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9806880 14316269568 54069 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.45 1.65 1.74 3/217 12259
/proc/meminfo: memFree=31247880/32770624 swapFree=0/187816
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=17.36 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 28965 0 0 0 1713 23 0 0 20 0 15 0 9806869 14316269568 74781 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 74781 3224 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=12.4 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 10887 0 0 0 1236 4 0 0 20 0 15 0 9806870 14316269568 74781 18446744073709551615 4194304 4196468 140726203267840 140413334577216 140412967803448 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 270 0 0 0 8 3 0 0 20 0 15 0 9806870 14316269568 74781 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 772 0 0 0 8 3 0 0 20 0 15 0 9806870 14316269568 74781 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
################
# More data... #
################
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412807243488 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412806190336 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=2.63 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) S 12243 12243 5228 0 -1 1077944384 14554 0 0 0 262 1 0 0 20 0 15 0 9806875 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412804086000 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=2.79 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) S 12243 12243 5228 0 -1 1077944384 13407 0 0 0 278 1 0 0 20 0 15 0 9806875 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412803033456 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 7324 0 0 0 75 2 0 0 20 0 15 0 9806875 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 148 0 0 0 1 2 0 0 20 0 15 0 9806880 14316269568 254619 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 110.08
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.79 1.78 4/214 12265
/proc/meminfo: memFree=29831872/32770624 swapFree=0/187904
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=174.53 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 79908 0 0 0 17341 112 0 0 20 0 15 0 9806869 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 331140 3243 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=160.12 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 20175 0 0 0 16003 9 0 0 20 0 15 0 9806870 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140413334580784 140412972859118 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 1135 0 0 0 148 23 0 0 20 0 15 0 9806870 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 2470 0 0 0 148 22 0 0 20 0 15 0 9806870 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12249] ppid=12243 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/12245/task/12249/stat : 12249 (java) S 12243 12243 5228 0 -1 1077944384 1534 0 0 0 147 22 0 0 20 0 15 0 9806870 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412928055568 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12250] ppid=12243 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/12245/task/12250/stat : 12250 (java) S 12243 12243 5228 0 -1 1077944384 2352 0 0 0 147 23 0 0 20 0 15 0 9806870 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412927003024 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12251] ppid=12243 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/12245/task/12251/stat : 12251 (java) S 12243 12243 5228 0 -1 1077944384 3073 0 0 0 28 0 0 0 20 0 15 0 9806872 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412808297200 140413330352770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412807243488 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412806190336 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=3.09 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) S 12243 12243 5228 0 -1 1077944384 20063 0 0 0 307 2 0 0 20 0 15 0 9806875 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412804086000 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=3.28 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) S 12243 12243 5228 0 -1 1077944384 19692 0 0 0 327 1 0 0 20 0 15 0 9806875 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412803033456 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 7792 0 0 0 78 2 0 0 20 0 15 0 9806875 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 246 0 0 0 2 3 0 0 20 0 15 0 9806880 14316269568 331140 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 174.53
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.95 1.81 1.79 3/215 12269
/proc/meminfo: memFree=29332748/32770624 swapFree=0/187928
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=235.55 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 87265 0 0 0 23411 144 0 0 20 0 15 0 9806869 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 389834 3246 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=219.84 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 22969 0 0 0 21974 10 0 0 20 0 15 0 9806870 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140413334577920 140412974098262 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 1877 0 0 0 169 30 0 0 20 0 15 0 9806870 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 2828 0 0 0 169 30 0 0 20 0 15 0 9806870 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12249] ppid=12243 vsize=13980732 CPUtime=1.98 cores=1,3,5,7
/proc/12245/task/12249/stat : 12249 (java) S 12243 12243 5228 0 -1 1077944384 2158 0 0 0 168 30 0 0 20 0 15 0 9806870 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412928055568 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12250] ppid=12243 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/12245/task/12250/stat : 12250 (java) S 12243 12243 5228 0 -1 1077944384 2765 0 0 0 169 30 0 0 20 0 15 0 9806870 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412927003024 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12251] ppid=12243 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/12245/task/12251/stat : 12251 (java) S 12243 12243 5228 0 -1 1077944384 3378 0 0 0 28 0 0 0 20 0 15 0 9806872 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412808297200 140413330352770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412807243488 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412806190336 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=3.12 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) S 12243 12243 5228 0 -1 1077944384 20741 0 0 0 310 2 0 0 20 0 15 0 9806875 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412804086000 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=3.4 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) S 12243 12243 5228 0 -1 1077944384 20780 0 0 0 339 1 0 0 20 0 15 0 9806875 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412803033456 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 8146 0 0 0 78 2 0 0 20 0 15 0 9806875 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 247 0 0 0 3 5 0 0 20 0 15 0 9806880 14316269568 389834 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 235.55
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.88 1.81 1.78 5/215 12347
/proc/meminfo: memFree=29948248/32770624 swapFree=0/187968
[pid=12243] ppid=12240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (xcsp3-exec) S 12240 12243 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9806859 9740288 345 18446744073709551615 4194304 5098028 140727500054560 140727500052664 140438212297340 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 22052864 140727500063131 140727500063335 140727500063335 140727500066795 0
/proc/12243/statm: 2378 345 289 221 0 87 0
[pid=12245] ppid=12243 vsize=13980732 CPUtime=253.81 cores=1,3,5,7
/proc/12245/stat : 12245 (java) S 12243 12243 5228 0 -1 1077944320 88831 0 0 0 25213 168 0 0 20 0 15 0 9806869 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140726203250384 140413330341623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
/proc/12245/statm: 3495183 445185 3246 1 0 3483484 0
[pid=12245/tid=12246] ppid=12243 vsize=13980732 CPUtime=237.34 cores=1,3,5,7
/proc/12245/task/12246/stat : 12246 (java) R 12243 12243 5228 0 -1 4202560 23667 0 0 0 23724 10 0 0 20 0 15 0 9806870 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140413334580248 140412973327188 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12247] ppid=12243 vsize=13980732 CPUtime=2.17 cores=1,3,5,7
/proc/12245/task/12247/stat : 12247 (java) S 12243 12243 5228 0 -1 1077944384 1975 0 0 0 181 36 0 0 20 0 15 0 9806870 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140413287307792 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12248] ppid=12243 vsize=13980732 CPUtime=2.17 cores=1,3,5,7
/proc/12245/task/12248/stat : 12248 (java) S 12243 12243 5228 0 -1 1077944384 3121 0 0 0 181 36 0 0 20 0 15 0 9806870 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412929108624 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12249] ppid=12243 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/12245/task/12249/stat : 12249 (java) S 12243 12243 5228 0 -1 1077944384 2269 0 0 0 180 35 0 0 20 0 15 0 9806870 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412928055568 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12250] ppid=12243 vsize=13980732 CPUtime=2.17 cores=1,3,5,7
/proc/12245/task/12250/stat : 12250 (java) S 12243 12243 5228 0 -1 1077944384 2853 0 0 0 181 36 0 0 20 0 15 0 9806870 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412927003024 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12251] ppid=12243 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/12245/task/12251/stat : 12251 (java) S 12243 12243 5228 0 -1 1077944384 3414 0 0 0 28 0 0 0 20 0 15 0 9806872 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412808297200 140413330352770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12252] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12252/stat : 12252 (java) S 12243 12243 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412807243488 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12253] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12253/stat : 12253 (java) S 12243 12243 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 9806872 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412806190336 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12254] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12254/stat : 12254 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412805138896 140413330360219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12255] ppid=12243 vsize=13980732 CPUtime=3.12 cores=1,3,5,7
/proc/12245/task/12255/stat : 12255 (java) S 12243 12243 5228 0 -1 1077944384 20842 0 0 0 310 2 0 0 20 0 15 0 9806875 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412804086000 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12256] ppid=12243 vsize=13980732 CPUtime=3.4 cores=1,3,5,7
/proc/12245/task/12256/stat : 12256 (java) S 12243 12243 5228 0 -1 1077944384 20833 0 0 0 339 1 0 0 20 0 15 0 9806875 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412803033456 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12257] ppid=12243 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/12245/task/12257/stat : 12257 (java) S 12243 12243 5228 0 -1 1077944384 8234 0 0 0 79 2 0 0 20 0 15 0 9806875 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412801980400 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12258] ppid=12243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12245/task/12258/stat : 12258 (java) S 12243 12243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9806875 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412800928096 140413330351829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
[pid=12245/tid=12259] ppid=12243 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/12245/task/12259/stat : 12259 (java) S 12243 12243 5228 0 -1 1077944384 247 0 0 0 3 5 0 0 20 0 15 0 9806880 14316269568 445185 18446744073709551615 4194304 4196468 140726203267840 140412799876144 140413330352770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31260672 140726203269588 140726203269763 140726203269763 140726203273167 0
Current children cumulated CPU time (s) 253.81
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 12245 sig 9
??? kill 12243 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12243 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=954
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=954
# CPU time returned by wait4() is 0.001908
# while last known CPU time is 253.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 253.81
CPU user time (s): 252.13
CPU system time (s): 1.68
CPU usage (%): 105.75
Max. virtual memory (cumulated for all children) (KiB): 13992328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000954
system time used= 0.000954
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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 1.02521 second user time and 1.52503 second system time
The end