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 (12559 MiB free)
memory of node 1: 16384 MiB (11595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282795-1503214929/watcher-4282795-1503214929 -o /tmp/evaluation-result-4282795-1503214929/solver-4282795-1503214929 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17467 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 797670488 HOME/instance-4282795-1503214929.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21783, runsolver pid=21780
[startup+0.100139 s]*
/proc/loadavg: 2.27 2.10 1.99 3/217 21799
/proc/meminfo: memFree=24716728/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13978596 memory=28584 CPUtime=0.12 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 5057 0 0 0 10 2 0 0 20 0 15 0 154573796 14314082304 7146 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3494649 7146 2840 1 0 3482966 0
[pid=21785/tid=21786] ppid=21783 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 17435 0 -1 4202560 3074 0 0 0 8 1 0 0 20 0 15 0 154573796 14314082304 7211 33554432000 4194304 4196468 140736120040000 140414861185920 140414856969622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14314082304 7211 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13978596 memory=140242288264832 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14314082304 7211 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14314082304 7211 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14314082304 7211 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13978596 memory=140242288264832 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573799 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 154573802 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 17435 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154573802 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413763287920 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13978596 memory=140242288264832 CPUtime=0.01 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) R 21783 21783 17435 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 154573802 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413762234864 140414838195248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13978596 memory=140242288264832 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573802 14314082304 7211 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29968 KiB
[startup+0.210662 s]*
/proc/loadavg: 2.27 2.10 1.99 3/217 21799
/proc/meminfo: memFree=24705704/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13982884 memory=40340 CPUtime=0.33 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 7657 0 0 0 30 3 0 0 20 0 15 0 154573796 14318473216 10085 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3495713 10085 3040 1 0 3482966 0
[pid=21785/tid=21786] ppid=21783 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) D 21783 21783 17435 0 -1 1077944384 4836 0 0 0 17 2 0 0 20 0 15 0 154573796 14318440448 10085 33554432000 4194304 4196468 140736120040000 140414861168480 140414849636909 0 4 0 16800975 18446744072101662244 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13982852 memory=13650 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 10085 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13982852 memory=140242289040627 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 10085 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 10085 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 10085 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13982852 memory=140242288264832 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573799 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 154573802 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 17435 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 15 0 154573802 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413763287920 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13982884 memory=140242288264832 CPUtime=0.07 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 17435 0 -1 1077944384 778 0 0 0 7 0 0 0 20 0 15 0 154573802 14318473216 10085 33554432000 4194304 4196468 140736120040000 140413762234864 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14318473216 10085 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573802 14318440448 10085 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41724 KiB
[startup+0.317411 s]*
/proc/loadavg: 2.27 2.10 1.99 5/217 21799
/proc/meminfo: memFree=24698508/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13982852 memory=48008 CPUtime=0.51 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 8626 0 0 0 47 4 0 0 20 0 15 0 154573796 14318440448 12002 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3495713 12002 3129 1 0 3482966 0
[pid=21785/tid=21786] ppid=21783 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 17435 0 -1 4202560 5492 0 0 0 27 3 0 0 20 0 15 0 154573796 14318440448 12002 33554432000 4194304 4196468 140736120040000 140414861196992 140414849635701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 12002 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 12002 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 12002 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14318440448 12002 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573799 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 675 0 0 0 4 0 0 0 20 0 15 0 154573802 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) R 21783 21783 17435 0 -1 4202560 288 0 0 0 2 0 0 0 20 0 15 0 154573802 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413763287920 140414836430293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) R 21783 21783 17435 0 -1 4202560 868 0 0 0 12 0 0 0 20 0 15 0 154573802 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413762232040 140414835097432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573802 14318440448 12002 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49392 KiB
[startup+0.700744 s]
/proc/loadavg: 2.27 2.10 1.99 6/217 21799
/proc/meminfo: memFree=24674188/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13984976 memory=97528 CPUtime=1.67 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 11368 0 0 0 161 6 0 0 20 0 15 0 154573796 14320615424 24382 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3496244 24382 3206 1 0 3483478 0
[pid=21785/tid=21786] ppid=21783 vsize=13984976 memory=1728 CPUtime=0.66 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 17435 0 -1 4202560 6199 0 0 0 62 4 0 0 20 0 15 0 154573796 14320615424 24382 33554432000 4194304 4196468 140736120040000 140414861195744 140414447204539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 24382 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 24382 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 24382 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 24382 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13984976 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13984976 memory=1204 CPUtime=0.31 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) R 21783 21783 17435 0 -1 4202560 1247 0 0 0 31 0 0 0 20 0 15 0 154573802 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413764329936 140414836788057 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13984976 memory=1728 CPUtime=0.31 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) R 21783 21783 17435 0 -1 4202560 917 0 0 0 31 0 0 0 20 0 15 0 154573802 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413763276400 140414838478891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13984976 memory=1440 CPUtime=0.35 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 17435 0 -1 1077944384 1698 0 0 0 35 0 0 0 20 0 15 0 154573802 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413762234864 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 24382 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 98912 KiB
[startup+1.50083 s]
/proc/loadavg: 2.27 2.10 1.99 7/217 21799
/proc/meminfo: memFree=24632936/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13984976 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13984976 memory=1399103955520229747 CPUtime=2.14 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 21171 0 0 0 212 2 0 0 20 0 15 0 154573802 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13984976 memory=139044 CPUtime=1.38 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 17435 0 -1 1077944384 9312 0 0 0 137 1 0 0 20 0 15 0 154573802 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413763287920 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13984976 memory=136928 CPUtime=0.49 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 17435 0 -1 1077944384 4726 0 0 0 48 1 0 0 20 0 15 0 154573802 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413762234864 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13984976 memory=33 CPUtime=0.01 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1285 0 0 0 1 0 0 0 20 0 15 0 154573802 14320615424 34761 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 106.34 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 140428 KiB
[startup+162.301 s]
/proc/loadavg: 2.04 2.06 1.99 3/218 21889
/proc/meminfo: memFree=22975156/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13984976 memory=165796 CPUtime=166.44 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 51785 0 0 0 16632 12 0 0 20 0 15 0 154573796 14320615424 41449 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3496244 41449 3224 1 0 3483478 0
[pid=21785/tid=21786] ppid=21783 vsize=13984976 memory=163748 CPUtime=162.27 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 17435 0 -1 4202560 10585 0 0 0 16222 5 0 0 20 0 15 0 154573796 14320615424 41449 33554432000 4194304 4196468 140736120040000 140414861196136 140414447322884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13984976 memory=280484316410688 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 41449 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13984976 memory=165796 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 41449 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13984976 memory=165796 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 41449 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13984976 memory=165796 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 41449 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 550 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13984976 memory=165796 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13984976 memory=1384 CPUtime=2.21 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 22449 0 0 0 219 2 0 0 20 0 15 0 154573802 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13984976 memory=155520 CPUtime=1.39 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 17435 0 -1 1077944384 9619 0 0 0 138 1 0 0 20 0 15 0 154573802 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413763287920 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13984976 memory=1384 CPUtime=0.5 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 17435 0 -1 1077944384 5932 0 0 0 49 1 0 0 20 0 15 0 154573802 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413762234864 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1349 0 0 0 1 1 0 0 20 0 15 0 154573802 14320615424 41449 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 166.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 167180 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 1.99 3/218 21890
/proc/meminfo: memFree=22962876/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13984976 memory=180144 CPUtime=226.48 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 52214 0 0 0 22635 13 0 0 20 0 15 0 154573796 14320615424 45036 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3496244 45036 3224 1 0 3483478 0
[pid=21785/tid=21786] ppid=21783 vsize=13984976 memory=178096 CPUtime=222.28 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 17435 0 -1 4202560 10764 0 0 0 22223 5 0 0 20 0 15 0 154573796 14320615424 45036 33554432000 4194304 4196468 140736120040000 140414861196488 140414447322988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13984976 memory=178096 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 45036 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13984976 memory=178096 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 45036 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 45036 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13984976 memory=174000 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 45036 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13984976 memory=178096 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13984976 memory=178096 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13984976 memory=1384 CPUtime=2.22 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 22455 0 0 0 220 2 0 0 20 0 15 0 154573802 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13984976 memory=1384 CPUtime=1.4 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 17435 0 -1 1077944384 9787 0 0 0 139 1 0 0 20 0 15 0 154573802 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413763287920 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13984976 memory=178096 CPUtime=0.5 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 17435 0 -1 1077944384 6001 0 0 0 49 1 0 0 20 0 15 0 154573802 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413762234864 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1355 0 0 0 1 2 0 0 20 0 15 0 154573802 14320615424 45036 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 226.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 181528 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.01 2.04 1.99 3/218 21890
/proc/meminfo: memFree=22956844/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154573796 9740288 346 33554432000 4194304 5098028 140736342554736 140736342552840 140264990003836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32972800 140736342561909 140736342562112 140736342562112 140736342564843 0
/proc/21783/statm: 2378 346 289 221 0 87 0
[pid=21785] ppid=21783 vsize=13984976 memory=184240 CPUtime=244.2 cores=1,3,5,7
/proc/21785/stat : 21785 (java) S 21783 21783 17435 0 -1 1077944320 52381 0 0 0 24406 14 0 0 20 0 15 0 154573796 14320615424 46060 33554432000 4194304 4196468 140736120040000 140736120022544 140414856957687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
/proc/21785/statm: 3496244 46060 3224 1 0 3483478 0
[pid=21785/tid=21786] ppid=21783 vsize=13984976 memory=6791534058613427641 CPUtime=239.99 cores=1,3,5,7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 17435 0 -1 4202560 10922 0 0 0 23993 6 0 0 20 0 15 0 154573796 14320615424 46060 33554432000 4194304 4196468 140736120040000 140414861188944 140414447322729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21787] ppid=21783 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 46060 33554432000 4194304 4196468 140736120040000 140414772026384 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21788] ppid=21783 vsize=13984976 memory=184240 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 46060 33554432000 4194304 4196468 140736120040000 140414770973840 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21789] ppid=21783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 46060 33554432000 4194304 4196468 140736120040000 140414769920784 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21790] ppid=21783 vsize=13984976 memory=184240 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573797 14320615424 46060 33554432000 4194304 4196468 140736120040000 140414768868240 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21791] ppid=21783 vsize=13984976 memory=182192 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 17435 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413768550640 140414856968834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21792] ppid=21783 vsize=13984976 memory=184240 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413767496864 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21793] ppid=21783 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573799 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413766443760 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21794] ppid=21783 vsize=13984976 memory=184240 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413765392336 140414856976283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21795] ppid=21783 vsize=13984976 memory=4126316290023845779 CPUtime=2.22 cores=1,3,5,7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 17435 0 -1 1077944384 22455 0 0 0 220 2 0 0 20 0 15 0 154573802 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413764340464 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21796] ppid=21783 vsize=13984976 memory=1292 CPUtime=1.4 cores=1,3,5,7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 17435 0 -1 1077944384 9787 0 0 0 139 1 0 0 20 0 15 0 154573802 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413763287920 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21797] ppid=21783 vsize=13984976 memory=1728 CPUtime=0.5 cores=1,3,5,7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 17435 0 -1 1077944384 6010 0 0 0 49 1 0 0 20 0 15 0 154573802 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413762234864 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21798] ppid=21783 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573802 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413761182560 140414856967893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
[pid=21785/tid=21799] ppid=21783 vsize=13984976 memory=1004 CPUtime=0.04 cores=1,3,5,7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 17435 0 -1 1077944384 1355 0 0 0 1 3 0 0 20 0 15 0 154573802 14320615424 46060 33554432000 4194304 4196468 140736120040000 140413760129584 140414856968834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 25391104 140736120046749 140736120046924 140736120046924 140736120049615 0
Current children cumulated CPU time: 244.2 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 185624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 21783 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000925 s, system=0.000925 s
[startup+240.021 s]
# the end of solver process 21785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.081 s, system=0.145969 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 244.227
CPU user time (s): 244.081
CPU system time (s): 0.145969
CPU usage (%): 101.752
Max. virtual memory (cumulated for all children) (KiB): 13996260
Max. memory (cumulated for all children) (KiB): 185624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.081
system time used= 0.145969
maximum resident set size= 191004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7490
involuntary context switches= 133
# summary of solver processes directly reported to runsolver:
# pid: 21783,21785
# total CPU time (s): 244.227
# total CPU user time (s): 244.081
# total CPU system time (s): 0.145969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23015 second user time and 2.26202 second system time
The end