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 (15239 MiB free)
memory of node 1: 16384 MiB (15131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269185-1502817556/watcher-4269185-1502817556 -o /tmp/evaluation-result-4269185-1502817556/solver-4269185-1502817556 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 793984093 HOME/instance-4269185-1502817556.xml
running on 4 cores: 0,2,4,6
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
solver pid=11011, runsolver pid=11008
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 1.60 1.55 1.51 2/198 11012
/proc/meminfo: memFree=31100236/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.2092 s]*
/proc/loadavg: 1.60 1.55 1.51 4/213 11027
/proc/meminfo: memFree=31087960/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
[pid=11013] ppid=11011 vsize=13974352 memory=23500 CPUtime=0.07 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 11586 0 -1 1077944320 4809 0 0 0 6 1 0 0 20 0 15 0 70096282 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 140724428995296 139726647815927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
/proc/11013/statm: 3493588 5875 2717 1 0 3482964 0
[pid=11013/tid=11014] ppid=11011 vsize=13974352 memory=-6153504281267117510 CPUtime=0.05 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 11586 0 -1 4202560 2973 0 0 0 5 0 0 0 20 0 15 0 70096283 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726652045680 139726647837853 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11015] ppid=11011 vsize=13974352 memory=6055707664168806735 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726567229968 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11016] ppid=11011 vsize=13974352 memory=140195772262016 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13974352 memory=140195772262016 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70096285 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70096285 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13974352 memory=140195772262016 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70096285 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 11586 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726122203376 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726121150832 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096292 14309736448 5875 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24880 KiB
[startup+0.310284 s]*
/proc/loadavg: 1.60 1.55 1.51 5/213 11027
/proc/meminfo: memFree=31074328/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
[pid=11013] ppid=11011 vsize=13974352 memory=37296 CPUtime=0.24 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 11586 0 -1 1077944320 8418 0 0 0 22 2 0 0 20 0 15 0 70096282 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 140724428995296 139726647815927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
/proc/11013/statm: 3493588 9324 2974 1 0 3482964 0
[pid=11013/tid=11014] ppid=11011 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 11586 0 -1 4202560 5672 0 0 0 14 2 0 0 20 0 15 0 70096283 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726652043696 139726631896414 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11015] ppid=11011 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726567229968 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11016] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70096283 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70096285 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70096285 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70096285 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 11586 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 15 0 70096288 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726122203376 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 11586 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 70096288 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726121150832 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 70096288 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096292 14309736448 9324 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38676 KiB
[startup+0.709037 s]
/proc/loadavg: 1.60 1.55 1.51 6/213 11027
/proc/meminfo: memFree=31063240/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
[pid=11013] ppid=11011 vsize=13980732 memory=63996 CPUtime=1.26 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 11586 0 -1 1077944320 13262 0 0 0 121 5 0 0 20 0 15 0 70096282 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 140724428995296 139726647815927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
/proc/11013/statm: 3495183 15999 3181 1 0 3483476 0
[pid=11013/tid=11014] ppid=11011 vsize=13980732 memory=2209 CPUtime=0.54 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 11586 0 -1 4202560 8098 0 0 0 51 3 0 0 20 0 15 0 70096283 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726652054464 139726627528715 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11015] ppid=11011 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726567229968 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11016] ppid=11011 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13980732 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13980732 memory=8972 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13980732 memory=1440 CPUtime=0.21 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) R 11011 11011 11586 0 -1 4202560 1200 0 0 0 21 0 0 0 20 0 15 0 70096288 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726122189584 139726639770093 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13980732 memory=1204 CPUtime=0.22 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) R 11011 11011 11586 0 -1 4202560 1129 0 0 0 22 0 0 0 20 0 15 0 70096288 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726121142480 139726631157324 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13980732 memory=15880 CPUtime=0.26 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 1528 0 0 0 26 0 0 0 20 0 15 0 70096288 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13980732 memory=16240 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13980732 memory=6153431502485415786 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096292 14316269568 15999 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65376 KiB
[startup+1.50086 s]
/proc/loadavg: 1.60 1.55 1.51 5/213 11027
/proc/meminfo: memFree=31041836/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
[pid=11013] ppid=11011 vsize=13980732 memory=77552 CPUtime=3.07 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 11586 0 -1 1077944320 20003 0 0 0 301 6 0 0 20 0 15 0 70096282 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 140724428995296 139726647815927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
/proc/11013/statm: 3495183 19388 3192 1 0 3483476 0
[pid=11013/tid=11014] ppid=11011 vsize=13980732 memory=2241 CPUtime=1.34 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 11586 0 -1 4202560 8499 0 0 0 130 4 0 0 20 0 15 0 70096283 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726652052624 139726245503753 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11015] ppid=11011 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726567229968 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11016] ppid=11011 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13980732 memory=39176 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13980732 memory=75440 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70096283 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13980732 memory=280391303379232 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13980732 memory=-1807685287725067907 CPUtime=0.81 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 11586 0 -1 1077944384 5474 0 0 0 80 1 0 0 20 0 15 0 70096288 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726122203376 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13980732 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 11586 0 -1 1077944384 3089 0 0 0 60 0 0 0 20 0 15 0 70096288 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726121150832 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13980732 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 1625 0 0 0 30 0 0 0 20 0 15 0 70096288 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 70096292 14316269568 19388 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
################
# More data... #
################
[pid=11013/tid=11016] ppid=11011 vsize=13980732 memory=142952 CPUtime=0.51 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1875 0 0 0 48 3 0 0 20 0 15 0 70096283 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13980732 memory=1296 CPUtime=0.52 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 916 0 0 0 50 2 0 0 20 0 15 0 70096283 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13980732 memory=1728 CPUtime=0.52 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 1124 0 0 0 48 4 0 0 20 0 15 0 70096283 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13980732 memory=796 CPUtime=0.39 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 2282 0 0 0 36 3 0 0 20 0 15 0 70096285 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13980732 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13980732 memory=142952 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13980732 memory=-8774313645642428999 CPUtime=1.2 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 11586 0 -1 1077944384 10386 0 0 0 119 1 0 0 20 0 15 0 70096288 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726122203376 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13980732 memory=438792 CPUtime=0.96 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 11586 0 -1 1077944384 8992 0 0 0 95 1 0 0 20 0 15 0 70096288 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726121150832 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13980732 memory=3908 CPUtime=0.37 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 5678 0 0 0 36 1 0 0 20 0 15 0 70096288 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13980732 memory=1296 CPUtime=0.21 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 732 0 0 0 8 13 0 0 20 0 15 0 70096292 14316269568 35738 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
Current children cumulated CPU time: 707.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 144332 KiB
[startup+710.401 s]
/proc/loadavg: 1.49 1.39 1.45 3/211 11216
/proc/meminfo: memFree=30981048/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
[pid=11013] ppid=11011 vsize=13980732 memory=142440 CPUtime=714.35 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 11586 0 -1 1077944320 50136 0 0 0 71400 35 0 0 20 0 15 0 70096282 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 140724428995296 139726647815927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
/proc/11013/statm: 3495183 35610 3225 1 0 3483476 0
[pid=11013/tid=11014] ppid=11011 vsize=13980732 memory=142440 CPUtime=709.04 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 11586 0 -1 4202560 15294 0 0 0 70896 8 0 0 20 0 15 0 70096283 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726652054944 139726245357692 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11015] ppid=11011 vsize=13980732 memory=1380 CPUtime=0.52 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 11586 0 -1 1077944384 1508 0 0 0 49 3 0 0 20 0 15 0 70096283 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726567229968 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11016] ppid=11011 vsize=13980732 memory=142952 CPUtime=0.51 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1876 0 0 0 48 3 0 0 20 0 15 0 70096283 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13980732 memory=4120 CPUtime=0.53 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 916 0 0 0 51 2 0 0 20 0 15 0 70096283 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13980732 memory=39188 CPUtime=0.52 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 1124 0 0 0 48 4 0 0 20 0 15 0 70096283 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13980732 memory=2384 CPUtime=0.39 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 2282 0 0 0 36 3 0 0 20 0 15 0 70096285 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13980732 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13980732 memory=1236 CPUtime=1.2 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 11586 0 -1 1077944384 10386 0 0 0 119 1 0 0 20 0 15 0 70096288 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726122203376 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13980732 memory=2760 CPUtime=0.96 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 11586 0 -1 1077944384 8992 0 0 0 95 1 0 0 20 0 15 0 70096288 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726121150832 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13980732 memory=2768 CPUtime=0.37 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 5678 0 0 0 36 1 0 0 20 0 15 0 70096288 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13980732 memory=142440 CPUtime=0.22 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 732 0 0 0 9 13 0 0 20 0 15 0 70096292 14316269568 35610 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
Current children cumulated CPU time: 714.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 143820 KiB
[startup+716.801 s]
/proc/loadavg: 1.45 1.39 1.45 3/212 11218
/proc/meminfo: memFree=30981460/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
[pid=11013] ppid=11011 vsize=13980732 memory=141924 CPUtime=720.75 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 11586 0 -1 1077944320 50137 0 0 0 72040 35 0 0 20 0 15 0 70096282 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 140724428995296 139726647815927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
/proc/11013/statm: 3495183 35481 3225 1 0 3483476 0
[pid=11013/tid=11014] ppid=11011 vsize=13980732 memory=4420 CPUtime=715.44 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 11586 0 -1 4202560 15295 0 0 0 71536 8 0 0 20 0 15 0 70096283 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726652054976 139726245357750 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11015] ppid=11011 vsize=13980732 memory=796 CPUtime=0.53 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 11586 0 -1 1077944384 1508 0 0 0 50 3 0 0 20 0 15 0 70096283 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726567229968 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11016] ppid=11011 vsize=13980732 memory=9992 CPUtime=0.51 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 11586 0 -1 1077944384 1876 0 0 0 48 3 0 0 20 0 15 0 70096283 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726566177424 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11017] ppid=11011 vsize=13980732 memory=280391303775600 CPUtime=0.53 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 11586 0 -1 1077944384 916 0 0 0 51 2 0 0 20 0 15 0 70096283 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726565124368 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11018] ppid=11011 vsize=13980732 memory=7517752895164281443 CPUtime=0.52 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 11586 0 -1 1077944384 1124 0 0 0 48 4 0 0 20 0 15 0 70096283 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726564071824 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11019] ppid=11011 vsize=13980732 memory=4120 CPUtime=0.39 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 11586 0 -1 1077944384 2282 0 0 0 36 3 0 0 20 0 15 0 70096285 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726126414576 139726647827074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11020] ppid=11011 vsize=13980732 memory=39188 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 11586 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726125360800 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11021] ppid=11011 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 70096285 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726124307696 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11022] ppid=11011 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726123256272 139726647834523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11023] ppid=11011 vsize=13980732 memory=1996 CPUtime=1.2 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 11586 0 -1 1077944384 10386 0 0 0 119 1 0 0 20 0 15 0 70096288 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726122203376 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11024] ppid=11011 vsize=13980732 memory=142952 CPUtime=0.96 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 11586 0 -1 1077944384 8992 0 0 0 95 1 0 0 20 0 15 0 70096288 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726121150832 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11025] ppid=11011 vsize=13980732 memory=142952 CPUtime=0.37 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 11586 0 -1 1077944384 5678 0 0 0 36 1 0 0 20 0 15 0 70096288 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726120097776 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11026] ppid=11011 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70096288 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726119045472 139726647826133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
[pid=11013/tid=11027] ppid=11011 vsize=13980732 memory=1728 CPUtime=0.22 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 11586 0 -1 1077944384 732 0 0 0 9 13 0 0 20 0 15 0 70096292 14316269568 35481 18446744073709551615 4194304 4196468 140724429012752 139726117993520 139726647827074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29532160 140724429017521 140724429017697 140724429017697 140724429021135 0
Current children cumulated CPU time: 720.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 143304 KiB
[startup+720 s]*
/proc/loadavg: 1.49 1.40 1.45 2/199 11218
/proc/meminfo: memFree=31084004/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+720.8 s]
/proc/loadavg: 1.49 1.40 1.45 2/199 11218
/proc/meminfo: memFree=31084004/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+721.2 s]
/proc/loadavg: 1.49 1.40 1.45 2/199 11218
/proc/meminfo: memFree=31082420/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+721.4 s]
/proc/loadavg: 1.49 1.40 1.45 2/199 11218
/proc/meminfo: memFree=31082420/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+721.5 s]
/proc/loadavg: 1.49 1.40 1.45 2/199 11218
/proc/meminfo: memFree=31082420/32770624 swapFree=67108860/67108860
[pid=11011] ppid=11008 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 70096272 9740288 345 18446744073709551615 4194304 5098028 140730171769616 140730171767720 140004634931836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 25550848 140730171777401 140730171777605 140730171777605 140730171781099 0
/proc/11011/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 721.509
CPU time (s): 723.493
CPU user time (s): 723.133
CPU system time (s): 0.360316
CPU usage (%): 100.275
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 199324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 723.133
system time used= 0.360316
maximum resident set size= 198972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27858
involuntary context switches= 1161
# summary of solver processes directly reported to runsolver:
# pid: 11011
# total CPU time (s): 723.493
# total CPU user time (s): 723.133
# total CPU system time (s): 0.360316
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33202 second user time and 6.53151 second system time
The end