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 (15116 MiB free)
memory of node 1: 16384 MiB (13789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282130-1503117268/watcher-4282130-1503117268 -o /tmp/evaluation-result-4282130-1503117268/solver-4282130-1503117268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14041 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1058833993 HOME/instance-4282130-1503117268.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
Current StackSize limit: 8192 KiB
solver pid=18751, runsolver pid=18748
[startup+0.100125 s]*
/proc/loadavg: 1.91 1.93 1.73 2/201 18754
/proc/meminfo: memFree=29597864/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13358712 memory=16244 CPUtime=0 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 3350 0 0 0 0 0 0 0 20 0 6 0 100067457 13679321088 4061 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3339678 4061 1892 1 0 3329175 0
[pid=18753/tid=18754] ppid=18751 vsize=13358712 memory=-6369044719568261478 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 2115 0 0 0 0 0 0 0 20 0 6 0 100067457 13679321088 4061 18446744073709551615 4194304 4196468 140735327306496 140142342414928 140142338200733 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13358712 memory=5767615021070752137 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 100067458 13679321088 4061 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13358712 memory=139734662768256 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 100067458 13679321088 4061 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 100067458 13679321088 4061 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13358712 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 100067458 13679321088 4061 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17624 KiB
[startup+0.210236 s]*
/proc/loadavg: 1.91 1.93 1.73 3/214 18767
/proc/meminfo: memFree=29588792/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13974352 memory=24288 CPUtime=0.08 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 4995 0 0 0 7 1 0 0 20 0 15 0 100067457 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3493588 6072 2724 1 0 3482964 0
[pid=18753/tid=18754] ppid=18751 vsize=13974352 memory=8186588030768684188 CPUtime=0.06 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 3148 0 0 0 6 0 0 0 20 0 15 0 100067457 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140142342404496 140142322259294 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13974352 memory=5767615021070752137 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13974352 memory=139734662768256 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067460 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100067460 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100067460 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) S 18751 18751 13977 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141811125104 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13974352 memory=139734662768256 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13974352 memory=139734662768256 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067468 14309736448 6072 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25668 KiB
[startup+0.310644 s]*
/proc/loadavg: 1.91 1.93 1.73 3/214 18767
/proc/meminfo: memFree=29571484/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13974352 memory=37188 CPUtime=0.26 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 8899 0 0 0 24 2 0 0 20 0 15 0 100067457 14309736448 9297 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3493588 9297 2970 1 0 3482964 0
[pid=18753/tid=18754] ppid=18751 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 6073 0 0 0 15 1 0 0 20 0 15 0 100067457 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140142342408736 140142322259294 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13974352 memory=139734662768255 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067460 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100067460 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13974352 memory=139734662768256 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100067460 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) R 18751 18751 13977 0 -1 4202560 497 0 0 0 2 0 0 0 20 0 15 0 100067463 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142316010928 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) S 18751 18751 13977 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 100067463 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141811125104 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 758 0 0 0 5 0 0 0 20 0 15 0 100067463 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067468 14309736448 9362 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38568 KiB
[startup+0.707416 s]
/proc/loadavg: 1.91 1.93 1.73 6/214 18767
/proc/meminfo: memFree=29561780/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13980732 memory=63988 CPUtime=1.18 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 13141 0 0 0 113 5 0 0 20 0 15 0 100067457 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3495183 15997 3173 1 0 3483476 0
[pid=18753/tid=18754] ppid=18751 vsize=13980732 memory=139 CPUtime=0.54 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 8534 0 0 0 51 3 0 0 20 0 15 0 100067457 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140142342413792 140141978897668 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13980732 memory=8443538352883892301 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13980732 memory=288292173013844728 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13980732 memory=1027890 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) R 18751 18751 13977 0 -1 4202560 1108 0 0 0 17 0 0 0 20 0 15 0 100067463 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142318030880 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) R 18751 18751 13977 0 -1 4202560 783 0 0 0 16 0 0 0 20 0 15 0 100067463 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141811115104 140142319696685 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13980732 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 1406 0 0 0 27 0 0 0 20 0 15 0 100067463 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067468 14316269568 15997 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65368 KiB
[startup+1.50082 s]
/proc/loadavg: 2.15 1.99 1.75 5/214 18767
/proc/meminfo: memFree=29537804/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13980732 memory=82496 CPUtime=3.65 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 21121 0 0 0 359 6 0 0 20 0 15 0 100067457 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3495183 20624 3183 1 0 3483476 0
[pid=18753/tid=18754] ppid=18751 vsize=13980732 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 9029 0 0 0 131 3 0 0 20 0 15 0 100067457 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140142342417520 140141983377037 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13980732 memory=3472323692039590610 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13980732 memory=139734546693840 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13980732 memory=139734546730159 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 20624 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13980732 memory=200564 CPUtime=18.79 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 32718 0 0 0 1868 11 0 0 20 0 15 0 100067457 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3495183 50141 3232 1 0 3483476 0
[pid=18753/tid=18754] ppid=18751 vsize=13980732 memory=-8774313645642428999 CPUtime=14.21 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 10558 0 0 0 1416 5 0 0 20 0 15 0 100067457 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140142342416376 140141983376737 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13980732 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13980732 memory=1580 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) S 18751 18751 13977 0 -1 1077944384 6545 0 0 0 203 0 0 0 20 0 15 0 100067463 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13980732 memory=2168 CPUtime=1.98 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) S 18751 18751 13977 0 -1 1077944384 7202 0 0 0 197 1 0 0 20 0 15 0 100067463 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141811125104 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13980732 memory=836 CPUtime=0.48 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 4910 0 0 0 47 1 0 0 20 0 15 0 100067463 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13980732 memory=3916 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13980732 memory=3072 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 15 0 100067468 14316269568 50141 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 18.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201944 KiB
[startup+16.0007 s]*
/proc/loadavg: 2.12 1.99 1.76 3/214 18767
/proc/meminfo: memFree=29412500/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13980732 memory=200596 CPUtime=20.46 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 32940 0 0 0 2035 11 0 0 20 0 15 0 100067457 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3495183 50149 3235 1 0 3483476 0
[pid=18753/tid=18754] ppid=18751 vsize=13980732 memory=-8774313645642428999 CPUtime=15.82 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 10564 0 0 0 1577 5 0 0 20 0 15 0 100067457 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140142342415456 140141983100844 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13980732 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13980732 memory=288293255295272306 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13980732 memory=1018190 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13980732 memory=6944656592455359580 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) S 18751 18751 13977 0 -1 1077944384 6545 0 0 0 203 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13980732 memory=288293255295272306 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) S 18751 18751 13977 0 -1 1077944384 7349 0 0 0 202 1 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141811125104 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13980732 memory=6944656592455359580 CPUtime=0.48 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 4976 0 0 0 47 1 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 15 0 100067468 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 20.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201976 KiB
[startup+16.8007 s]
/proc/loadavg: 2.12 1.99 1.76 3/214 18767
/proc/meminfo: memFree=29412500/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13980732 memory=200596 CPUtime=21.26 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 33273 0 0 0 2115 11 0 0 20 0 15 0 100067457 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3495183 50149 3235 1 0 3483476 0
[pid=18753/tid=18754] ppid=18751 vsize=13980732 memory=-8774313645642428999 CPUtime=16.61 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 10881 0 0 0 1656 5 0 0 20 0 15 0 100067457 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140142342418176 140141983421659 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13980732 memory=200596 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13980732 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13980732 memory=1716 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) S 18751 18751 13977 0 -1 1077944384 6545 0 0 0 203 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13980732 memory=1008 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) S 18751 18751 13977 0 -1 1077944384 7349 0 0 0 202 1 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141811125104 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13980732 memory=1232 CPUtime=0.48 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 4976 0 0 0 47 1 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13980732 memory=9012 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 15 0 100067468 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 21.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201976 KiB
[startup+17.2006 s]
/proc/loadavg: 2.12 1.99 1.76 3/214 18767
/proc/meminfo: memFree=29412500/32770624 swapFree=67108860/67108860
[pid=18751] ppid=18748 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18751/stat : 18751 (xcsp3-exec) S 18748 18751 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 100067448 9740288 345 18446744073709551615 4194304 5098028 140733709580288 140733709578392 140525174485628 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 29044736 140733709586808 140733709587013 140733709587013 140733709590507 0
/proc/18751/statm: 2378 345 289 221 0 87 0
[pid=18753] ppid=18751 vsize=13980732 memory=200596 CPUtime=21.66 cores=0,2,4,6
/proc/18753/stat : 18753 (java) S 18751 18751 13977 0 -1 1077944320 33305 0 0 0 2155 11 0 0 20 0 15 0 100067457 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140735327289040 140142338178807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
/proc/18753/statm: 3495183 50149 3235 1 0 3483476 0
[pid=18753/tid=18754] ppid=18751 vsize=13980732 memory=6944652177228980320 CPUtime=17.01 cores=0,2,4,6
/proc/18753/task/18754/stat : 18754 (java) R 18751 18751 13977 0 -1 4202560 10913 0 0 0 1696 5 0 0 20 0 15 0 100067457 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140142342418176 140141983247253 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18755] ppid=18751 vsize=13980732 memory=279469092765936 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18755/stat : 18755 (java) S 18751 18751 13977 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140142301285392 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18756] ppid=18751 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18756/stat : 18756 (java) S 18751 18751 13977 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141937376400 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18757] ppid=18751 vsize=13980732 memory=4076 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18757/stat : 18757 (java) S 18751 18751 13977 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141936323344 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18758] ppid=18751 vsize=13980732 memory=4584 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18758/stat : 18758 (java) S 18751 18751 13977 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 100067458 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141935270800 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18759] ppid=18751 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18759/stat : 18759 (java) S 18751 18751 13977 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141816387824 140142338189954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18760] ppid=18751 vsize=13980732 memory=2544 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18760/stat : 18760 (java) S 18751 18751 13977 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141815334048 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18761] ppid=18751 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18761/stat : 18761 (java) S 18751 18751 13977 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 100067460 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141814280944 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18762] ppid=18751 vsize=13980732 memory=7379261683160016978 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18762/stat : 18762 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141813229520 140142338197403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18763] ppid=18751 vsize=13980732 memory=6225475975164744040 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18763/stat : 18763 (java) S 18751 18751 13977 0 -1 1077944384 6545 0 0 0 203 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141812177648 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18764] ppid=18751 vsize=13980732 memory=0 CPUtime=2.03 cores=0,2,4,6
/proc/18753/task/18764/stat : 18764 (java) S 18751 18751 13977 0 -1 1077944384 7349 0 0 0 202 1 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141811125104 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18765] ppid=18751 vsize=13980732 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/18753/task/18765/stat : 18765 (java) S 18751 18751 13977 0 -1 1077944384 4976 0 0 0 47 1 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141810072048 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18766] ppid=18751 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18766/stat : 18766 (java) S 18751 18751 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100067463 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141809019744 140142338189013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
[pid=18753/tid=18767] ppid=18751 vsize=13980732 memory=200596 CPUtime=0 cores=0,2,4,6
/proc/18753/task/18767/stat : 18767 (java) S 18751 18751 13977 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 15 0 100067468 14316269568 50149 18446744073709551615 4194304 4196468 140735327306496 140141807966768 140142338189954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16486400 140735327310257 140735327310433 140735327310433 140735327313871 0
Current children cumulated CPU time: 21.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201976 KiB
Child status: 0
Real time (s): 17.2194
CPU time (s): 21.6909
CPU user time (s): 21.5733
CPU system time (s): 0.117546
CPU usage (%): 125.968
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 204964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5733
system time used= 0.117546
maximum resident set size= 203584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2688
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 18751
# total CPU time (s): 21.6909
# total CPU user time (s): 21.5733
# total CPU system time (s): 0.117546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141997 second user time and 0.192792 second system time
The end