runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15285 MiB free)
memory of node 1: 16384 MiB (15572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282162-1503102750/watcher-4282162-1503102750 -o /tmp/evaluation-result-4282162-1503102750/solver-4282162-1503102750 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 920495595 HOME/instance-4282162-1503102750.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19015, runsolver pid=19012
[startup+0.10016 s]*
/proc/loadavg: 1.79 1.71 1.77 2/205 19025
/proc/meminfo: memFree=31587192/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13840740 memory=21096 CPUtime=0.05 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 4701 0 0 0 4 1 0 0 20 0 13 0 8682108 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3460185 5274 2324 1 0 3449682 0
[pid=19017/tid=19018] ppid=19015 vsize=13840740 memory=-8713483618642589025 CPUtime=0.03 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 3097 0 0 0 3 0 0 0 20 0 13 0 8682108 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140376793479464 140376789259421 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 8682109 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13840740 memory=140108148463232 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 8682109 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 8682109 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 8682109 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13840740 memory=140108148463232 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 8682110 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 8682111 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 8682111 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 8682114 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 13 0 8682114 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375701305792 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) R 19015 19015 18108 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 13 0 8682114 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375700247632 140376789258842 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13840740 memory=140108148463232 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) R 19015 19015 18108 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 13 0 8682114 14172917760 5274 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376768676144 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 22472 KiB
[startup+0.210092 s]*
/proc/loadavg: 1.79 1.71 1.77 4/211 19031
/proc/meminfo: memFree=31581280/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13974352 memory=29024 CPUtime=0.15 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 5665 0 0 0 14 1 0 0 20 0 15 0 8682108 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3493588 7256 2891 1 0 3482964 0
[pid=19017/tid=19018] ppid=19015 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 3535 0 0 0 9 1 0 0 20 0 15 0 8682108 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140376793468496 140376781474622 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13974352 memory=12504 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8682109 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13974352 memory=3688651112173229728 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13974352 memory=140108148463232 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8682110 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8682111 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8682111 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 8682114 14309736448 7256 18446744073709551615 4194304 4196468 140728246437040 140375701306096 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) R 19015 19015 18108 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 8682114 14309736448 7322 18446744073709551615 4194304 4196468 140728246437040 140375700253552 140376789248642 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13974352 memory=140108148463232 CPUtime=0.02 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) R 19015 19015 18108 0 -1 4202560 397 0 0 0 2 0 0 0 20 0 15 0 8682114 14309736448 7322 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376767894754 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14309736448 7322 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13974352 memory=140108148463232 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682119 14309736448 7322 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30400 KiB
[startup+0.319705 s]*
/proc/loadavg: 1.79 1.71 1.77 3/211 19031
/proc/meminfo: memFree=31568808/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13978608 memory=40464 CPUtime=0.35 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 9749 0 0 0 32 3 0 0 20 0 15 0 8682108 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3494652 10116 3063 1 0 3482964 0
[pid=19017/tid=19018] ppid=19015 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 6966 0 0 0 18 2 0 0 20 0 15 0 8682108 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140376793448400 140376789259421 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8682109 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8682110 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8682111 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8682111 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 15 0 8682114 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375701306096 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) S 19015 19015 18108 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 15 0 8682114 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375700253552 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) S 19015 19015 18108 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 15 0 8682114 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682119 14314094592 10116 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41840 KiB
[startup+0.700833 s]
/proc/loadavg: 1.79 1.71 1.77 4/211 19031
/proc/meminfo: memFree=31556468/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13980732 memory=70656 CPUtime=1.33 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 15796 0 0 0 128 5 0 0 20 0 15 0 8682108 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3495183 17664 3180 1 0 3483476 0
[pid=19017/tid=19018] ppid=19015 vsize=13980732 memory=3264 CPUtime=0.57 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 8478 0 0 0 54 3 0 0 20 0 15 0 8682108 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140376793476656 140376392474361 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8682109 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13980732 memory=190888 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13980732 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682109 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13980732 memory=4639928526821283938 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8682110 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13980732 memory=7589810501984479339 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13980732 memory=280216014624704 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13980732 memory=300615503599370548 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13980732 memory=13573678025672028 CPUtime=0.21 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) R 19015 19015 18108 0 -1 4202560 1663 0 0 0 21 0 0 0 20 0 15 0 8682114 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375701291560 140376774849312 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) R 19015 19015 18108 0 -1 4202560 2612 0 0 0 24 0 0 0 20 0 15 0 8682114 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375700237928 140376770782923 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) S 19015 19015 18108 0 -1 1077944384 1736 0 0 0 27 0 0 0 20 0 15 0 8682114 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8682119 14316269568 17664 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72032 KiB
[startup+1.50085 s]
/proc/loadavg: 1.79 1.71 1.77 5/211 19031
/proc/meminfo: memFree=31533216/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13980732 memory=78584 CPUtime=3.64 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 22485 0 0 0 358 6 0 0 20 0 15 0 8682108 14316269568 19646 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3495183 19646 3198 1 0 3483476 0
[pid=19017/tid=19018] ppid=19015 vsize=13980732 memory=33 CPUtime=1.37 cores=1,3,5,7
################
# More data... #
################
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13980732 memory=1376 CPUtime=1.37 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 9899 0 0 0 136 1 0 0 20 0 15 0 8682114 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375701306096 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13980732 memory=1376 CPUtime=1.45 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) S 19015 19015 18108 0 -1 1077944384 11862 0 0 0 144 1 0 0 20 0 15 0 8682114 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375700253552 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13980732 memory=6261248 CPUtime=0.41 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) S 19015 19015 18108 0 -1 1077944384 6918 0 0 0 40 1 0 0 20 0 15 0 8682114 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13980732 memory=952 CPUtime=0.55 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1380 0 0 0 21 34 0 0 20 0 15 0 8682119 14316269568 1565312 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 2457.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6262624 KiB
[startup+2502.3 s]
/proc/loadavg: 1.64 1.64 1.65 3/214 19351
/proc/meminfo: memFree=25301048/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13980732 memory=6262784 CPUtime=2517.25 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 315968 0 0 0 250428 1297 0 0 20 0 15 0 8682108 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3495183 1565696 3253 1 0 3483476 0
[pid=19017/tid=19018] ppid=19015 vsize=13980732 memory=6262784 CPUtime=2496.33 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 186743 0 0 0 248444 1189 0 0 20 0 15 0 8682108 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376793477280 140376395972827 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.85 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 23303 0 0 0 376 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13980732 memory=1376 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 18561 0 0 0 378 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 24969 0 0 0 378 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 16561 0 0 0 377 10 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13980732 memory=6262784 CPUtime=1.56 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 14360 0 0 0 116 40 0 0 20 0 15 0 8682110 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13980732 memory=6262784 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13980732 memory=4128 CPUtime=1.37 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 9904 0 0 0 136 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375701306096 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13980732 memory=6262784 CPUtime=1.45 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) S 19015 19015 18108 0 -1 1077944384 11867 0 0 0 144 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375700253552 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13980732 memory=1376 CPUtime=0.41 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) S 19015 19015 18108 0 -1 1077944384 6922 0 0 0 40 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13980732 memory=10936 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13980732 memory=1700 CPUtime=0.57 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1401 0 0 0 22 35 0 0 20 0 15 0 8682119 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 2517.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.11 s]
/proc/loadavg: 1.64 1.64 1.65 3/214 19351
/proc/meminfo: memFree=25301056/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13980732 memory=6262784 CPUtime=2520.06 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 315998 0 0 0 250709 1297 0 0 20 0 15 0 8682108 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3495183 1565696 3253 1 0 3483476 0
[pid=19017/tid=19018] ppid=19015 vsize=13980732 memory=6262784 CPUtime=2499.14 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 186771 0 0 0 248725 1189 0 0 20 0 15 0 8682108 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376793477280 140376396213903 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13980732 memory=1376 CPUtime=3.85 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 23303 0 0 0 376 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 18561 0 0 0 378 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13980732 memory=15876 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 24969 0 0 0 378 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 16561 0 0 0 377 10 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13980732 memory=1376 CPUtime=1.56 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 14360 0 0 0 116 40 0 0 20 0 15 0 8682110 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13980732 memory=10936 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13980732 memory=6262784 CPUtime=1.37 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 9904 0 0 0 136 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375701306096 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13980732 memory=6262784 CPUtime=1.45 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) S 19015 19015 18108 0 -1 1077944384 11867 0 0 0 144 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375700253552 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13980732 memory=1376 CPUtime=0.41 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) S 19015 19015 18108 0 -1 1077944384 6922 0 0 0 40 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13980732 memory=6262784 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13980732 memory=5832 CPUtime=0.57 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1403 0 0 0 22 35 0 0 20 0 15 0 8682119 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.12 s]
# the end of solver process 19015 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00094 s, system=0.00094 s
[startup+2505.14 s]
# the end of solver process 19017 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.11 s, system=12.9983 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.11 s]
/proc/loadavg: 1.64 1.64 1.65 3/214 19351
/proc/meminfo: memFree=25301056/32770624 swapFree=67108860/67108860
[pid=19015] ppid=19012 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19015/stat : 19015 (xcsp3-exec) S 19012 19015 18108 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 8682103 9740288 344 18446744073709551615 4194304 5098028 140732842396464 140732842394568 139885672100476 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 40751104 140732842398074 140732842398278 140732842398278 140732842401771 0
/proc/19015/statm: 2378 344 289 221 0 87 0
[pid=19017] ppid=19015 vsize=13980732 memory=6262784 CPUtime=2520.06 cores=1,3,5,7
/proc/19017/stat : 19017 (java) S 19015 19015 18108 0 -1 1077944320 315998 0 0 0 250709 1297 0 0 20 0 15 0 8682108 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140728246419584 140376789237495 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
/proc/19017/statm: 3495183 1565696 3253 1 0 3483476 0
[pid=19017/tid=19018] ppid=19015 vsize=13980732 memory=6262784 CPUtime=2499.14 cores=1,3,5,7
/proc/19017/task/19018/stat : 19018 (java) R 19015 19015 18108 0 -1 4202560 186771 0 0 0 248725 1189 0 0 20 0 15 0 8682108 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376793477280 140376396213903 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19019] ppid=19015 vsize=13980732 memory=1376 CPUtime=3.85 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (java) S 19015 19015 18108 0 -1 1077944384 23303 0 0 0 376 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376723672080 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19020] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19020/stat : 19020 (java) S 19015 19015 18108 0 -1 1077944384 18561 0 0 0 378 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376722619536 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19021] ppid=19015 vsize=13980732 memory=15876 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19021/stat : 19021 (java) S 19015 19015 18108 0 -1 1077944384 24969 0 0 0 378 9 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376721566480 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19022] ppid=19015 vsize=13980732 memory=6262784 CPUtime=3.87 cores=1,3,5,7
/proc/19017/task/19022/stat : 19022 (java) S 19015 19015 18108 0 -1 1077944384 16561 0 0 0 377 10 0 0 20 0 15 0 8682109 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140376720513936 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19023] ppid=19015 vsize=13980732 memory=1376 CPUtime=1.56 cores=1,3,5,7
/proc/19017/task/19023/stat : 19023 (java) S 19015 19015 18108 0 -1 1077944384 14360 0 0 0 116 40 0 0 20 0 15 0 8682110 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375974365424 140376789248642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19024] ppid=19015 vsize=13980732 memory=10936 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19024/stat : 19024 (java) S 19015 19015 18108 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375704462496 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19025] ppid=19015 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19025/stat : 19025 (java) S 19015 19015 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8682111 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375703409392 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19026] ppid=19015 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19026/stat : 19026 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375702357968 140376789256091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19027] ppid=19015 vsize=13980732 memory=6262784 CPUtime=1.37 cores=1,3,5,7
/proc/19017/task/19027/stat : 19027 (java) S 19015 19015 18108 0 -1 1077944384 9904 0 0 0 136 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375701306096 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19028] ppid=19015 vsize=13980732 memory=6262784 CPUtime=1.45 cores=1,3,5,7
/proc/19017/task/19028/stat : 19028 (java) S 19015 19015 18108 0 -1 1077944384 11867 0 0 0 144 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375700253552 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19029] ppid=19015 vsize=13980732 memory=1376 CPUtime=0.41 cores=1,3,5,7
/proc/19017/task/19029/stat : 19029 (java) S 19015 19015 18108 0 -1 1077944384 6922 0 0 0 40 1 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375699200496 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19030] ppid=19015 vsize=13980732 memory=6262784 CPUtime=0 cores=1,3,5,7
/proc/19017/task/19030/stat : 19030 (java) S 19015 19015 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8682114 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375698148192 140376789247701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
[pid=19017/tid=19031] ppid=19015 vsize=13980732 memory=5832 CPUtime=0.57 cores=1,3,5,7
/proc/19017/task/19031/stat : 19031 (java) S 19015 19015 18108 0 -1 1077944384 1403 0 0 0 22 35 0 0 20 0 15 0 8682119 14316269568 1565696 18446744073709551615 4194304 4196468 140728246437040 140375697095216 140376789248642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 38322176 140728246440370 140728246440546 140728246440546 140728246443983 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264160 KiB
Child status: 143
Real time (s): 2505.14
CPU time (s): 2520.1
CPU user time (s): 2507.11
CPU system time (s): 12.9983
CPU usage (%): 100.597
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 8251192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.11
system time used= 12.9983
maximum resident set size= 8249816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75075
involuntary context switches= 2221
# summary of solver processes directly reported to runsolver:
# pid: 19015,19017
# total CPU time (s): 2520.1
# total CPU user time (s): 2507.11
# total CPU system time (s): 12.9983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8108 second user time and 18.6796 second system time
The end