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 (3051 MiB free)
memory of node 1: 16384 MiB (4364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306968-1534151065/watcher-4306968-1534151065 -o /tmp/evaluation-result-4306968-1534151065/solver-4306968-1534151065 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534138525-29335 --watchdog 2580 HOME/xcsp3-exec -seed 1202642057 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306968-1534151065.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=30778, runsolver pid=30775
[startup+0.100644 s]*
/proc/loadavg: 1.50 1.57 1.63 3/224 30794
/proc/meminfo: memFree=7576428/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14082940 memory=29116 CPUtime=0.12 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 5646 0 0 0 11 1 0 0 20 0 15 0 232669703 14420930560 7279 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3520735 7279 3026 1 0 3483012 0
[pid=30780/tid=30781] ppid=30778 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 15 0 232669704 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607958989872 140607954775446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14082940 memory=139831960004224 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232669705 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14082940 memory=139831960004224 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232669706 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232669706 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232669706 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 232669709 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 232669709 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14082940 memory=139831960004224 CPUtime=0.01 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) R 30778 30778 28743 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 232669709 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607287679088 140607933703012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14082940 memory=139831960004224 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669709 14420930560 7279 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30568 KiB
[startup+0.211086 s]*
/proc/loadavg: 1.50 1.57 1.63 4/224 30794
/proc/meminfo: memFree=7527408/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14087196 memory=41228 CPUtime=0.35 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 8359 0 0 0 32 3 0 0 20 0 15 0 232669703 14425288704 10307 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3521799 10307 3203 1 0 3483012 0
[pid=30780/tid=30781] ppid=30778 vsize=14087196 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 5491 0 0 0 18 1 0 0 20 0 15 0 232669704 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607958984504 140607947441525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14087196 memory=8969 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14087196 memory=288370208111715968 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14087196 memory=139831960004224 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232669706 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232669706 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232669706 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 232669709 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 15 0 232669709 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14087196 memory=139831960004224 CPUtime=0.07 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 28743 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 15 0 232669709 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607287679088 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669709 14425288704 10307 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42680 KiB
[startup+0.31112 s]*
/proc/loadavg: 1.50 1.57 1.63 4/224 30794
/proc/meminfo: memFree=7520708/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14087196 memory=48080 CPUtime=0.53 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 9242 0 0 0 50 3 0 0 20 0 15 0 232669703 14425288704 12020 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3521799 12020 3253 1 0 3483012 0
[pid=30780/tid=30781] ppid=30778 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 6185 0 0 0 28 2 0 0 20 0 15 0 232669704 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607958994624 140607936327067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232669705 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232669706 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232669706 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232669706 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14087196 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 580 0 0 0 3 0 0 0 20 0 15 0 232669709 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 310 0 0 0 5 0 0 0 20 0 15 0 232669709 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 28743 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 232669709 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607287679088 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669709 14425288704 12020 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49532 KiB
[startup+0.701273 s]
/proc/loadavg: 1.50 1.57 1.63 6/224 30794
/proc/meminfo: memFree=7502960/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089320 memory=69688 CPUtime=1.59 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 12664 0 0 0 154 5 0 0 20 0 15 0 232669703 14427463680 17422 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3522330 17422 3365 1 0 3483524 0
[pid=30780/tid=30781] ppid=30778 vsize=14089320 memory=63320 CPUtime=0.67 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 7147 0 0 0 65 2 0 0 20 0 15 0 232669704 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607958997728 140607954784858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14089320 memory=2252 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669705 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14089320 memory=756 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232669705 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14089320 memory=11796 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14089320 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14089320 memory=1388 CPUtime=0.26 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) R 30778 30778 28743 0 -1 4202560 1325 0 0 0 26 0 0 0 20 0 15 0 232669709 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607289776640 140607939889588 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14089320 memory=1228 CPUtime=0.26 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) R 30778 30778 28743 0 -1 4202560 970 0 0 0 26 0 0 0 20 0 15 0 232669709 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607288712904 140607938263709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14089320 memory=880 CPUtime=0.35 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) R 30778 30778 28743 0 -1 1077944384 1914 0 0 0 34 1 0 0 20 0 15 0 232669709 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607287674464 140607954773717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14089320 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14089320 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 17422 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 71140 KiB
[startup+1.50086 s]
/proc/loadavg: 1.50 1.57 1.63 5/224 30794
/proc/meminfo: memFree=7441668/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14089320 memory=2326916 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14089320 memory=11796 CPUtime=1.55 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 12403 0 0 0 154 1 0 0 20 0 15 0 232669709 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14089320 memory=5772 CPUtime=1.6 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 8334 0 0 0 159 1 0 0 20 0 15 0 232669709 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14089320 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 28743 0 -1 1077944384 6695 0 0 0 47 1 0 0 20 0 15 0 232669709 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607287679088 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14089320 memory=1452 CPUtime=0.76 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1616 0 0 0 31 45 0 0 20 0 15 0 232669709 14427463680 581215 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 2347.44 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2326312 KiB
[startup+2382.3 s]
/proc/loadavg: 1.73 1.69 1.62 3/221 30955
/proc/meminfo: memFree=6434592/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089320 memory=2311000 CPUtime=2408.22 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 207917 0 0 0 240588 234 0 0 20 0 15 0 232669703 14427463680 577750 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3522330 577750 3423 1 0 3483524 0
[pid=30780/tid=30781] ppid=30778 vsize=14089320 memory=2311512 CPUtime=2371.85 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 109583 0 0 0 237085 100 0 0 20 0 15 0 232669704 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607959003024 140607586538700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14089320 memory=2310492 CPUtime=7.47 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 11695 0 0 0 729 18 0 0 20 0 15 0 232669705 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14089320 memory=2312544 CPUtime=7.47 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 12578 0 0 0 729 18 0 0 20 0 15 0 232669705 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14089320 memory=2312028 CPUtime=7.46 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 12717 0 0 0 728 18 0 0 20 0 15 0 232669705 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14089320 memory=2311000 CPUtime=7.47 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 11517 0 0 0 729 18 0 0 20 0 15 0 232669705 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14089320 memory=1452 CPUtime=1.97 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 19390 0 0 0 171 26 0 0 20 0 15 0 232669706 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14089320 memory=2311000 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14089320 memory=3768 CPUtime=1.55 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 12405 0 0 0 154 1 0 0 20 0 15 0 232669709 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14089320 memory=63356 CPUtime=1.6 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 8336 0 0 0 159 1 0 0 20 0 15 0 232669709 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14089320 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 28743 0 -1 1077944384 6697 0 0 0 47 1 0 0 20 0 15 0 232669709 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607287679088 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14089320 memory=2311000 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14089320 memory=2412 CPUtime=0.78 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1631 0 0 0 32 46 0 0 20 0 15 0 232669709 14427463680 577750 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 2408.22 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2312452 KiB
[startup+2442.3 s]
/proc/loadavg: 1.87 1.74 1.64 3/221 30957
/proc/meminfo: memFree=4918824/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089320 memory=2302784 CPUtime=2469.34 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 210621 0 0 0 246697 237 0 0 20 0 15 0 232669703 14427463680 575696 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3522330 575696 3423 1 0 3483524 0
[pid=30780/tid=30781] ppid=30778 vsize=14089320 memory=2303296 CPUtime=2431.43 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 110072 0 0 0 243043 100 0 0 20 0 15 0 232669704 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607959003024 140607587574095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14089320 memory=2302276 CPUtime=7.84 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 12717 0 0 0 766 18 0 0 20 0 15 0 232669705 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14089320 memory=2306380 CPUtime=7.84 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 13001 0 0 0 766 18 0 0 20 0 15 0 232669705 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14089320 memory=2304328 CPUtime=7.83 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 13057 0 0 0 765 18 0 0 20 0 15 0 232669705 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14089320 memory=2303812 CPUtime=7.86 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 11747 0 0 0 767 19 0 0 20 0 15 0 232669705 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14089320 memory=2303300 CPUtime=2.01 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 19569 0 0 0 174 27 0 0 20 0 15 0 232669706 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14089320 memory=2303296 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14089320 memory=2636 CPUtime=1.55 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 12407 0 0 0 154 1 0 0 20 0 15 0 232669709 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14089320 memory=3768 CPUtime=1.6 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 8338 0 0 0 159 1 0 0 20 0 15 0 232669709 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14089320 memory=63356 CPUtime=0.48 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 28743 0 -1 1077944384 6699 0 0 0 47 1 0 0 20 0 15 0 232669709 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607287679088 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14089320 memory=2303296 CPUtime=0.79 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1646 0 0 0 32 47 0 0 20 0 15 0 232669709 14427463680 575696 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 2469.34 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2304236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.8 s]
/proc/loadavg: 1.78 1.75 1.65 3/221 30958
/proc/meminfo: memFree=6507472/32770624 swapFree=67108852/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232669703 115843072 363 33554432000 4194304 5098028 140728423874736 140728423872840 139683354628732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140728423879738 140728423879940 140728423879940 140728423882698 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089320 memory=610640 CPUtime=2520.05 cores=1,3,5,7
/proc/30780/stat : 30780 (java) S 30778 30778 28743 0 -1 1077944320 214758 0 0 0 251765 240 0 0 20 0 15 0 232669703 14427463680 152660 33554432000 4194304 4196468 140728019989600 140728019972144 140607954763511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
/proc/30780/statm: 3522330 152660 3423 1 0 3483524 0
[pid=30780/tid=30781] ppid=30778 vsize=14089320 memory=5772 CPUtime=2481.78 cores=1,3,5,7
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 28743 0 -1 4202560 110676 0 0 0 248078 100 0 0 20 0 15 0 232669704 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607959003024 140607587574915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30782] ppid=30778 vsize=14089320 memory=4616 CPUtime=7.91 cores=1,3,5,7
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 28743 0 -1 1077944384 13195 0 0 0 772 19 0 0 20 0 15 0 232669705 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607907383952 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30783] ppid=30778 vsize=14089320 memory=251764 CPUtime=7.91 cores=1,3,5,7
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 28743 0 -1 1077944384 13166 0 0 0 772 19 0 0 20 0 15 0 232669705 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607906331152 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30784] ppid=30778 vsize=14089320 memory=247939 CPUtime=7.9 cores=1,3,5,7
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 28743 0 -1 1077944384 13503 0 0 0 771 19 0 0 20 0 15 0 232669705 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607905278352 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30785] ppid=30778 vsize=14089320 memory=791 CPUtime=7.92 cores=1,3,5,7
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 28743 0 -1 1077944384 11942 0 0 0 773 19 0 0 20 0 15 0 232669705 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607904225552 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30786] ppid=30778 vsize=14089320 memory=791 CPUtime=2.08 cores=1,3,5,7
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 28743 0 -1 1077944384 21791 0 0 0 179 29 0 0 20 0 15 0 232669706 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607293995888 140607954774658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30787] ppid=30778 vsize=14089320 memory=279663708868928 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 28743 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607292941856 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30788] ppid=30778 vsize=14089320 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 28743 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 232669706 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607291889008 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30789] ppid=30778 vsize=14089320 memory=1176 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607290837328 140607954782107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30790] ppid=30778 vsize=14089320 memory=35216 CPUtime=1.55 cores=1,3,5,7
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 28743 0 -1 1077944384 12411 0 0 0 154 1 0 0 20 0 15 0 232669709 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607289784688 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30791] ppid=30778 vsize=14089320 memory=1452 CPUtime=1.6 cores=1,3,5,7
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 28743 0 -1 1077944384 8342 0 0 0 159 1 0 0 20 0 15 0 232669709 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607288731888 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30792] ppid=30778 vsize=14089320 memory=611664 CPUtime=0.48 cores=1,3,5,7
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 28743 0 -1 1077944384 6703 0 0 0 47 1 0 0 20 0 15 0 232669709 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607287679088 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30793] ppid=30778 vsize=14089320 memory=2252 CPUtime=0 cores=1,3,5,7
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232669709 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607286626528 140607954773717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
[pid=30780/tid=30794] ppid=30778 vsize=14089320 memory=1796 CPUtime=0.81 cores=1,3,5,7
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 28743 0 -1 1077944384 1661 0 0 0 33 48 0 0 20 0 15 0 232669709 14427463680 152660 33554432000 4194304 4196468 140728019989600 140607285574832 140607954774658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 19521536 140728019997830 140728019998001 140728019998001 140728020000719 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 612092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.81 s]
# the end of solver process 30778 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001074 s, system=0.001074 s
[startup+2492.82 s]
# the end of solver process 30780 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.67 s, system=2.41908 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): 2492.82
CPU time (s): 2520.09
CPU user time (s): 2517.67
CPU system time (s): 2.41908
CPU usage (%): 101.094
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 2361732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.67
system time used= 2.41907
maximum resident set size= 2361204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106262
involuntary context switches= 3367
# summary of solver processes directly reported to runsolver:
# pid: 30778,30780
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.67
# total CPU system time (s): 2.41908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.106 second user time and 23.921 second system time
The end