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 (4760 MiB free)
memory of node 1: 16384 MiB (9976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306757-1534113456/watcher-4306757-1534113456 -o /tmp/evaluation-result-4306757-1534113456/solver-4306757-1534113456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2741 --watchdog 2580 HOME/xcsp3-exec -seed 1531794591 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306757-1534113456.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
solver pid=5705, runsolver pid=5702
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 2.32 2.14 1.85 3/217 5721
/proc/meminfo: memFree=15073504/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14082940 memory=28544 CPUtime=0.12 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 5551 0 0 0 11 1 0 0 20 0 15 0 228908860 14420930560 7136 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3520735 7136 2997 1 0 3483012 0
[pid=5707/tid=5708] ppid=5705 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 3575 0 0 0 8 0 0 0 20 0 15 0 228908861 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404820972208 140404816752022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14082940 memory=3472468264792319184 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908863 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228908863 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228908863 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0.01 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 15 0 228908866 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 7136 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30000 KiB
[startup+0.210578 s]*
/proc/loadavg: 2.32 2.14 1.85 4/217 5721
/proc/meminfo: memFree=15062588/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14082940 memory=40912 CPUtime=0.34 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 8294 0 0 0 32 2 0 0 20 0 15 0 228908860 14420930560 10228 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3520735 10228 3183 1 0 3483012 0
[pid=5707/tid=5708] ppid=5705 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 5440 0 0 0 18 1 0 0 20 0 15 0 228908861 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404820975072 140404800820574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14082940 memory=3472468264792319184 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228908863 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228908863 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228908863 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 642 0 0 0 2 0 0 0 20 0 15 0 228908866 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 228908866 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0.08 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 228908866 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14082940 memory=140135897167488 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908866 14420930560 10228 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42368 KiB
[startup+0.313799 s]*
/proc/loadavg: 2.32 2.14 1.85 4/217 5721
/proc/meminfo: memFree=15055880/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14087196 memory=48420 CPUtime=0.52 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 9235 0 0 0 50 2 0 0 20 0 15 0 228908860 14425288704 12105 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3521799 12105 3262 1 0 3483012 0
[pid=5707/tid=5708] ppid=5705 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 6191 0 0 0 28 2 0 0 20 0 15 0 228908861 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404820971200 140404800820574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14087196 memory=3472468264792319184 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14087196 memory=140135897167488 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14087196 memory=9 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14087196 memory=140135790422047 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14087196 memory=280271580804864 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228908863 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14087196 memory=140135790398991 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228908863 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14087196 memory=280271687575648 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228908863 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14087196 memory=140135790403599 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 733 0 0 0 5 0 0 0 20 0 15 0 228908866 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 15 0 228908866 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 228908866 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908866 14425288704 12105 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49876 KiB
[startup+0.700753 s]
/proc/loadavg: 2.32 2.14 1.85 6/217 5721
/proc/meminfo: memFree=15041984/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14089320 memory=75888 CPUtime=1.61 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 12144 0 0 0 157 4 0 0 20 0 15 0 228908860 14427463680 18972 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3522330 18972 3366 1 0 3483524 0
[pid=5707/tid=5708] ppid=5705 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 7033 0 0 0 64 3 0 0 20 0 15 0 228908861 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404820978992 140404443965140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228908861 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908861 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14089320 memory=62232 CPUtime=0.25 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 1160 0 0 0 25 0 0 0 20 0 15 0 228908866 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14089320 memory=1220 CPUtime=0.24 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 796 0 0 0 24 0 0 0 20 0 15 0 228908866 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14089320 memory=2380 CPUtime=0.42 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) R 5705 5705 2709 0 -1 4202560 1850 0 0 0 42 0 0 0 20 0 15 0 228908866 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404284418800 140404809839934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 18972 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 77344 KiB
[startup+1.50086 s]
/proc/loadavg: 2.32 2.14 1.85 6/217 5721
/proc/meminfo: memFree=15020648/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14089320 memory=1456 CPUtime=2.52 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 22372 0 0 0 250 2 0 0 20 0 15 0 228908866 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14089320 memory=3892 CPUtime=2.33 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 18529 0 0 0 231 2 0 0 20 0 15 0 228908866 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14089320 memory=1456 CPUtime=0.61 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 9512 0 0 0 60 1 0 0 20 0 15 0 228908866 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14089320 memory=1456 CPUtime=0.59 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 2018 0 0 0 27 32 0 0 20 0 15 0 228908866 14427463680 887297 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 2394.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3550644 KiB
[startup+2442.3 s]
/proc/loadavg: 1.89 1.89 1.87 3/217 6126
/proc/meminfo: memFree=12207268/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14089320 memory=3547664 CPUtime=2454.86 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 292336 0 0 0 244587 899 0 0 20 0 15 0 228908860 14427463680 886916 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3522330 886916 3436 1 0 3483524 0
[pid=5707/tid=5708] ppid=5705 vsize=14089320 memory=1456 CPUtime=2438.56 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 150627 0 0 0 243041 815 0 0 20 0 15 0 228908861 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404820979488 140404449402714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14089320 memory=3547664 CPUtime=2.24 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 11655 0 0 0 218 6 0 0 20 0 15 0 228908861 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14089320 memory=3549188 CPUtime=2.25 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 10766 0 0 0 218 7 0 0 20 0 15 0 228908861 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14089320 memory=3548176 CPUtime=2.24 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 9432 0 0 0 218 6 0 0 20 0 15 0 228908861 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14089320 memory=0 CPUtime=2.24 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 10902 0 0 0 218 6 0 0 20 0 15 0 228908861 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14089320 memory=1456 CPUtime=1.18 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 45106 0 0 0 89 29 0 0 20 0 15 0 228908863 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14089320 memory=3548176 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14089320 memory=3548176 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14089320 memory=3548176 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14089320 memory=3548176 CPUtime=2.52 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 22374 0 0 0 250 2 0 0 20 0 15 0 228908866 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14089320 memory=3548176 CPUtime=2.33 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 18531 0 0 0 231 2 0 0 20 0 15 0 228908866 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14089320 memory=3547664 CPUtime=0.61 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 9515 0 0 0 60 1 0 0 20 0 15 0 228908866 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14089320 memory=3548176 CPUtime=0.6 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 2037 0 0 0 27 33 0 0 20 0 15 0 228908866 14427463680 886916 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 2454.86 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3549120 KiB
[startup+2502.3 s]
/proc/loadavg: 1.68 1.83 1.85 3/217 6127
/proc/meminfo: memFree=14657032/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14089320 memory=1155056 CPUtime=2515.36 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 305522 0 0 0 250558 978 0 0 20 0 15 0 228908860 14427463680 288764 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3522330 288764 3436 1 0 3483524 0
[pid=5707/tid=5708] ppid=5705 vsize=14089320 memory=1103660 CPUtime=2498.29 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 159327 0 0 0 248939 890 0 0 20 0 15 0 228908861 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404820979752 140404448675404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14089320 memory=4947272 CPUtime=2.4 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 12365 0 0 0 234 6 0 0 20 0 15 0 228908861 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14089320 memory=5900240 CPUtime=2.41 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 11076 0 0 0 234 7 0 0 20 0 15 0 228908861 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14089320 memory=7757348 CPUtime=2.4 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 10342 0 0 0 234 6 0 0 20 0 15 0 228908861 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14089320 memory=7808744 CPUtime=2.41 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 11119 0 0 0 235 6 0 0 20 0 15 0 228908861 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14089320 memory=7958340 CPUtime=1.27 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 47417 0 0 0 95 32 0 0 20 0 15 0 228908863 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14089320 memory=7354372 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14089320 memory=1456 CPUtime=2.53 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 22376 0 0 0 251 2 0 0 20 0 15 0 228908866 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14089320 memory=902164 CPUtime=2.34 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 18533 0 0 0 232 2 0 0 20 0 15 0 228908866 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14089320 memory=3892 CPUtime=0.61 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 9518 0 0 0 60 1 0 0 20 0 15 0 228908866 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14089320 memory=62308 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14089320 memory=632232 CPUtime=0.62 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 2058 0 0 0 28 34 0 0 20 0 15 0 228908866 14427463680 288764 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 2515.36 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1156512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507 s]*
/proc/loadavg: 1.63 1.82 1.85 3/217 6127
/proc/meminfo: memFree=14036952/32770624 swapFree=67108792/67108860
[pid=5705] ppid=5702 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (xcsp3-exec) S 5702 5705 2709 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228908860 115843072 364 33554432000 4194304 5098028 140733853541888 140733853539992 139852955771516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15937536 140733853549626 140733853549828 140733853549828 140733853552586 0
/proc/5705/statm: 28282 364 306 221 0 87 0
[pid=5707] ppid=5705 vsize=14089320 memory=1710196 CPUtime=2520.07 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5705 5705 2709 0 -1 1077944320 306340 0 0 0 251021 986 0 0 20 0 15 0 228908860 14427463680 427549 33554432000 4194304 4196468 140723234967440 140723234949984 140404816740087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
/proc/5707/statm: 3522330 427549 3436 1 0 3483524 0
[pid=5707/tid=5708] ppid=5705 vsize=14089320 memory=8112282956445269571 CPUtime=2503 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5705 5705 2709 0 -1 4202560 160143 0 0 0 249402 898 0 0 20 0 15 0 228908861 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404820979752 140404449805487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5709] ppid=5705 vsize=14089320 memory=0 CPUtime=2.4 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5705 5705 2709 0 -1 1077944384 12365 0 0 0 234 6 0 0 20 0 15 0 228908861 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404769360656 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5710] ppid=5705 vsize=14089320 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5705 5705 2709 0 -1 1077944384 11076 0 0 0 234 7 0 0 20 0 15 0 228908861 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404768308112 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5711] ppid=5705 vsize=14089320 memory=3472328296258681459 CPUtime=2.4 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5705 5705 2709 0 -1 1077944384 10342 0 0 0 234 6 0 0 20 0 15 0 228908861 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404767255568 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5712] ppid=5705 vsize=14089320 memory=3472566934328141922 CPUtime=2.41 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5705 5705 2709 0 -1 1077944384 11119 0 0 0 235 6 0 0 20 0 15 0 228908861 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404766203024 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5713] ppid=5705 vsize=14089320 memory=3472464034078336688 CPUtime=1.27 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5705 5705 2709 0 -1 1077944384 47417 0 0 0 95 32 0 0 20 0 15 0 228908863 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404290734064 140404816751234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5714] ppid=5705 vsize=14089320 memory=3473455226943977527 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5705 5705 2709 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404289680288 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5715] ppid=5705 vsize=14089320 memory=4137282578176515228 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5705 5705 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228908863 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404288627696 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5716] ppid=5705 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404287576272 140404816758683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5717] ppid=5705 vsize=14089320 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5705 5705 2709 0 -1 1077944384 22376 0 0 0 251 2 0 0 20 0 15 0 228908866 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404286523888 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5718] ppid=5705 vsize=14089320 memory=7166468868810962039 CPUtime=2.34 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5705 5705 2709 0 -1 1077944384 18533 0 0 0 232 2 0 0 20 0 15 0 228908866 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404285471344 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5719] ppid=5705 vsize=14089320 memory=3761824725363533728 CPUtime=0.61 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5705 5705 2709 0 -1 1077944384 9518 0 0 0 60 1 0 0 20 0 15 0 228908866 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404284418800 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5720] ppid=5705 vsize=14089320 memory=3763094171694674485 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5705 5705 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228908866 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404283366496 140404816750293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
[pid=5707/tid=5721] ppid=5705 vsize=14089320 memory=3617156500219570359 CPUtime=0.62 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5705 5705 2709 0 -1 1077944384 2060 0 0 0 28 34 0 0 20 0 15 0 228908866 14427463680 427549 33554432000 4194304 4196468 140723234967440 140404282313008 140404816751234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 35225600 140723234968710 140723234968881 140723234968881 140723234971599 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1711652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.02 s]
# the end of solver process 5705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001145 s, system=0.001145 s
[startup+2507.03 s]
# the end of solver process 5707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.22 s, system=9.88172 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): 2507.03
CPU time (s): 2520.11
CPU user time (s): 2510.22
CPU system time (s): 9.88172
CPU usage (%): 100.522
Max. virtual memory (cumulated for all children) (KiB): 14204492
Max. memory (cumulated for all children) (KiB): 8064604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.22
system time used= 9.88172
maximum resident set size= 8063148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70553
involuntary context switches= 1950
# summary of solver processes directly reported to runsolver:
# pid: 5705,5707
# total CPU time (s): 2520.11
# total CPU user time (s): 2510.22
# total CPU system time (s): 9.88172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9529 second user time and 23.2578 second system time
The end