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 (14819 MiB free)
memory of node 1: 16384 MiB (14910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283430-1503211218/watcher-4283430-1503211218 -o /tmp/evaluation-result-4283430-1503211218/solver-4283430-1503211218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1311346255 HOME/instance-4283430-1503211218.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=548, runsolver pid=544
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.63 1.49 1.51 3/198 552
/proc/meminfo: memFree=30441992/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=11657624 memory=8760 CPUtime=0 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 1948 0 0 0 0 0 0 0 20 0 2 0 123342227 11937406976 2190 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 2914406 2190 1151 1 0 2904376 0
[pid=551/tid=552] ppid=548 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 1729 0 0 0 0 0 0 0 20 0 6 0 123342227 13679321088 3196 18446744073709551615 4194304 4196468 140722060833360 140497270858320 140497227602917 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13358712 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 123342228 13679321088 3196 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13358712 memory=288370558021523072 CPUtime=0 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 123342228 13679321088 3196 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 123342228 13679321088 3196 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 123342228 13679321088 3196 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10140 KiB
[startup+0.210097 s]*
/proc/loadavg: 1.63 1.49 1.51 3/211 565
/proc/meminfo: memFree=30429900/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13974352 memory=24412 CPUtime=0.08 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 5023 0 0 0 7 1 0 0 20 0 15 0 123342227 14309736448 6103 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3493588 6103 2724 1 0 3482964 0
[pid=551/tid=552] ppid=548 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 3212 0 0 0 6 0 0 0 20 0 15 0 123342227 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140497270857616 140497266644125 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13974352 memory=288370558021523072 CPUtime=0 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13974352 memory=140181869811328 CPUtime=0 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342229 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123342230 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496743167392 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123342230 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496742114800 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) S 548 548 8563 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 123342232 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496740009968 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496738957424 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13974352 memory=140181869811328 CPUtime=0 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) R 548 548 8563 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 15 0 123342232 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496737904880 140497245281876 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13974352 memory=140181869811328 CPUtime=0 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342237 14309736448 6615 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25792 KiB
[startup+0.310262 s]*
/proc/loadavg: 1.63 1.49 1.51 3/211 565
/proc/meminfo: memFree=30415308/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13974352 memory=36784 CPUtime=0.26 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 8804 0 0 0 24 2 0 0 20 0 15 0 123342227 14309736448 9196 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3493588 9196 2953 1 0 3482964 0
[pid=551/tid=552] ppid=548 vsize=13974352 memory=7311146985107750967 CPUtime=0.17 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 6106 0 0 0 15 2 0 0 20 0 15 0 123342227 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140497270856128 140497266634134 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13974352 memory=301929942382151296 CPUtime=0 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13974352 memory=8751304360501396207 CPUtime=0 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342229 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13974352 memory=734139722786418735 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123342230 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496743167392 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13974352 memory=6933690279252828305 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123342230 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496742114800 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13974352 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) R 548 548 8563 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 15 0 123342232 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496740009968 140497266633346 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) R 548 548 8563 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 123342232 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496738957424 140497266633346 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13974352 memory=140181869811328 CPUtime=0.05 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) R 548 548 8563 0 -1 4202560 736 0 0 0 5 0 0 0 20 0 15 0 123342232 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496737902672 140722061088513 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13974352 memory=140181869811328 CPUtime=0 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342237 14309736448 9260 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38164 KiB
[startup+0.701755 s]
/proc/loadavg: 1.63 1.49 1.51 5/211 565
/proc/meminfo: memFree=30405732/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13980732 memory=73292 CPUtime=1.17 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 15929 0 0 0 112 5 0 0 20 0 15 0 123342227 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3495183 18323 3170 1 0 3483476 0
[pid=551/tid=552] ppid=548 vsize=13980732 memory=2368 CPUtime=0.53 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 8437 0 0 0 50 3 0 0 20 0 15 0 123342227 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140497270858944 140496855330368 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13980732 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13980732 memory=64 CPUtime=0 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13980732 memory=4106 CPUtime=0 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13980732 memory=220 CPUtime=0 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123342229 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496743167392 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13980732 memory=793 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496742114800 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13980732 memory=43 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) R 548 548 8563 0 -1 4202560 2193 0 0 0 19 0 0 0 20 0 15 0 123342232 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496739990984 140497252262336 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13980732 memory=563 CPUtime=0.18 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) R 548 548 8563 0 -1 4202560 2074 0 0 0 18 0 0 0 20 0 15 0 123342232 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496738938976 140497252645999 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13980732 memory=479 CPUtime=0.23 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) S 548 548 8563 0 -1 1077944384 1916 0 0 0 23 0 0 0 20 0 15 0 123342232 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496737904880 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13980732 memory=6625 CPUtime=0 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342237 14316269568 18323 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 74672 KiB
[startup+1.50089 s]
/proc/loadavg: 1.63 1.49 1.51 5/211 565
/proc/meminfo: memFree=30344640/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13980732 memory=126052 CPUtime=3.62 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 40425 0 0 0 354 8 0 0 20 0 15 0 123342227 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3495183 31513 3172 1 0 3483476 0
[pid=551/tid=552] ppid=548 vsize=13980732 memory=2368 CPUtime=1.34 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 8641 0 0 0 130 4 0 0 20 0 15 0 123342227 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140497270857152 140496854816749 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13980732 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13980732 memory=280363519718496 CPUtime=0 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123342228 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123342229 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 31513 18446744073709551615 4194304 4196468 140722060833360 140496743167392 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13980732 memory=280363519912800 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=551/tid=557] ppid=548 vsize=13980732 memory=1380 CPUtime=1.86 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 45556 0 0 0 164 22 0 0 20 0 15 0 123342229 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13980732 memory=364728 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496743167456 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13980732 memory=364216 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496742114816 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13980732 memory=1380 CPUtime=5.68 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) S 548 548 8563 0 -1 1077944384 30644 0 0 0 564 4 0 0 20 0 15 0 123342232 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496740009968 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13980732 memory=365244 CPUtime=5.62 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) S 548 548 8563 0 -1 1077944384 33144 0 0 0 559 3 0 0 20 0 15 0 123342232 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496738957424 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13980732 memory=1380 CPUtime=0.93 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) S 548 548 8563 0 -1 1077944384 13223 0 0 0 90 3 0 0 20 0 15 0 123342232 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496737904880 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13980732 memory=5788 CPUtime=0.92 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 2136 0 0 0 43 49 0 0 20 0 15 0 123342237 14316269568 91054 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 2386.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 365596 KiB
[startup+2382.3 s]
/proc/loadavg: 1.83 1.72 1.63 3/211 830
/proc/meminfo: memFree=29202708/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13980732 memory=360340 CPUtime=2448.07 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 293043 0 0 0 244549 258 0 0 20 0 15 0 123342227 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3495183 90085 3259 1 0 3483476 0
[pid=551/tid=552] ppid=548 vsize=13980732 memory=360340 CPUtime=2361.14 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 63433 0 0 0 236099 15 0 0 20 0 15 0 123342227 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140497270861792 140496857812664 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13980732 memory=1380 CPUtime=17.95 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 23327 0 0 0 1751 44 0 0 20 0 15 0 123342228 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13980732 memory=1380 CPUtime=17.89 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 24621 0 0 0 1746 43 0 0 20 0 15 0 123342228 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13980732 memory=1380 CPUtime=17.94 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 30018 0 0 0 1751 43 0 0 20 0 15 0 123342228 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13980732 memory=352424 CPUtime=17.91 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 24195 0 0 0 1747 44 0 0 20 0 15 0 123342228 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13980732 memory=280363521051808 CPUtime=1.92 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 46760 0 0 0 169 23 0 0 20 0 15 0 123342229 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496743167456 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496742114816 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13980732 memory=66384 CPUtime=5.73 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) S 548 548 8563 0 -1 1077944384 30723 0 0 0 569 4 0 0 20 0 15 0 123342232 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496740009968 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13980732 memory=1720 CPUtime=5.62 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) S 548 548 8563 0 -1 1077944384 33155 0 0 0 559 3 0 0 20 0 15 0 123342232 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496738957424 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13980732 memory=4616 CPUtime=0.93 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) S 548 548 8563 0 -1 1077944384 13302 0 0 0 90 3 0 0 20 0 15 0 123342232 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496737904880 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13980732 memory=360340 CPUtime=0.94 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 2150 0 0 0 44 50 0 0 20 0 15 0 123342237 14316269568 90085 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 2448.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 361720 KiB
[startup+2442.3 s]
/proc/loadavg: 1.79 1.73 1.63 3/211 832
/proc/meminfo: memFree=29228920/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13980732 memory=355652 CPUtime=2509.59 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 296613 0 0 0 250696 263 0 0 20 0 15 0 123342227 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3495183 88913 3259 1 0 3483476 0
[pid=551/tid=552] ppid=548 vsize=13980732 memory=359248 CPUtime=2420.57 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 64051 0 0 0 242041 16 0 0 20 0 15 0 123342227 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140497270860912 140496857676816 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13980732 memory=360272 CPUtime=18.46 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 23682 0 0 0 1801 45 0 0 20 0 15 0 123342228 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13980732 memory=360272 CPUtime=18.39 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 25046 0 0 0 1795 44 0 0 20 0 15 0 123342228 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13980732 memory=355652 CPUtime=18.44 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 30476 0 0 0 1800 44 0 0 20 0 15 0 123342228 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13980732 memory=1380 CPUtime=18.41 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 24539 0 0 0 1796 45 0 0 20 0 15 0 123342228 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13980732 memory=1380 CPUtime=1.96 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 48105 0 0 0 173 23 0 0 20 0 15 0 123342229 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496743167456 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496742114816 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13980732 memory=361300 CPUtime=5.73 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) S 548 548 8563 0 -1 1077944384 30725 0 0 0 569 4 0 0 20 0 15 0 123342232 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496740009968 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13980732 memory=1380 CPUtime=5.62 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) S 548 548 8563 0 -1 1077944384 33157 0 0 0 559 3 0 0 20 0 15 0 123342232 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496738957424 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) S 548 548 8563 0 -1 1077944384 13304 0 0 0 91 3 0 0 20 0 15 0 123342232 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496737904880 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13980732 memory=1380 CPUtime=0.96 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 2169 0 0 0 45 51 0 0 20 0 15 0 123342237 14316269568 88913 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 2509.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 357032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.6 s]
/proc/loadavg: 1.83 1.74 1.64 3/211 833
/proc/meminfo: memFree=29234188/32770624 swapFree=67108860/67108860
[pid=548] ppid=544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/548/stat : 548 (xcsp3-exec) S 544 548 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123342217 9740288 345 18446744073709551615 4194304 5098028 140721208789168 140721208787272 139733782397564 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 11390976 140721208791416 140721208791621 140721208791621 140721208795115 0
/proc/548/statm: 2378 345 289 221 0 87 0
[pid=551] ppid=548 vsize=13980732 memory=348916 CPUtime=2520.06 cores=0,2,4,6
/proc/551/stat : 551 (java) S 548 548 8563 0 -1 1077944320 299689 0 0 0 251743 263 0 0 20 0 15 0 123342227 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140722060815904 140497266622199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
/proc/551/statm: 3495183 87229 3259 1 0 3483476 0
[pid=551/tid=552] ppid=548 vsize=13980732 memory=6944652177228980320 CPUtime=2430.8 cores=0,2,4,6
/proc/551/task/552/stat : 552 (java) R 548 548 8563 0 -1 4202560 66246 0 0 0 243064 16 0 0 20 0 15 0 123342227 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140497270861840 140496862785372 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=553] ppid=548 vsize=13980732 memory=7956805424100234341 CPUtime=18.52 cores=0,2,4,6
/proc/551/task/553/stat : 553 (java) S 548 548 8563 0 -1 1077944384 24082 0 0 0 1807 45 0 0 20 0 15 0 123342228 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140497186035984 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=554] ppid=548 vsize=13980732 memory=-7028383565733675155 CPUtime=18.45 cores=0,2,4,6
/proc/551/task/554/stat : 554 (java) S 548 548 8563 0 -1 1077944384 25206 0 0 0 1801 44 0 0 20 0 15 0 123342228 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140497184983440 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=555] ppid=548 vsize=13980732 memory=7163931131298734422 CPUtime=18.5 cores=0,2,4,6
/proc/551/task/555/stat : 555 (java) S 548 548 8563 0 -1 1077944384 30637 0 0 0 1806 44 0 0 20 0 15 0 123342228 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140497183930896 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=556] ppid=548 vsize=13980732 memory=7237117918878918760 CPUtime=18.47 cores=0,2,4,6
/proc/551/task/556/stat : 556 (java) S 548 548 8563 0 -1 1077944384 24687 0 0 0 1802 45 0 0 20 0 15 0 123342228 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140497182878352 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=557] ppid=548 vsize=13980732 memory=7237117918878918760 CPUtime=1.98 cores=0,2,4,6
/proc/551/task/557/stat : 557 (java) S 548 548 8563 0 -1 1077944384 48115 0 0 0 174 24 0 0 20 0 15 0 123342229 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496744221168 140497266633346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=558] ppid=548 vsize=13980732 memory=7237117918878918760 CPUtime=0 cores=0,2,4,6
/proc/551/task/558/stat : 558 (java) S 548 548 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496743167456 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=559] ppid=548 vsize=13980732 memory=7237117918878918760 CPUtime=0 cores=0,2,4,6
/proc/551/task/559/stat : 559 (java) S 548 548 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123342230 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496742114816 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=560] ppid=548 vsize=13980732 memory=7161971801625486440 CPUtime=0 cores=0,2,4,6
/proc/551/task/560/stat : 560 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342232 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496741063376 140497266640795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=561] ppid=548 vsize=13980732 memory=7667186330772071268 CPUtime=5.73 cores=0,2,4,6
/proc/551/task/561/stat : 561 (java) S 548 548 8563 0 -1 1077944384 30725 0 0 0 569 4 0 0 20 0 15 0 123342232 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496740009968 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=562] ppid=548 vsize=13980732 memory=7306646610788904300 CPUtime=5.62 cores=0,2,4,6
/proc/551/task/562/stat : 562 (java) S 548 548 8563 0 -1 1077944384 33157 0 0 0 559 3 0 0 20 0 15 0 123342232 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496738957424 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=563] ppid=548 vsize=13980732 memory=352576 CPUtime=0.94 cores=0,2,4,6
/proc/551/task/563/stat : 563 (java) S 548 548 8563 0 -1 1077944384 13304 0 0 0 91 3 0 0 20 0 15 0 123342232 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496737904880 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=564] ppid=548 vsize=13980732 memory=251172 CPUtime=0 cores=0,2,4,6
/proc/551/task/564/stat : 564 (java) S 548 548 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123342233 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496736852576 140497266632405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
[pid=551/tid=565] ppid=548 vsize=13980732 memory=242266 CPUtime=0.97 cores=0,2,4,6
/proc/551/task/565/stat : 565 (java) S 548 548 8563 0 -1 1077944384 2171 0 0 0 46 51 0 0 20 0 15 0 123342237 14316269568 87229 18446744073709551615 4194304 4196468 140722060833360 140496735800112 140497266633346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 16601088 140722060841393 140722060841569 140722060841569 140722060845007 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 350296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.61 s]
# the end of solver process 548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.44 s, system=2.64559 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2452.61
CPU time (s): 2520.09
CPU user time (s): 2517.44
CPU system time (s): 2.64559
CPU usage (%): 102.751
Max. virtual memory (cumulated for all children) (KiB): 13992476
Max. memory (cumulated for all children) (KiB): 504948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.44
system time used= 2.64559
maximum resident set size= 525888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90406
involuntary context switches= 5041
# summary of solver processes directly reported to runsolver:
# pid: 548
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.44
# total CPU system time (s): 2.64559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9898 second user time and 23.9974 second system time
The end