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 (6534 MiB free)
memory of node 1: 16384 MiB (9362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306662-1534041705/watcher-4306662-1534041705 -o /tmp/evaluation-result-4306662-1534041705/solver-4306662-1534041705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534039196-6272 --watchdog 2580 HOME/xcsp3-exec -seed 272859068 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306662-1534041705.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6653, runsolver pid=6650
[startup+0.100086 s]*
/proc/loadavg: 1.71 1.79 1.67 5/218 6669
/proc/meminfo: memFree=16257076/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14082940 memory=31524 CPUtime=0.12 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 15 0 221733657 14420930560 7881 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3520735 7881 3043 1 0 3483012 0
[pid=6655/tid=6656] ppid=6653 vsize=14082940 memory=8043895811950744411 CPUtime=0.08 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 3676 0 0 0 8 0 0 0 20 0 15 0 221733657 14420930560 7881 33554432000 4194304 4196468 140721482755984 140023380355504 140022997347808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14420930560 7881 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14082940 memory=140412288005760 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14420930560 7881 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14420930560 7881 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221733658 14420930560 7881 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14082940 memory=140412288005760 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221733659 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221733659 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022916470176 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221733660 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022915417584 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 221733662 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221733662 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14082940 memory=140412288005760 CPUtime=0.01 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) R 6653 6653 4813 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 15 0 221733662 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022349285616 140023355071362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14082940 memory=140412288005760 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733663 14420930560 7881 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32980 KiB
[startup+0.210819 s]*
/proc/loadavg: 1.71 1.79 1.67 4/218 6669
/proc/meminfo: memFree=16243152/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14087196 memory=43740 CPUtime=0.34 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 8432 0 0 0 32 2 0 0 20 0 15 0 221733657 14425288704 10935 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3521799 10935 3218 1 0 3483012 0
[pid=6655/tid=6656] ppid=6653 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 5543 0 0 0 19 1 0 0 20 0 15 0 221733657 14425288704 10935 33554432000 4194304 4196468 140721482755984 140023380350776 140022997347808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14087196 memory=11619 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 10935 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14087196 memory=3473034978509485728 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 10935 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 10935 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 10935 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14087196 memory=140412288005760 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221733659 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221733659 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022916470176 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221733660 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022915417584 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 799 0 0 0 3 0 0 0 20 0 15 0 221733662 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 15 0 221733662 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14087196 memory=140412288005760 CPUtime=0.08 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 221733662 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733663 14425288704 10935 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 45196 KiB
[startup+0.313623 s]*
/proc/loadavg: 1.71 1.79 1.67 5/218 6669
/proc/meminfo: memFree=16234272/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14087196 memory=50320 CPUtime=0.52 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 9236 0 0 0 50 2 0 0 20 0 15 0 221733657 14425288704 12580 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3521799 12580 3246 1 0 3483012 0
[pid=6655/tid=6656] ppid=6653 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 6292 0 0 0 28 1 0 0 20 0 15 0 221733657 14425288704 12580 33554432000 4194304 4196468 140721482755984 140023380359616 140023360210270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 12580 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 12580 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 12580 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221733658 14425288704 12580 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221733659 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221733659 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022916470176 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221733660 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022915417584 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14087196 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14087196 memory=8325818968683490714 CPUtime=0.04 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 810 0 0 0 4 0 0 0 20 0 15 0 221733662 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 58 0 0 0 3 0 0 0 20 0 15 0 221733662 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 15 0 221733662 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733663 14425288704 12580 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51776 KiB
[startup+0.701665 s]
/proc/loadavg: 1.71 1.79 1.67 6/218 6669
/proc/meminfo: memFree=16205300/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14089320 memory=103648 CPUtime=1.82 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 13896 0 0 0 178 4 0 0 20 0 15 0 221733657 14427463680 25912 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3522330 25912 3357 1 0 3483524 0
[pid=6655/tid=6656] ppid=6653 vsize=14089320 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 6740 0 0 0 65 2 0 0 20 0 15 0 221733657 14427463680 25912 33554432000 4194304 4196468 140721482755984 140023380360864 140023000519325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14427463680 25912 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14427463680 25912 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14089320 memory=60168 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733658 14427463680 25912 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14089320 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221733658 14427463680 25912 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14089320 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221733659 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14089320 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221733659 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022916470176 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14089320 memory=748 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221733660 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022915417584 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14089320 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14089320 memory=4552 CPUtime=0.37 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) R 6653 6653 4813 0 -1 4202560 1958 0 0 0 37 0 0 0 20 0 15 0 221733662 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022351383808 140023360523663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14089320 memory=3732 CPUtime=0.33 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) R 6653 6653 4813 0 -1 4202560 1674 0 0 0 33 0 0 0 20 0 15 0 221733662 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022350326832 140023356831447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14089320 memory=1228 CPUtime=0.4 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 2220 0 0 0 40 0 0 0 20 0 15 0 221733662 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14089320 memory=10624 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14089320 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221733663 14427463680 25912 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105104 KiB
[startup+1.50168 s]
/proc/loadavg: 1.71 1.79 1.67 5/218 6669
/proc/meminfo: memFree=16093348/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 221733660 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022915417600 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14091368 memory=1189844 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14091368 memory=3816 CPUtime=4.95 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 26804 0 0 0 491 4 0 0 20 0 15 0 221733662 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14091368 memory=1456 CPUtime=6.24 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 29565 0 0 0 621 3 0 0 20 0 15 0 221733662 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14091368 memory=1191892 CPUtime=1.17 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 17527 0 0 0 115 2 0 0 20 0 15 0 221733662 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14091368 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1268 0 0 0 51 74 0 0 20 0 15 0 221733663 14429560832 297973 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 2396.88 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1193348 KiB
[startup+2442.3 s]
/proc/loadavg: 1.63 1.75 1.77 3/218 6763
/proc/meminfo: memFree=9248996/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14091368 memory=1220564 CPUtime=2456.92 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 111704 0 0 0 245581 111 0 0 20 0 15 0 221733657 14429560832 305141 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3522842 305141 3429 1 0 3484036 0
[pid=6655/tid=6656] ppid=6653 vsize=14091368 memory=1216468 CPUtime=2442.23 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 27855 0 0 0 244205 18 0 0 20 0 15 0 221733657 14429560832 305141 33554432000 4194304 4196468 140721482755984 140023380368616 140023007764737 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14091368 memory=1214420 CPUtime=0.26 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1850 0 0 0 20 6 0 0 20 0 15 0 221733658 14429560832 305141 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14091368 memory=1220564 CPUtime=0.23 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 847 0 0 0 18 5 0 0 20 0 15 0 221733658 14429560832 305141 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14091368 memory=1456 CPUtime=0.21 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1932 0 0 0 16 5 0 0 20 0 15 0 221733658 14429560832 305141 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14091368 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 428 0 0 0 16 4 0 0 20 0 15 0 221733658 14429560832 305141 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14091368 memory=1456 CPUtime=0.07 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 2312 0 0 0 4 3 0 0 20 0 15 0 221733659 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14091368 memory=1218516 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 221733659 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022916470240 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14091368 memory=1216468 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 221733660 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022915417600 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14091368 memory=1456 CPUtime=4.95 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 26804 0 0 0 491 4 0 0 20 0 15 0 221733662 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14091368 memory=1456 CPUtime=6.24 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 29565 0 0 0 621 3 0 0 20 0 15 0 221733662 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14091368 memory=1456 CPUtime=1.17 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 17527 0 0 0 115 2 0 0 20 0 15 0 221733662 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14091368 memory=1220564 CPUtime=1.28 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1274 0 0 0 52 76 0 0 20 0 15 0 221733663 14429560832 305141 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 2456.92 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1222020 KiB
[startup+2502.3 s]
/proc/loadavg: 1.71 1.75 1.77 5/218 6845
/proc/meminfo: memFree=14860164/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14091368 memory=1255380 CPUtime=2516.97 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 112014 0 0 0 251583 114 0 0 20 0 15 0 221733657 14429560832 313845 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3522842 313845 3429 1 0 3484036 0
[pid=6655/tid=6656] ppid=6653 vsize=14091368 memory=1236948 CPUtime=2502.23 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 28134 0 0 0 250204 19 0 0 20 0 15 0 221733657 14429560832 313845 33554432000 4194304 4196468 140721482755984 140023380368616 140023007765140 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14091368 memory=1255380 CPUtime=0.26 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1850 0 0 0 20 6 0 0 20 0 15 0 221733658 14429560832 313845 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14091368 memory=1253332 CPUtime=0.23 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 847 0 0 0 18 5 0 0 20 0 15 0 221733658 14429560832 313845 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14091368 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1932 0 0 0 16 5 0 0 20 0 15 0 221733658 14429560832 313845 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14091368 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 428 0 0 0 16 4 0 0 20 0 15 0 221733658 14429560832 313845 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14091368 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 2317 0 0 0 4 4 0 0 20 0 15 0 221733659 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 221733659 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022916470240 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14091368 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 221733660 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022915417600 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14091368 memory=60236 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14091368 memory=3816 CPUtime=4.95 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 26806 0 0 0 491 4 0 0 20 0 15 0 221733662 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14091368 memory=60236 CPUtime=6.24 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 29567 0 0 0 621 3 0 0 20 0 15 0 221733662 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14091368 memory=1456 CPUtime=1.17 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 17529 0 0 0 115 2 0 0 20 0 15 0 221733662 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14091368 memory=1249236 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14091368 memory=1576 CPUtime=1.31 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1294 0 0 0 53 78 0 0 20 0 15 0 221733663 14429560832 313845 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 2516.97 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1256836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.4 s]
/proc/loadavg: 2.21 1.85 1.81 3/218 6845
/proc/meminfo: memFree=14860660/32770624 swapFree=67108504/67108860
[pid=6653] ppid=6650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6653/stat : 6653 (xcsp3-exec) S 6650 6653 4813 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221733656 115843072 364 33554432000 4194304 5098028 140722655655792 140722655653896 140074383725180 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39825408 140722655659067 140722655659268 140722655659268 140722655662026 0
/proc/6653/statm: 28282 364 306 221 0 87 0
[pid=6655] ppid=6653 vsize=14091368 memory=1257428 CPUtime=2520.07 cores=1,3,5,7
/proc/6655/stat : 6655 (java) S 6653 6653 4813 0 -1 1077944320 112019 0 0 0 251893 114 0 0 20 0 15 0 221733657 14429560832 314357 33554432000 4194304 4196468 140721482755984 140721482738528 140023376129783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
/proc/6655/statm: 3522842 314357 3429 1 0 3484036 0
[pid=6655/tid=6656] ppid=6653 vsize=14091368 memory=14127849082719513 CPUtime=2505.33 cores=1,3,5,7
/proc/6655/task/6656/stat : 6656 (java) R 6653 6653 4813 0 -1 4202560 28139 0 0 0 250514 19 0 0 20 0 15 0 221733657 14429560832 314357 33554432000 4194304 4196468 140721482755984 140023380368616 140023007765068 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6657] ppid=6653 vsize=14091368 memory=3992 CPUtime=0.26 cores=1,3,5,7
/proc/6655/task/6657/stat : 6657 (java) S 6653 6653 4813 0 -1 1077944384 1850 0 0 0 20 6 0 0 20 0 15 0 221733658 14429560832 314357 33554432000 4194304 4196468 140721482755984 140023328749840 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6658] ppid=6653 vsize=14091368 memory=1928 CPUtime=0.23 cores=1,3,5,7
/proc/6655/task/6658/stat : 6658 (java) S 6653 6653 4813 0 -1 1077944384 847 0 0 0 18 5 0 0 20 0 15 0 221733658 14429560832 314357 33554432000 4194304 4196468 140721482755984 140023327697296 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6659] ppid=6653 vsize=14091368 memory=7532 CPUtime=0.21 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (java) S 6653 6653 4813 0 -1 1077944384 1932 0 0 0 16 5 0 0 20 0 15 0 221733658 14429560832 314357 33554432000 4194304 4196468 140721482755984 140023326644752 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6660] ppid=6653 vsize=14091368 memory=808 CPUtime=0.2 cores=1,3,5,7
/proc/6655/task/6660/stat : 6660 (java) S 6653 6653 4813 0 -1 1077944384 428 0 0 0 16 4 0 0 20 0 15 0 221733658 14429560832 314357 33554432000 4194304 4196468 140721482755984 140023325592208 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6661] ppid=6653 vsize=14091368 memory=1692 CPUtime=0.08 cores=1,3,5,7
/proc/6655/task/6661/stat : 6661 (java) S 6653 6653 4813 0 -1 1077944384 2317 0 0 0 4 4 0 0 20 0 15 0 221733659 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022917523952 140023376140930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6662] ppid=6653 vsize=14091368 memory=916 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6662/stat : 6662 (java) S 6653 6653 4813 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 221733659 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022916470240 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6663] ppid=6653 vsize=14091368 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6663/stat : 6663 (java) S 6653 6653 4813 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 221733660 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022915417600 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6664] ppid=6653 vsize=14091368 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6664/stat : 6664 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022914366160 140023376148379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6665] ppid=6653 vsize=14091368 memory=2584 CPUtime=4.95 cores=1,3,5,7
/proc/6655/task/6665/stat : 6665 (java) S 6653 6653 4813 0 -1 1077944384 26806 0 0 0 491 4 0 0 20 0 15 0 221733662 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022351390704 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6666] ppid=6653 vsize=14091368 memory=4112 CPUtime=6.24 cores=1,3,5,7
/proc/6655/task/6666/stat : 6666 (java) S 6653 6653 4813 0 -1 1077944384 29567 0 0 0 621 3 0 0 20 0 15 0 221733662 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022350338160 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6667] ppid=6653 vsize=14091368 memory=1456 CPUtime=1.17 cores=1,3,5,7
/proc/6655/task/6667/stat : 6667 (java) S 6653 6653 4813 0 -1 1077944384 17529 0 0 0 115 2 0 0 20 0 15 0 221733662 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022349285616 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6668] ppid=6653 vsize=14091368 memory=6676 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6668/stat : 6668 (java) S 6653 6653 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221733662 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022348233312 140023376139989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
[pid=6655/tid=6669] ppid=6653 vsize=14091368 memory=8112282956445269571 CPUtime=1.31 cores=1,3,5,7
/proc/6655/task/6669/stat : 6669 (java) S 6653 6653 4813 0 -1 1077944384 1294 0 0 0 53 78 0 0 20 0 15 0 221733663 14429560832 314357 33554432000 4194304 4196468 140721482755984 140022347180848 140023376140930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721482761350 140721482761521 140721482761521 140721482764239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1258884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.43 s]
# the end of solver process 6653 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002272 s, system=0 s
[startup+2505.45 s]
# the end of solver process 6655 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.05 s, system=1.17736 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): 2505.45
CPU time (s): 2520.22
CPU user time (s): 2519.05
CPU system time (s): 1.17736
CPU usage (%): 100.59
Max. virtual memory (cumulated for all children) (KiB): 14207216
Max. memory (cumulated for all children) (KiB): 1258884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 1.17736
maximum resident set size= 1286656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114293
page faults= 0
swaps= 0
block input operations= 440
block output operations= 2000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58221
involuntary context switches= 1157
# summary of solver processes directly reported to runsolver:
# pid: 6653,6655
# total CPU time (s): 2520.22
# total CPU user time (s): 2519.05
# total CPU system time (s): 1.17736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7612 second user time and 24.9595 second system time
The end