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 (15216 MiB free)
memory of node 1: 16384 MiB (14779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270113-1502622626/watcher-4270113-1502622626 -o /tmp/evaluation-result-4270113-1502622626/solver-4270113-1502622626 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1261245511 HOME/instance-4270113-1502622626.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1124, runsolver pid=1121
[startup+0.10017 s]*
/proc/loadavg: 2.00 2.01 1.95 3/202 1131
/proc/meminfo: memFree=30711620/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13358712 memory=14236 CPUtime=0 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 3353 0 0 0 0 0 0 0 20 0 6 0 64455982 13679321088 3559 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3339678 3559 1891 1 0 3329175 0
[pid=1126/tid=1127] ppid=1124 vsize=13358712 memory=7022364594140610616 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 2175 0 0 0 1 0 0 0 20 0 6 0 64455982 13679321088 4137 18446744073709551615 4194304 4196468 140723378668240 139657277592144 139657273377949 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13358712 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64455983 13679321088 4137 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13358712 memory=140452494632339 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64455983 13679321088 4137 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64455983 13679321088 4137 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64455983 13679321088 4137 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15612 KiB
[startup+0.210212 s]*
/proc/loadavg: 2.00 2.01 1.95 4/211 1140
/proc/meminfo: memFree=30700152/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13974352 memory=26836 CPUtime=0.09 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 5115 0 0 0 8 1 0 0 20 0 15 0 64455982 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3493588 6709 2754 1 0 3482964 0
[pid=1126/tid=1127] ppid=1124 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 3286 0 0 0 7 0 0 0 20 0 15 0 64455982 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139657277587632 139657257436510 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13974352 memory=140452494632339 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13974352 memory=140452494608000 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455984 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64455985 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64455985 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1124 1124 17093 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 64455987 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656747714672 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656746661872 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13974352 memory=140452494608000 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 64455987 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13974352 memory=140452494608000 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455992 14309736448 6709 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28212 KiB
[startup+0.310432 s]*
/proc/loadavg: 2.00 2.01 1.95 4/211 1140
/proc/meminfo: memFree=30687696/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13974352 memory=37476 CPUtime=0.28 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 8914 0 0 0 26 2 0 0 20 0 15 0 64455982 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3493588 9369 2978 1 0 3482964 0
[pid=1126/tid=1127] ppid=1124 vsize=13974352 memory=1398720917958146503 CPUtime=0.17 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 6107 0 0 0 16 1 0 0 20 0 15 0 64455982 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139657277582336 139657273377949 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455984 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64455985 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64455985 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) R 1124 1124 17093 0 -1 4202560 472 0 0 0 1 0 0 0 20 0 15 0 64455987 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656747714672 139657273367958 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1124 1124 17093 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 15 0 64455987 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656746661872 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13974352 memory=140452494608000 CPUtime=0.06 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 757 0 0 0 6 0 0 0 20 0 15 0 64455987 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13974352 memory=140452494608000 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455992 14309736448 9369 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38852 KiB
[startup+0.70098 s]
/proc/loadavg: 2.00 2.01 1.95 5/211 1140
/proc/meminfo: memFree=30676144/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13980732 memory=64708 CPUtime=1.24 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 13959 0 0 0 119 5 0 0 20 0 15 0 64455982 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3495183 16177 3176 1 0 3483476 0
[pid=1126/tid=1127] ppid=1124 vsize=13980732 memory=4294968417 CPUtime=0.55 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 8026 0 0 0 52 3 0 0 20 0 15 0 64455982 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139657277593360 139657254199010 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13980732 memory=102 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13980732 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64455984 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13980732 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13980732 memory=10960 CPUtime=0.22 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) R 1124 1124 17093 0 -1 4202560 1599 0 0 0 22 0 0 0 20 0 15 0 64455987 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656747696376 139657259420664 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13980732 memory=15876 CPUtime=0.21 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) R 1124 1124 17093 0 -1 4202560 1806 0 0 0 21 0 0 0 20 0 15 0 64455987 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656746645080 139657257752702 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13980732 memory=4028 CPUtime=0.22 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 1264 0 0 0 22 0 0 0 20 0 15 0 64455987 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13980732 memory=8865 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455992 14316269568 16177 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66084 KiB
[startup+1.50081 s]
/proc/loadavg: 2.00 2.01 1.95 5/211 1140
/proc/meminfo: memFree=30620008/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13980732 memory=120252 CPUtime=3.67 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 39605 0 0 0 359 8 0 0 20 0 15 0 64455982 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3495183 30063 3185 1 0 3483476 0
[pid=1126/tid=1127] ppid=1124 vsize=13980732 memory=305 CPUtime=1.35 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 8155 0 0 0 132 3 0 0 20 0 15 0 64455982 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139657277591920 139656917565986 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13980732 memory=280904685603520 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64455983 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 64455984 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 30063 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13980732 memory=213936 CPUtime=97.2 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 54180 0 0 0 9700 20 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3495183 53484 3221 1 0 3483476 0
[pid=1126/tid=1127] ppid=1124 vsize=13980732 memory=1444 CPUtime=92.87 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 11700 0 0 0 9282 5 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657277595696 139656917485059 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13980732 memory=1228 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 920 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13980732 memory=12200 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1247 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13980732 memory=1992 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 1272 0 0 0 22 1 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13980732 memory=1204 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 538 0 0 0 21 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13980732 memory=1000 CPUtime=0.22 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 1316 0 0 0 21 1 0 0 20 0 15 0 64455984 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13980732 memory=10960 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13980732 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13980732 memory=4048 CPUtime=1.4 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1124 1124 17093 0 -1 1077944384 12474 0 0 0 138 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656747714672 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13980732 memory=20536 CPUtime=1.36 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1124 1124 17093 0 -1 1077944384 19284 0 0 0 134 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656746661872 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13980732 memory=1156 CPUtime=0.3 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 3650 0 0 0 30 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13980732 memory=2920 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 430 0 0 0 2 2 0 0 20 0 15 0 64455992 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 97.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215312 KiB
[startup+94.0007 s]*
/proc/loadavg: 1.84 1.97 1.95 3/211 1299
/proc/meminfo: memFree=31180092/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13980732 memory=213936 CPUtime=97.61 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 54183 0 0 0 9741 20 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3495183 53484 3221 1 0 3483476 0
[pid=1126/tid=1127] ppid=1124 vsize=13980732 memory=1398720917958146503 CPUtime=93.28 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 11701 0 0 0 9323 5 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657277595296 139657254762294 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13980732 memory=4126316290023845779 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 920 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13980732 memory=932 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1248 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13980732 memory=1624 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 1272 0 0 0 22 1 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13980732 memory=2160 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 539 0 0 0 21 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13980732 memory=844 CPUtime=0.22 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 1316 0 0 0 21 1 0 0 20 0 15 0 64455984 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13980732 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13980732 memory=2752 CPUtime=1.4 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1124 1124 17093 0 -1 1077944384 12474 0 0 0 138 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656747714672 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13980732 memory=4068 CPUtime=1.36 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1124 1124 17093 0 -1 1077944384 19284 0 0 0 134 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656746661872 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13980732 memory=12200 CPUtime=0.3 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 3650 0 0 0 30 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13980732 memory=15876 CPUtime=0.04 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 430 0 0 0 2 2 0 0 20 0 15 0 64455992 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 97.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215312 KiB
[startup+94.4008 s]
/proc/loadavg: 1.84 1.97 1.95 3/211 1299
/proc/meminfo: memFree=31180092/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13980732 memory=213936 CPUtime=98 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 54187 0 0 0 9780 20 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3495183 53484 3221 1 0 3483476 0
[pid=1126/tid=1127] ppid=1124 vsize=13980732 memory=960 CPUtime=93.67 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 11702 0 0 0 9362 5 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657277595696 139656917485280 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13980732 memory=1156 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 921 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13980732 memory=2776 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1248 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13980732 memory=36388 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 1272 0 0 0 22 1 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13980732 memory=1296 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 539 0 0 0 21 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13980732 memory=2420 CPUtime=0.22 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 1316 0 0 0 21 1 0 0 20 0 15 0 64455984 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13980732 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13980732 memory=796 CPUtime=1.4 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1124 1124 17093 0 -1 1077944384 12474 0 0 0 138 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656747714672 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13980732 memory=10960 CPUtime=1.36 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1124 1124 17093 0 -1 1077944384 19284 0 0 0 134 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656746661872 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13980732 memory=15876 CPUtime=0.3 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 3650 0 0 0 30 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13980732 memory=20536 CPUtime=0.04 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 432 0 0 0 2 2 0 0 20 0 15 0 64455992 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215312 KiB
[startup+94.5008 s]
/proc/loadavg: 1.84 1.97 1.95 3/211 1299
/proc/meminfo: memFree=31180092/32770624 swapFree=67108860/67108860
[pid=1124] ppid=1121 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1124/stat : 1124 (xcsp3-exec) S 1121 1124 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64455973 9740288 344 18446744073709551615 4194304 5098028 140723178547968 140723178546072 140381132694140 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 15319040 140723178553726 140723178553930 140723178553930 140723178557419 0
/proc/1124/statm: 2378 344 289 221 0 87 0
[pid=1126] ppid=1124 vsize=13980732 memory=213936 CPUtime=98.1 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1124 1124 17093 0 -1 1077944320 54187 0 0 0 9790 20 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 140723378650784 139657273356023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
/proc/1126/statm: 3495183 53484 3221 1 0 3483476 0
[pid=1126/tid=1127] ppid=1124 vsize=13980732 memory=213936 CPUtime=93.77 cores=0,2,4,6
/proc/1126/task/1127/stat : 1127 (java) R 1124 1124 17093 0 -1 4202560 11702 0 0 0 9372 5 0 0 20 0 15 0 64455982 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657277595696 139656917484949 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1128] ppid=1124 vsize=13980732 memory=213936 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1124 1124 17093 0 -1 1077944384 921 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139657238636944 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1129] ppid=1124 vsize=13980732 memory=1376 CPUtime=0.24 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1124 1124 17093 0 -1 1077944384 1248 0 0 0 22 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656872331536 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1130] ppid=1124 vsize=13980732 memory=213936 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1124 1124 17093 0 -1 1077944384 1272 0 0 0 22 1 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656871279248 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1131] ppid=1124 vsize=13980732 memory=1376 CPUtime=0.23 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1124 1124 17093 0 -1 1077944384 539 0 0 0 21 2 0 0 20 0 15 0 64455983 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656870226448 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1132] ppid=1124 vsize=13980732 memory=4028 CPUtime=0.22 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1124 1124 17093 0 -1 1077944384 1316 0 0 0 21 1 0 0 20 0 15 0 64455984 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656751925872 139657273367170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1133] ppid=1124 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1124 1124 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656750871840 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1134] ppid=1124 vsize=13980732 memory=36388 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1124 1124 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64455985 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656749819504 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1135] ppid=1124 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656748767824 139657273374619 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1136] ppid=1124 vsize=13980732 memory=1376 CPUtime=1.4 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1124 1124 17093 0 -1 1077944384 12474 0 0 0 138 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656747714672 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1137] ppid=1124 vsize=13980732 memory=1376 CPUtime=1.36 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1124 1124 17093 0 -1 1077944384 19284 0 0 0 134 2 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656746661872 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1138] ppid=1124 vsize=13980732 memory=213936 CPUtime=0.3 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1124 1124 17093 0 -1 1077944384 3650 0 0 0 30 0 0 0 20 0 15 0 64455987 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656745609584 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1139] ppid=1124 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1124 1124 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64455988 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656744557024 139657273366229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
[pid=1126/tid=1140] ppid=1124 vsize=13980732 memory=210736 CPUtime=0.04 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1124 1124 17093 0 -1 1077944384 432 0 0 0 2 2 0 0 20 0 15 0 64455992 14316269568 53484 18446744073709551615 4194304 4196468 140723378668240 139656743504816 139657273367170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14061568 140723378676151 140723378676326 140723378676326 140723378679759 0
Current children cumulated CPU time: 98.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215312 KiB
Child status: 0
Real time (s): 94.5912
CPU time (s): 98.2084
CPU user time (s): 97.9939
CPU system time (s): 0.214474
CPU usage (%): 103.824
Max. virtual memory (cumulated for all children) (KiB): 13994572
Max. memory (cumulated for all children) (KiB): 233064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.9939
system time used= 0.214474
maximum resident set size= 231692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9202
involuntary context switches= 268
# summary of solver processes directly reported to runsolver:
# pid: 1124
# total CPU time (s): 98.2084
# total CPU user time (s): 97.9939
# total CPU system time (s): 0.214474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.628275 second user time and 0.928401 second system time
The end