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-4253123-1500929431/watcher-4253123-1500929431 -o /tmp/evaluation-result-4253123-1500929431/solver-4253123-1500929431 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500914921-3496 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253123-1500929431.xml
pid=6081
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6084
/proc/meminfo: memFree=32114332/32770624 swapFree=5760/122820
[pid=6084] ppid=6081 vsize=24748 CPUtime=0 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1024 0 0 0 0 0 0 0 20 0 1 0 2496460 25341952 823 33554432000 4194304 6986860 140720848285104 140720848281800 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 823 707 682 0 190 0
[startup+0.100156 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6084
/proc/meminfo: memFree=32114332/32770624 swapFree=5760/122820
[pid=6084] ppid=6081 vsize=24748 CPUtime=0.09 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1025 0 0 0 9 0 0 0 20 0 1 0 2496460 25341952 823 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 823 707 682 0 190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24748
[startup+0.200265 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6084
/proc/meminfo: memFree=32114332/32770624 swapFree=5760/122820
[pid=6084] ppid=6081 vsize=24748 CPUtime=0.19 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1025 0 0 0 18 1 0 0 20 0 1 0 2496460 25341952 823 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 823 707 682 0 190 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24748
[startup+0.300245 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6084
/proc/meminfo: memFree=32114332/32770624 swapFree=5760/122820
[pid=6084] ppid=6081 vsize=24748 CPUtime=0.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1025 0 0 0 28 1 0 0 20 0 1 0 2496460 25341952 823 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 823 707 682 0 190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24748
[startup+0.70022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6084
/proc/meminfo: memFree=32114332/32770624 swapFree=5760/122820
[pid=6084] ppid=6081 vsize=24748 CPUtime=0.69 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1025 0 0 0 66 3 0 0 20 0 1 0 2496460 25341952 823 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 823 707 682 0 190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24748
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6085
/proc/meminfo: memFree=32113688/32770624 swapFree=5760/122844
[pid=6084] ppid=6081 vsize=24748 CPUtime=1.48 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1026 0 0 0 144 4 0 0 20 0 1 0 2496460 25341952 823 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 823 707 682 0 190 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24748
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6085
/proc/meminfo: memFree=32113192/32770624 swapFree=5760/122844
[pid=6084] ppid=6081 vsize=24748 CPUtime=3.09 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1130 0 0 0 300 9 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24748
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6085
/proc/meminfo: memFree=32113040/32770624 swapFree=5760/122856
[pid=6084] ppid=6081 vsize=24748 CPUtime=6.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1235 0 0 0 610 19 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24748
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6085
/proc/meminfo: memFree=32112668/32770624 swapFree=5760/122860
[pid=6084] ppid=6081 vsize=24748 CPUtime=12.69 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1337 0 0 0 1231 38 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24748
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6085
/proc/meminfo: memFree=32112792/32770624 swapFree=5760/122880
[pid=6084] ppid=6081 vsize=24748 CPUtime=25.49 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1547 0 0 0 2475 74 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24748
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6085
/proc/meminfo: memFree=32112792/32770624 swapFree=5760/122896
[pid=6084] ppid=6081 vsize=24748 CPUtime=51.1 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1653 0 0 0 4966 144 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 24748
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6086
/proc/meminfo: memFree=32112296/32770624 swapFree=5760/122928
[pid=6084] ppid=6081 vsize=24748 CPUtime=102.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1762 0 0 0 9928 301 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 24748
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6087
/proc/meminfo: memFree=32112704/32770624 swapFree=5760/122972
[pid=6084] ppid=6081 vsize=24748 CPUtime=162.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1871 0 0 0 15742 487 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24748
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6088
/proc/meminfo: memFree=32112740/32770624 swapFree=5760/123008
[pid=6084] ppid=6081 vsize=24748 CPUtime=222.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 1980 0 0 0 21568 661 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24748
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6090
/proc/meminfo: memFree=32113076/32770624 swapFree=5760/123052
[pid=6084] ppid=6081 vsize=24748 CPUtime=282.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2090 0 0 0 27392 837 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24748
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6091
/proc/meminfo: memFree=32112852/32770624 swapFree=5760/123092
[pid=6084] ppid=6081 vsize=24748 CPUtime=342.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2199 0 0 0 33219 1010 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24748
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6092
/proc/meminfo: memFree=32112596/32770624 swapFree=5760/123132
[pid=6084] ppid=6081 vsize=24748 CPUtime=402.3 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2308 0 0 0 39043 1187 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24748
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6094
/proc/meminfo: memFree=32112412/32770624 swapFree=5760/123156
[pid=6084] ppid=6081 vsize=24748 CPUtime=462.29 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2414 0 0 0 44873 1356 0 0 20 0 1 0 2496460 25341952 873 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 873 716 682 0 190 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 24748
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6095
/proc/meminfo: memFree=32111840/32770624 swapFree=5760/123196
[pid=6084] ppid=6081 vsize=24748 CPUtime=522.3 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2520 0 0 0 50702 1528 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24748
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 6103
/proc/meminfo: memFree=32110320/32770624 swapFree=5760/123232
[pid=6084] ppid=6081 vsize=24748 CPUtime=582.3 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2624 0 0 0 56533 1697 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24748
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6084 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 6103
/proc/meminfo: memFree=32110320/32770624 swapFree=5760/123236
[pid=6084] ppid=6081 vsize=24748 CPUtime=588.8 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2624 0 0 0 57165 1715 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 588.8
Current children cumulated vsize (KiB) 24748
[startup+601.6 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 6104
/proc/meminfo: memFree=32110320/32770624 swapFree=5760/123252
[pid=6084] ppid=6081 vsize=24748 CPUtime=601.59 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 58411 1748 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280456 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 601.59
Current children cumulated vsize (KiB) 24748
[startup+614.4 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6104
/proc/meminfo: memFree=32110508/32770624 swapFree=5760/123268
[pid=6084] ppid=6081 vsize=24748 CPUtime=614.4 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 59657 1783 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 614.4
Current children cumulated vsize (KiB) 24748
[startup+617.6 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6104
/proc/meminfo: memFree=32110508/32770624 swapFree=5760/123268
[pid=6084] ppid=6081 vsize=24748 CPUtime=617.6 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 59968 1792 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 617.6
Current children cumulated vsize (KiB) 24748
[startup+620.8 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6104
/proc/meminfo: memFree=32110508/32770624 swapFree=5760/123268
[pid=6084] ppid=6081 vsize=24748 CPUtime=620.8 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 60280 1800 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 620.8
Current children cumulated vsize (KiB) 24748
[startup+622.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6104
/proc/meminfo: memFree=32110508/32770624 swapFree=5760/123268
[pid=6084] ppid=6081 vsize=24748 CPUtime=622.4 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 60437 1803 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 622.4
Current children cumulated vsize (KiB) 24748
[startup+623.2 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6104
/proc/meminfo: memFree=32110508/32770624 swapFree=5760/123268
[pid=6084] ppid=6081 vsize=24748 CPUtime=623.2 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 60515 1805 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 623.2
Current children cumulated vsize (KiB) 24748
[startup+623.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6104
/proc/meminfo: memFree=32110508/32770624 swapFree=5760/123268
[pid=6084] ppid=6081 vsize=24748 CPUtime=623.4 cores=1,3,5,7
/proc/6084/stat : 6084 (naxos-xcsp3) R 6081 6084 3464 0 -1 4202496 2728 0 0 0 60535 1805 0 0 20 0 1 0 2496460 25341952 874 33554432000 4194304 6986860 140720848285104 140720848280632 140201252454780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 15077376 140720848291086 140720848291167 140720848291167 140720848293866 0
/proc/6084/statm: 6187 874 716 682 0 190 0
Current children cumulated CPU time (s) 623.4
Current children cumulated vsize (KiB) 24748
Child status: 0
Real time (s): 623.44
CPU time (s): 623.446
CPU user time (s): 605.388
CPU system time (s): 18.0582
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 24748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 605.388
system time used= 18.0582
maximum resident set size= 3516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2755
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= 7
involuntary context switches= 161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28998 second user time and 2.20364 second system time
The end