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-4255224-1501986483/watcher-4255224-1501986483 -o /tmp/evaluation-result-4255224-1501986483/solver-4255224-1501986483 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2045363745 HOME/instance-4255224-1501986483.xml
pid=7592
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.96 1.97 2/200 7595
/proc/meminfo: memFree=29502568/32770624 swapFree=0/289644
[pid=7595] ppid=7592 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (runsolver) D 7592 7595 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46463553 24240128 107 18446744073709551615 4194304 4338465 140728115114784 140728115112424 140502273319639 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 33894400 140728115122274 140728115122764 140728115122764 140728115126218 0
/proc/7595/statm: 5918 107 54 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 1.91 1.96 1.97 2/200 7595
/proc/meminfo: memFree=29502568/32770624 swapFree=0/289644
[pid=7595] ppid=7592 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (runsolver) D 7592 7595 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46463553 24240128 107 18446744073709551615 4194304 4338465 140728115114784 140728115112424 140502273319639 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 33894400 140728115122274 140728115122764 140728115122764 140728115126218 0
/proc/7595/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200325 s]
/proc/loadavg: 1.91 1.96 1.97 2/200 7595
/proc/meminfo: memFree=29502568/32770624 swapFree=0/289644
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303128 s]
/proc/loadavg: 1.91 1.96 1.97 2/200 7595
/proc/meminfo: memFree=29502568/32770624 swapFree=0/289644
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700266 s]
/proc/loadavg: 1.91 1.96 1.97 2/200 7595
/proc/meminfo: memFree=29502568/32770624 swapFree=0/289644
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50123 s]
/proc/loadavg: 1.91 1.96 1.97 6/216 7611
/proc/meminfo: memFree=29327796/32770624 swapFree=0/289676
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 16715 0 0 0 380 10 0 0 20 0 15 0 46463563 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 58097 3217 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) S 7595 7595 30500 0 -1 1077944384 8615 0 0 0 123 4 0 0 20 0 15 0 46463564 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251741828288 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) R 7595 7595 30500 0 -1 4202560 122 0 0 0 4 1 0 0 20 0 15 0 46463564 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251694557792 140251737612890 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) R 7595 7595 30500 0 -1 4202560 90 0 0 0 3 0 0 0 20 0 15 0 46463564 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7601] ppid=7595 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7597/task/7601/stat : 7601 (java) S 7595 7595 30500 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 46463564 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251692452112 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7602] ppid=7595 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7597/task/7602/stat : 7602 (java) S 7595 7595 30500 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 15 0 46463564 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251691399568 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7603] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7603/stat : 7603 (java) R 7595 7595 30500 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251215414560 140251737612890 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251214362272 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251213309168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 2254 0 0 0 98 0 0 0 20 0 15 0 46463569 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251211189840 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) R 7595 7595 30500 0 -1 4202560 1993 0 0 0 96 1 0 0 20 0 15 0 46463569 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251210138848 140251715186401 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 2136 0 0 0 47 1 0 0 20 0 15 0 46463569 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46463573 14316269568 58097 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13990244
[startup+3.10081 s]
/proc/loadavg: 1.91 1.96 1.97 3/216 7611
/proc/meminfo: memFree=29271356/32770624 swapFree=0/289688
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=6.03 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 17317 0 0 0 592 11 0 0 20 0 15 0 46463563 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 58683 3227 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=2.88 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) R 7595 7595 30500 0 -1 4202560 8909 0 0 0 283 5 0 0 20 0 15 0 46463564 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251741830136 140251375067929 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) S 7595 7595 30500 0 -1 1077944384 122 0 0 0 4 1 0 0 20 0 15 0 46463564 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251694557712 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) S 7595 7595 30500 0 -1 1077944384 90 0 0 0 3 0 0 0 20 0 15 0 46463564 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7601] ppid=7595 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7597/task/7601/stat : 7601 (java) S 7595 7595 30500 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 46463564 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251692452112 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7602] ppid=7595 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7597/task/7602/stat : 7602 (java) S 7595 7595 30500 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 15 0 46463564 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251691399568 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7603] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7603/stat : 7603 (java) S 7595 7595 30500 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251215416048 140251737602690 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251214362272 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251213309168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=1.19 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 2332 0 0 0 119 0 0 0 20 0 15 0 46463569 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251211204848 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=1.19 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) S 7595 7595 30500 0 -1 1077944384 2052 0 0 0 118 1 0 0 20 0 15 0 46463569 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251210152304 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 2303 0 0 0 57 1 0 0 20 0 15 0 46463569 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46463573 14316269568 58683 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 1.92 1.96 1.97 3/216 7611
/proc/meminfo: memFree=29124912/32770624 swapFree=0/289688
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=9.36 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 21674 0 0 0 918 18 0 0 20 0 15 0 46463563 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 95284 3229 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=6.04 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) R 7595 7595 30500 0 -1 4202560 9568 0 0 0 597 7 0 0 20 0 15 0 46463564 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251741828872 140251375098419 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) S 7595 7595 30500 0 -1 1077944384 186 0 0 0 6 2 0 0 20 0 15 0 46463564 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251694557712 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) S 7595 7595 30500 0 -1 1077944384 817 0 0 0 5 1 0 0 20 0 15 0 46463564 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7601] ppid=7595 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/7597/task/7601/stat : 7601 (java) S 7595 7595 30500 0 -1 1077944384 204 0 0 0 4 1 0 0 20 0 15 0 46463564 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251692452112 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7602] ppid=7595 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7597/task/7602/stat : 7602 (java) S 7595 7595 30500 0 -1 1077944384 141 0 0 0 4 2 0 0 20 0 15 0 46463564 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251691399568 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7603] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7603/stat : 7603 (java) S 7595 7595 30500 0 -1 1077944384 632 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251215416048 140251737602690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251214362336 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251213309168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 2424 0 0 0 120 0 0 0 20 0 15 0 46463569 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251211204848 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=1.19 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) S 7595 7595 30500 0 -1 1077944384 2099 0 0 0 118 1 0 0 20 0 15 0 46463569 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251210152304 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 3841 0 0 0 59 1 0 0 20 0 15 0 46463569 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 46463573 14316269568 95284 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.00 1.98 1.97 3/216 7611
/proc/meminfo: memFree=29110508/32770624 swapFree=0/289696
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=15.97 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 23611 0 0 0 1575 22 0 0 20 0 15 0 46463563 14316269568 100510 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 100510 3231 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=12.41 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) R 7595 7595 30500 0 -1 4202560 9717 0 0 0 1234 7 0 0 20 0 15 0 46463564 14316269568 100510 18446744073709551615 4194304 4196468 140722326087232 140251741827968 140251375067929 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) S 7595 7595 30500 0 -1 1077944384 268 0 0 0 7 3 0 0 20 0 15 0 46463564 14316269568 100510 18446744073709551615 4194304 4196468 140722326087232 140251694557712 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) S 7595 7595 30500 0 -1 1077944384 833 0 0 0 7 2 0 0 20 0 15 0 46463564 14316269568 100510 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
################
# More data... #
################
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251214362336 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251213309184 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 16586 0 0 0 306 3 0 0 20 0 15 0 46463569 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251211204848 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) S 7595 7595 30500 0 -1 1077944384 7047 0 0 0 225 1 0 0 20 0 15 0 46463569 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251210152304 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.81 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 6975 0 0 0 79 2 0 0 20 0 15 0 46463569 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 738 0 0 0 4 2 0 0 20 0 15 0 46463573 14316269568 572590 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.15 2.01 1.98 2/200 7680
/proc/meminfo: memFree=28186968/32770624 swapFree=0/289792
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=169.92 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 62525 0 0 0 16894 98 0 0 20 0 15 0 46463563 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 872456 3246 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=161.82 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) R 7595 7595 30500 0 -1 4202560 20658 0 0 0 16132 50 0 0 20 0 15 0 46463564 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251741831264 140251377267972 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) S 7595 7595 30500 0 -1 1077944384 1581 0 0 0 18 10 0 0 20 0 15 0 46463564 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251694557712 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) S 7595 7595 30500 0 -1 1077944384 1493 0 0 0 18 9 0 0 20 0 15 0 46463564 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7601] ppid=7595 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/7597/task/7601/stat : 7601 (java) S 7595 7595 30500 0 -1 1077944384 509 0 0 0 17 9 0 0 20 0 15 0 46463564 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251692452112 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7602] ppid=7595 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/7597/task/7602/stat : 7602 (java) S 7595 7595 30500 0 -1 1077944384 1164 0 0 0 17 8 0 0 20 0 15 0 46463564 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251691399568 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7603] ppid=7595 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7597/task/7603/stat : 7603 (java) S 7595 7595 30500 0 -1 1077944384 2721 0 0 0 2 0 0 0 20 0 15 0 46463566 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251215416048 140251737602690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251214362336 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251213309184 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 16619 0 0 0 330 3 0 0 20 0 15 0 46463569 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251211204848 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=2.67 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) S 7595 7595 30500 0 -1 1077944384 8664 0 0 0 266 1 0 0 20 0 15 0 46463569 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251210152304 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 7004 0 0 0 81 2 0 0 20 0 15 0 46463569 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 742 0 0 0 6 4 0 0 20 0 15 0 46463573 14316269568 872456 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.12 2.04 1.99 3/215 7697
/proc/meminfo: memFree=26588000/32770624 swapFree=0/289900
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=230.97 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 72608 0 0 0 22978 119 0 0 20 0 15 0 46463563 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 976274 3246 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=221.78 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) R 7595 7595 30500 0 -1 4202560 24130 0 0 0 22123 55 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251741828712 140251375067929 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) S 7595 7595 30500 0 -1 1077944384 1629 0 0 0 20 12 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251694557712 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) S 7595 7595 30500 0 -1 1077944384 1790 0 0 0 19 11 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7601] ppid=7595 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/7597/task/7601/stat : 7601 (java) S 7595 7595 30500 0 -1 1077944384 642 0 0 0 19 11 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251692452112 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7602] ppid=7595 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/7597/task/7602/stat : 7602 (java) S 7595 7595 30500 0 -1 1077944384 1533 0 0 0 19 10 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251691399568 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7603] ppid=7595 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7597/task/7603/stat : 7603 (java) S 7595 7595 30500 0 -1 1077944384 2916 0 0 0 3 7 0 0 20 0 15 0 46463566 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251215416048 140251737602690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251214362336 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251213309184 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=3.74 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 19392 0 0 0 371 3 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251211204848 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=3.03 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) S 7595 7595 30500 0 -1 1077944384 10651 0 0 0 302 1 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251210152304 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 7777 0 0 0 87 2 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 778 0 0 0 7 6 0 0 20 0 15 0 46463573 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 230.97
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.09 2.03 1.99 3/215 7697
/proc/meminfo: memFree=26573472/32770624 swapFree=0/289924
[pid=7595] ppid=7592 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7595/stat : 7595 (xcsp3-exec) S 7592 7595 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 46463553 9740288 345 18446744073709551615 4194304 5098028 140723113930416 140723113928520 139683705344636 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30289920 140723113939361 140723113939565 140723113939565 140723113943019 0
/proc/7595/statm: 2378 345 289 221 0 87 0
[pid=7597] ppid=7595 vsize=13980732 CPUtime=248.73 cores=0,2,4,6
/proc/7597/stat : 7597 (java) S 7595 7595 30500 0 -1 1077944320 73413 0 0 0 24753 120 0 0 20 0 15 0 46463563 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140722326069776 140251737591543 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
/proc/7597/statm: 3495183 976274 3246 1 0 3483476 0
[pid=7597/tid=7598] ppid=7595 vsize=13980732 CPUtime=239.47 cores=0,2,4,6
/proc/7597/task/7598/stat : 7598 (java) R 7595 7595 30500 0 -1 4202560 24654 0 0 0 23892 55 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251741829128 140251377267979 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7599] ppid=7595 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/7597/task/7599/stat : 7599 (java) S 7595 7595 30500 0 -1 1077944384 1629 0 0 0 20 12 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251694557712 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7600] ppid=7595 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/7597/task/7600/stat : 7600 (java) S 7595 7595 30500 0 -1 1077944384 1790 0 0 0 19 11 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251693505168 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7601] ppid=7595 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/7597/task/7601/stat : 7601 (java) S 7595 7595 30500 0 -1 1077944384 642 0 0 0 19 11 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251692452112 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7602] ppid=7595 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/7597/task/7602/stat : 7602 (java) S 7595 7595 30500 0 -1 1077944384 1533 0 0 0 19 10 0 0 20 0 15 0 46463564 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251691399568 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7603] ppid=7595 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7597/task/7603/stat : 7603 (java) S 7595 7595 30500 0 -1 1077944384 2916 0 0 0 3 7 0 0 20 0 15 0 46463566 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251215416048 140251737602690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7604] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7604/stat : 7604 (java) S 7595 7595 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 46463566 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251214362336 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7605] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7605/stat : 7605 (java) S 7595 7595 30500 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 46463567 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251213309184 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7606] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7606/stat : 7606 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251212257744 140251737610139 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7607] ppid=7595 vsize=13980732 CPUtime=3.75 cores=0,2,4,6
/proc/7597/task/7607/stat : 7607 (java) S 7595 7595 30500 0 -1 1077944384 19488 0 0 0 372 3 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251211204848 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7608] ppid=7595 vsize=13980732 CPUtime=3.07 cores=0,2,4,6
/proc/7597/task/7608/stat : 7608 (java) S 7595 7595 30500 0 -1 1077944384 10836 0 0 0 306 1 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251210152304 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7609] ppid=7595 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/7597/task/7609/stat : 7609 (java) S 7595 7595 30500 0 -1 1077944384 7777 0 0 0 87 2 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251209099248 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7610] ppid=7595 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7597/task/7610/stat : 7610 (java) S 7595 7595 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46463569 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251208046944 140251737601749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
[pid=7597/tid=7611] ppid=7595 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/7597/task/7611/stat : 7611 (java) S 7595 7595 30500 0 -1 1077944384 778 0 0 0 8 7 0 0 20 0 15 0 46463573 14316269568 976274 18446744073709551615 4194304 4196468 140722326087232 140251206994992 140251737602690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14962688 140722326090202 140722326090377 140722326090377 140722326093775 0
Current children cumulated CPU time (s) 248.73
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 7597 sig 9
??? kill 7595 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 7595 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1840
# CPU time returned by wait4() is 0.00184
# while last known CPU time is 248.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 248.73
CPU user time (s): 247.53
CPU system time (s): 1.2
CPU usage (%): 103.633
Max. virtual memory (cumulated for all children) (KiB): 13992452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.00184
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23178 second user time and 1.47918 second system time
The end