2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
slowpoke 2018-04-29	? (TO)	2520.06	2503.71
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 (13133 MiB free)
  memory of node 1: 16384 MiB (14237 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298776-1532779502/watcher-4298776-1532779502 -o /tmp/evaluation-result-4298776-1532779502/solver-4298776-1532779502 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532774532-6236 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298776-1532779502.xml --timelimit 2520 

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=6794, runsolver pid=6791

[startup+0.103138 s]*
/proc/loadavg: 1.43 1.45 1.54 5/219 6809
/proc/meminfo: memFree=28011708/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661056 memory=27712 CPUtime=0.13 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 5330 0 0 0 12 1 0 0 20 0 15 0 95513448 10916921344 6928 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665264 6928 2829 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661056 memory=-8826029918205605056 CPUtime=0.1 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 3150 0 0 0 9 1 0 0 20 0 15 0 95513449 10916921344 6928 33554432000 4194304 4196468 140720742636528 139833346639968 139832944787520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 6928 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 6928 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 6928 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 6928 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513451 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513451 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513452 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) R 6791 6794 6204 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832575584880 139833342421634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) S 6791 6794 6204 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832574532080 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0.02 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) R 6791 6794 6204 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 95513454 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832573479792 139833342422422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 6928 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27712 KiB

[startup+0.210715 s]*
/proc/loadavg: 1.43 1.45 1.54 4/219 6809
/proc/meminfo: memFree=27999428/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661056 memory=40984 CPUtime=0.34 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 8365 0 0 0 32 2 0 0 20 0 15 0 95513448 10916921344 10246 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665264 10246 3005 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 5106 0 0 0 18 1 0 0 20 0 15 0 95513449 10916921344 10312 33554432000 4194304 4196468 140720742636528 139833346649776 139832944867674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 10312 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661056 memory=140032263627272 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 10312 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 10312 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513450 10916921344 10312 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513451 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513451 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513452 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) R 6791 6794 6204 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 95513454 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832575576208 139833342420693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) R 6791 6794 6204 0 -1 4202560 440 0 0 0 1 0 0 0 20 0 15 0 95513454 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832574513096 139833323110784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0.08 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) R 6791 6794 6204 0 -1 4202560 940 0 0 0 8 0 0 0 20 0 15 0 95513454 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832573476728 139833342431834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661056 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513454 10916921344 10312 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40984 KiB

[startup+0.31815 s]*
/proc/loadavg: 1.43 1.45 1.54 6/219 6809
/proc/meminfo: memFree=27991736/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661132 memory=48072 CPUtime=0.63 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 9148 0 0 0 61 2 0 0 20 0 15 0 95513448 10916999168 12018 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665283 12018 3058 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 5424 0 0 0 29 1 0 0 20 0 15 0 95513449 10916999168 12018 33554432000 4194304 4196468 140720742636528 139833346645424 139832947246861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=4294980952 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 12018 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=140032264187487 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 12018 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 12018 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 12018 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513452 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) R 6791 6794 6204 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 15 0 95513454 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832575570904 139833325965584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661132 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) R 6791 6794 6204 0 -1 4202560 518 0 0 0 7 0 0 0 20 0 15 0 95513454 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832574519632 139833323045005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661132 memory=140032263620224 CPUtime=0.16 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) R 6791 6794 6204 0 -1 4202560 1112 0 0 0 16 0 0 0 20 0 15 0 95513454 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832573477584 139833321395152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 12018 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661132 memory=140032263620224 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 12530 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 48072 KiB

[startup+0.70079 s]
/proc/loadavg: 1.43 1.45 1.54 7/219 6809
/proc/meminfo: memFree=27962572/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661132 memory=93004 CPUtime=1.9 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 13323 0 0 0 186 4 0 0 20 0 15 0 95513448 10916999168 23251 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665283 23251 3120 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661132 memory=1236 CPUtime=0.66 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 5769 0 0 0 64 2 0 0 20 0 15 0 95513449 10916999168 23251 33554432000 4194304 4196468 140720742636528 139833346636896 140720743712706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=15932 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 23251 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 23251 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=644 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 23251 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 23251 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=956 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661132 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513452 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661132 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661132 memory=6081108994580048232 CPUtime=0.44 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) R 6791 6794 6204 0 -1 4202560 2673 0 0 0 44 0 0 0 20 0 15 0 95513454 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832575572480 139833322786522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661132 memory=6154282490091891024 CPUtime=0.44 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) R 6791 6794 6204 0 -1 4202560 1977 0 0 0 44 0 0 0 20 0 15 0 95513454 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832574516400 139833322065712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661132 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) S 6791 6794 6204 0 -1 1077944384 1533 0 0 0 33 0 0 0 20 0 15 0 95513454 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832573479792 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661132 memory=10588 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 23251 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 93004 KiB

[startup+1.50081 s]
/proc/loadavg: 1.43 1.45 1.54 5/219 6809
/proc/meminfo: memFree=27927160/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661132 memory=133500 CPUtime=3.39 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 18427 0 0 0 334 5 0 0 20 0 15 0 95513448 10916999168 33375 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665283 33375 3120 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661132 memory=125304 CPUtime=1.47 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 6163 0 0 0 144 3 0 0 20 0 15 0 95513449 10916999168 33375 33554432000 4194304 4196468 140720742636528 139833346651024 140720743712706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 33375 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 33375 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 33375 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513450 10916999168 33375 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 33375 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0

################
# More data... #
################

/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 14757 0 0 0 242465 1060 0 0 20 0 15 0 95513449 10916999168 46742 33554432000 4194304 4196468 140720742636528 139833346651456 139832949298184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=186968 CPUtime=4.64 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 3649 0 0 0 454 10 0 0 20 0 15 0 95513450 10916999168 46742 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=8112282956445269571 CPUtime=4.62 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 2456 0 0 0 452 10 0 0 20 0 15 0 95513450 10916999168 46742 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=186968 CPUtime=4.64 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 4329 0 0 0 454 10 0 0 20 0 15 0 95513450 10916999168 46742 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=186968 CPUtime=4.61 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 3937 0 0 0 452 9 0 0 20 0 15 0 95513450 10916999168 46742 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=186968 CPUtime=1.6 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 5053 0 0 0 147 13 0 0 20 0 15 0 95513451 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661132 memory=29244432325337 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661132 memory=186968 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95513452 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661132 memory=186968 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661132 memory=186968 CPUtime=0.95 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) S 6791 6794 6204 0 -1 1077944384 7715 0 0 0 95 0 0 0 20 0 15 0 95513454 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832575584880 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661132 memory=186968 CPUtime=0.94 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) S 6791 6794 6204 0 -1 1077944384 5555 0 0 0 93 1 0 0 20 0 15 0 95513454 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832574532080 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661132 memory=186968 CPUtime=0.4 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) S 6791 6794 6204 0 -1 1077944384 2952 0 0 0 40 0 0 0 20 0 15 0 95513454 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832573479792 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661132 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661132 memory=186968 CPUtime=0.53 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1013 0 0 0 24 29 0 0 20 0 15 0 95513454 10916999168 46742 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 2458.29 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 186968 KiB

[startup+2502.3 s]
/proc/loadavg: 1.55 1.51 1.52 3/219 6962
/proc/meminfo: memFree=27824676/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661132 memory=189016 CPUtime=2518.63 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 53649 0 0 0 250700 1163 0 0 20 0 15 0 95513448 10916999168 47254 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665283 47254 3151 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661132 memory=189016 CPUtime=2495.07 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 15016 0 0 0 248420 1087 0 0 20 0 15 0 95513449 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833346651456 140720743712706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=29244432325337 CPUtime=4.76 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 3677 0 0 0 466 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=186968 CPUtime=4.74 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 2470 0 0 0 464 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.76 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 4445 0 0 0 466 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.74 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 4153 0 0 0 464 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=189016 CPUtime=1.63 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 5225 0 0 0 150 13 0 0 20 0 15 0 95513451 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95513452 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661132 memory=189016 CPUtime=0.95 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) S 6791 6794 6204 0 -1 1077944384 7717 0 0 0 95 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832575584880 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661132 memory=189016 CPUtime=0.94 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) S 6791 6794 6204 0 -1 1077944384 5557 0 0 0 93 1 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832574532080 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661132 memory=189016 CPUtime=0.4 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) S 6791 6794 6204 0 -1 1077944384 2954 0 0 0 40 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832573479792 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661132 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661132 memory=288230596050944315 CPUtime=0.55 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1027 0 0 0 25 30 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 2518.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2503.7 s]
/proc/loadavg: 1.51 1.50 1.52 3/219 6962
/proc/meminfo: memFree=27824800/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661132 memory=189016 CPUtime=2520.04 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 53651 0 0 0 250840 1164 0 0 20 0 15 0 95513448 10916999168 47254 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665283 47254 3151 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661132 memory=189016 CPUtime=2496.47 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 15018 0 0 0 248559 1088 0 0 20 0 15 0 95513449 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833346650144 140720743712706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.76 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 3677 0 0 0 466 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.74 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 2470 0 0 0 464 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.76 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 4445 0 0 0 466 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.74 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 4153 0 0 0 464 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=189016 CPUtime=1.64 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 5225 0 0 0 151 13 0 0 20 0 15 0 95513451 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95513452 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661132 memory=186968 CPUtime=0.95 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) S 6791 6794 6204 0 -1 1077944384 7717 0 0 0 95 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832575584880 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661132 memory=29244432325337 CPUtime=0.94 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) S 6791 6794 6204 0 -1 1077944384 5557 0 0 0 93 1 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832574532080 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661132 memory=189016 CPUtime=0.4 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) S 6791 6794 6204 0 -1 1077944384 2954 0 0 0 40 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832573479792 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661132 memory=4096 CPUtime=0.55 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1027 0 0 0 25 30 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189016 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2503.71 s]
# the end of solver process 6794 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2508.41 s, system=11.6487 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2503.7 s]
/proc/loadavg: 1.51 1.50 1.52 3/219 6962
/proc/meminfo: memFree=27824800/32770624 swapFree=67108744/67108860
[pid=6794] ppid=6791 vsize=10661132 memory=189016 CPUtime=2520.04 cores=1,3,5,7
/proc/6794/stat : 6794 (java) S 6791 6794 6204 0 -1 1077944320 53651 0 0 0 250840 1164 0 0 20 0 15 0 95513448 10916999168 47254 33554432000 4194304 4196468 140720742636528 140720742619072 139833342410487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
/proc/6794/statm: 2665283 47254 3151 1 0 2627263 0
[pid=6794/tid=6796] ppid=6791 vsize=10661132 memory=189016 CPUtime=2496.47 cores=1,3,5,7
/proc/6794/task/6796/stat : 6796 (java) R 6791 6794 6204 0 -1 4202560 15018 0 0 0 248559 1088 0 0 20 0 15 0 95513449 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833346650144 140720743712706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6797] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.76 cores=1,3,5,7
/proc/6794/task/6797/stat : 6797 (java) S 6791 6794 6204 0 -1 1077944384 3677 0 0 0 466 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833268485008 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6798] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.74 cores=1,3,5,7
/proc/6794/task/6798/stat : 6798 (java) S 6791 6794 6204 0 -1 1077944384 2470 0 0 0 464 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833267432208 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6799] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.76 cores=1,3,5,7
/proc/6794/task/6799/stat : 6799 (java) S 6791 6794 6204 0 -1 1077944384 4445 0 0 0 466 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833266379920 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6800] ppid=6791 vsize=10661132 memory=189016 CPUtime=4.74 cores=1,3,5,7
/proc/6794/task/6800/stat : 6800 (java) S 6791 6794 6204 0 -1 1077944384 4153 0 0 0 464 10 0 0 20 0 15 0 95513450 10916999168 47254 33554432000 4194304 4196468 140720742636528 139833265327120 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6801] ppid=6791 vsize=10661132 memory=189016 CPUtime=1.64 cores=1,3,5,7
/proc/6794/task/6801/stat : 6801 (java) S 6791 6794 6204 0 -1 1077944384 5225 0 0 0 151 13 0 0 20 0 15 0 95513451 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832579795056 139833342421634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6802] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6802/stat : 6802 (java) S 6791 6794 6204 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95513451 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832578741024 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6803] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6803/stat : 6803 (java) S 6791 6794 6204 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95513452 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832577688688 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6804] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6804/stat : 6804 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832576637008 139833342429083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6805] ppid=6791 vsize=10661132 memory=186968 CPUtime=0.95 cores=1,3,5,7
/proc/6794/task/6805/stat : 6805 (java) S 6791 6794 6204 0 -1 1077944384 7717 0 0 0 95 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832575584880 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6806] ppid=6791 vsize=10661132 memory=29244432325337 CPUtime=0.94 cores=1,3,5,7
/proc/6794/task/6806/stat : 6806 (java) S 6791 6794 6204 0 -1 1077944384 5557 0 0 0 93 1 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832574532080 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6807] ppid=6791 vsize=10661132 memory=189016 CPUtime=0.4 cores=1,3,5,7
/proc/6794/task/6807/stat : 6807 (java) S 6791 6794 6204 0 -1 1077944384 2954 0 0 0 40 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832573479792 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6808] ppid=6791 vsize=10661132 memory=189016 CPUtime=0 cores=1,3,5,7
/proc/6794/task/6808/stat : 6808 (java) S 6791 6794 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832572427232 139833342420693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
[pid=6794/tid=6809] ppid=6791 vsize=10661132 memory=4096 CPUtime=0.55 cores=1,3,5,7
/proc/6794/task/6809/stat : 6809 (java) S 6791 6794 6204 0 -1 1077944384 1027 0 0 0 25 30 0 0 20 0 15 0 95513454 10916999168 47254 33554432000 4194304 4196468 140720742636528 139832571374000 139833342421634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140720742638748 140720742638857 140720742638857 140720742641615 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189016 KiB

Child status: 143
Real time (s): 2503.71
CPU time (s): 2520.06
CPU user time (s): 2508.41
CPU system time (s): 11.6487
CPU usage (%): 100.653
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 205556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.41
system time used= 11.6487
maximum resident set size= 205560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99844
involuntary context switches= 3138


# summary of solver processes directly reported to runsolver:
#   pid: 6794
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2508.41
#   total CPU system time (s): 11.6487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3193 second user time and 22.7026 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin10_c18.xml
MD5SUM	72806e24f62b8b3ef3e659c1068d636c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.912364
Satisfiable
(Un)Satisfiability was proved
Number of variables	2025
Number of constraints	410
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":2025}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":2025}]
Minimum constraint arity	45
Maximum constraint arity	81
Distribution of constraint arities	[{"arity":45,"count":360},{"arity":81,"count":50}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":410}]
Optimization problem	NO
Type of objective
Trace number 4298776

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
