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 (1323 MiB free)
memory of node 1: 16384 MiB (4658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402742-1568980894/watcher-4402742-1568980894 -o /var/tmp/evaluation-result-4402742-1568980894/solver-4402742-1568980894 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568967596-1429 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=828317043 HOME/instance-4402742-1568980894.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4912, runsolver pid=4909
[startup+0.100125 s]*
/proc/loadavg: 2.16 1.83 1.82 3/213 4964
/proc/meminfo: memFree=6124376/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=9970504 memory=10800 CPUtime=0.07 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 3433 13426 0 0 0 0 5 2 20 0 6 0 474361934 10209796096 2700 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2492626 2700 1233 1 0 2481537 0
[pid=4912/tid=4965] ppid=4909 vsize=9970504 memory=-9032665888007176135 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 1281 13426 0 0 0 0 5 2 20 0 6 0 474361944 10209796096 2766 33554432000 4194304 4196468 140725670239552 140148673602872 140148687636352 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=9970504 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 6 0 474361944 10209796096 2766 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=9970504 memory=140684489692800 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 6 0 474361944 10209796096 2766 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=9970504 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 6 0 474361944 10209796096 2766 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=9970504 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 6 0 474361944 10209796096 2766 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 9970504 KiB
Current children cumulated memory: 10800 KiB
[startup+0.210803 s]*
/proc/loadavg: 2.16 1.83 1.82 3/227 4978
/proc/meminfo: memFree=6099024/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10819716 memory=41508 CPUtime=0.24 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 7246 13426 0 0 16 1 5 2 20 0 15 0 474361934 11079389184 10377 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2704929 10377 3145 1 0 2667149 0
[pid=4912/tid=4965] ppid=4909 vsize=10819716 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 3754 13426 0 0 10 1 5 2 20 0 15 0 474361944 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148673592360 140148685841758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10819716 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10819716 memory=140684489692800 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10819716 memory=140684489692800 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361946 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 13 13426 0 0 0 0 5 2 20 0 15 0 474361946 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148138304544 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11079389184 10377 33554432000 4194304 4196468 140725670239552 140147534324592 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11079389184 10377 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) S 4909 4912 1397 0 -1 1077944384 448 13426 0 0 1 0 5 2 20 0 15 0 474361949 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148227369840 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) S 4909 4912 1397 0 -1 1077944384 193 13426 0 0 0 0 5 2 20 0 15 0 474361949 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148226317040 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10819716 memory=140684489692800 CPUtime=0.1 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) R 4909 4912 1397 0 -1 4202560 617 13426 0 0 3 0 5 2 20 0 15 0 474361949 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148225264240 140148693998398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11079389184 10377 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10819716 memory=140684489692800 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11079389184 10377 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 41508 KiB
[startup+0.31276 s]*
/proc/loadavg: 2.16 1.83 1.82 3/227 4978
/proc/meminfo: memFree=6086284/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10820196 memory=50728 CPUtime=0.38 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 10892 13426 0 0 28 3 5 2 20 0 15 0 474361934 11079880704 12682 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2705049 12682 3312 1 0 2667149 0
[pid=4912/tid=4965] ppid=4909 vsize=10820196 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 7383 13426 0 0 18 2 5 2 20 0 15 0 474361944 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148673557600 140148685841758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10820196 memory=7445404935481610320 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10820196 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361944 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361946 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 13 13426 0 0 0 0 5 2 20 0 15 0 474361946 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148138304544 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11079880704 12682 33554432000 4194304 4196468 140725670239552 140147534324592 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11079880704 12682 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) R 4909 4912 1397 0 -1 1077944384 449 13426 0 0 1 0 5 2 20 0 15 0 474361949 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148227369840 140148701772418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) S 4909 4912 1397 0 -1 1077944384 202 13426 0 0 1 0 5 2 20 0 15 0 474361949 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148226317040 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) R 4909 4912 1397 0 -1 4202560 627 13426 0 0 5 0 5 2 20 0 15 0 474361949 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148225264240 140148701782618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11079880704 12682 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11079880704 12682 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50728 KiB
[startup+0.700737 s]
/proc/loadavg: 2.16 1.83 1.82 3/227 4978
/proc/meminfo: memFree=6073444/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10824364 memory=83912 CPUtime=1.12 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 15183 13426 0 0 101 4 5 2 20 0 15 0 474361934 11084148736 20978 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2706091 20978 3510 1 0 2668173 0
[pid=4912/tid=4965] ppid=4909 vsize=10824364 memory=64 CPUtime=0.65 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 10501 13426 0 0 55 3 5 2 20 0 15 0 474361944 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148673590816 140148701783197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361944 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10824364 memory=3648 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361944 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361944 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 2 13426 0 0 0 0 5 2 20 0 15 0 474361944 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10824364 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 5 13426 0 0 0 0 5 2 20 0 15 0 474361946 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10824364 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 13 13426 0 0 0 0 5 2 20 0 15 0 474361946 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148138304544 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10824364 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11084148736 20978 33554432000 4194304 4196468 140725670239552 140147534324592 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10824364 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11084148736 20978 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10824364 memory=13252 CPUtime=0.23 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) S 4909 4912 1397 0 -1 1077944384 1044 13426 0 0 16 0 5 2 20 0 15 0 474361949 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148227369840 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10824364 memory=15460 CPUtime=0.18 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) S 4909 4912 1397 0 -1 1077944384 611 13426 0 0 11 0 5 2 20 0 15 0 474361949 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148226317040 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10824364 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) S 4909 4912 1397 0 -1 1077944384 788 13426 0 0 17 0 5 2 20 0 15 0 474361949 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148225264240 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10824364 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11084148736 20978 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10824364 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11084148736 20978 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83912 KiB
[startup+1.50676 s]
/proc/loadavg: 2.16 1.83 1.82 3/227 4978
/proc/meminfo: memFree=6028652/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10834680 memory=169908 CPUtime=2.43 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 21987 13426 0 0 228 8 5 2 20 0 15 0 474361934 11094712320 42477 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2708670 42477 3587 1 0 2670733 0
[pid=4912/tid=4965] ppid=4909 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 15520 13426 0 0 131 5 5 2 20 0 15 0 474361944 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148673560616 140148679764112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 26 13426 0 0 1 0 5 2 20 0 15 0 474361944 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 354 13426 0 0 1 0 5 2 20 0 15 0 474361944 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 74 13426 0 0 1 0 5 2 20 0 15 0 474361944 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 76 13426 0 0 1 0 5 2 20 0 15 0 474361944 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10834680 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 148 13426 0 0 1 0 5 2 20 0 15 0 474361946 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10834680 memory=281368676346112 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 14 13426 0 0 0 0 5 2 20 0 15 0 474361946 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148138304608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11094712320 42477 33554432000 4194304 4196468 140725670239552 140147534324608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10834680 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11094712320 42477 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10834680 memory=1172 CPUtime=0.37 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) S 4909 4912 1397 0 -1 1077944384 1212 13426 0 0 30 0 5 2 20 0 15 0 474361949 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148227369840 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10834680 memory=6316 CPUtime=0.26 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) R 4909 4912 1397 0 -1 4202560 696 13426 0 0 19 0 5 2 20 0 15 0 474361949 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148226317040 140148682952219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10834680 memory=828 CPUtime=0.47 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) R 4909 4912 1397 0 -1 4202560 1652 13426 0 0 40 0 5 2 20 0 15 0 474361949 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148225264240 140148685869335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10834680 memory=736 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11094712320 42477 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10834680 memory=1608 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11094712320 42477 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 169908 KiB
[startup+3.01258 s]
# the end of solver process 4912 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.72985 s, system=0.170356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6015 s]
/proc/loadavg: 2.16 1.83 1.82 3/227 4978
/proc/meminfo: memFree=6028652/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10836728 memory=171420 CPUtime=2.62 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 22404 13426 0 0 247 8 5 2 20 0 15 0 474361934 11096809472 42855 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2709182 42855 3587 1 0 2671245 0
[pid=4912/tid=4965] ppid=4909 vsize=10836728 memory=3124 CPUtime=1.52 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 15686 13426 0 0 140 5 5 2 20 0 15 0 474361944 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148673582784 140148701782618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10836728 memory=1244 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 26 13426 0 0 1 0 5 2 20 0 15 0 474361944 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 354 13426 0 0 1 0 5 2 20 0 15 0 474361944 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10836728 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 74 13426 0 0 1 0 5 2 20 0 15 0 474361944 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10836728 memory=140684338330128 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 76 13426 0 0 1 0 5 2 20 0 15 0 474361944 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 148 13426 0 0 1 0 5 2 20 0 15 0 474361946 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10836728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 14 13426 0 0 0 0 5 2 20 0 15 0 474361946 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148138304608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10836728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11096809472 42855 33554432000 4194304 4196468 140725670239552 140147534324608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10836728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11096809472 42855 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10836728 memory=6944652177228980320 CPUtime=0.38 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) S 4909 4912 1397 0 -1 1077944384 1231 13426 0 0 31 0 5 2 20 0 15 0 474361949 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148227369840 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10836728 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) S 4909 4912 1397 0 -1 1077944384 742 13426 0 0 21 0 5 2 20 0 15 0 474361949 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148226317040 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10836728 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) R 4909 4912 1397 0 -1 4202560 1838 13426 0 0 46 0 5 2 20 0 15 0 474361949 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148225264240 140148701773206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10836728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11096809472 42855 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10836728 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11096809472 42855 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 10836728 KiB
Current children cumulated memory: 171420 KiB
[startup+2.40107 s]
/proc/loadavg: 2.16 1.83 1.82 4/227 4978
/proc/meminfo: memFree=5961024/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10842892 memory=185368 CPUtime=4.28 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 27440 13426 0 0 411 10 5 2 20 0 15 0 474361934 11103121408 46342 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2710723 46342 3599 1 0 2672781 0
[pid=4912/tid=4965] ppid=4909 vsize=10842892 memory=-8096454439705354400 CPUtime=2.32 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 18094 13426 0 0 219 6 5 2 20 0 15 0 474361944 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148673595568 140148293361096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10842892 memory=9123871379154395351 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 26 13426 0 0 1 0 5 2 20 0 15 0 474361944 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10842892 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 354 13426 0 0 1 0 5 2 20 0 15 0 474361944 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10842892 memory=15268 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 74 13426 0 0 1 0 5 2 20 0 15 0 474361944 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 76 13426 0 0 1 0 5 2 20 0 15 0 474361944 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10842892 memory=140684338362384 CPUtime=0.08 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 152 13426 0 0 1 0 5 2 20 0 15 0 474361946 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 14 13426 0 0 0 0 5 2 20 0 15 0 474361946 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148138304608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11103121408 46342 33554432000 4194304 4196468 140725670239552 140147534324608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11103121408 46342 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10842892 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) R 4909 4912 1397 0 -1 1077944384 1708 13426 0 0 56 0 5 2 20 0 15 0 474361949 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148227356688 140148701771477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10842892 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) R 4909 4912 1397 0 -1 4202560 1117 13426 0 0 40 0 5 2 20 0 15 0 474361949 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148226305392 140148685146183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10842892 memory=-3472574944341025154 CPUtime=0.95 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) R 4909 4912 1397 0 -1 4202560 3611 13426 0 0 88 0 5 2 20 0 15 0 474361949 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148225264240 140148701773206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10842892 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11103121408 46342 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10842892 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11103121408 46342 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 185368 KiB
[startup+2.80067 s]
/proc/loadavg: 2.16 1.83 1.82 4/227 4978
/proc/meminfo: memFree=5961024/32770624 swapFree=67021712/67108860
[pid=4912] ppid=4909 vsize=10844940 memory=219044 CPUtime=5.26 cores=1,3,5,7
/proc/4912/stat : 4912 (java) S 4909 4912 1397 0 -1 1077944320 29809 13426 0 0 507 12 5 2 20 0 15 0 474361934 11105218560 54761 33554432000 4194304 4196468 140725670239552 140725670222096 140148701761271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
/proc/4912/statm: 2711235 54761 3605 1 0 2673293 0
[pid=4912/tid=4965] ppid=4909 vsize=10844940 memory=13832 CPUtime=2.67 cores=1,3,5,7
/proc/4912/task/4965/stat : 4965 (java) R 4909 4912 1397 0 -1 4202560 18991 13426 0 0 254 6 5 2 20 0 15 0 474361944 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148673587600 140148289442039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4966] ppid=4909 vsize=10844940 memory=25208 CPUtime=0.09 cores=1,3,5,7
/proc/4912/task/4966/stat : 4966 (java) S 4909 4912 1397 0 -1 1077944384 46 13426 0 0 2 0 5 2 20 0 15 0 474361944 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148706004112 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4967] ppid=4909 vsize=10844940 memory=8041079860532773434 CPUtime=0.09 cores=1,3,5,7
/proc/4912/task/4967/stat : 4967 (java) S 4909 4912 1397 0 -1 1077944384 373 13426 0 0 2 0 5 2 20 0 15 0 474361944 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148610206736 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4968] ppid=4909 vsize=10844940 memory=-7518891959079781826 CPUtime=0.09 cores=1,3,5,7
/proc/4912/task/4968/stat : 4968 (java) S 4909 4912 1397 0 -1 1077944384 93 13426 0 0 2 0 5 2 20 0 15 0 474361944 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148609153936 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4969] ppid=4909 vsize=10844940 memory=-7522837583045875833 CPUtime=0.09 cores=1,3,5,7
/proc/4912/task/4969/stat : 4969 (java) S 4909 4912 1397 0 -1 1077944384 85 13426 0 0 2 0 5 2 20 0 15 0 474361944 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148273371920 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4970] ppid=4909 vsize=10844940 memory=-7025448733113094249 CPUtime=0.1 cores=1,3,5,7
/proc/4912/task/4970/stat : 4970 (java) S 4909 4912 1397 0 -1 1077944384 562 13426 0 0 3 0 5 2 20 0 15 0 474361946 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148228422000 140148701772418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4971] ppid=4909 vsize=10844940 memory=6933690287860520857 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4971/stat : 4971 (java) S 4909 4912 1397 0 -1 1077944384 14 13426 0 0 0 0 5 2 20 0 15 0 474361946 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148138304608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4972] ppid=4909 vsize=10844940 memory=4137282616176384387 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4972/stat : 4972 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361946 11105218560 54761 33554432000 4194304 4196468 140725670239552 140147534324608 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4973] ppid=4909 vsize=10844940 memory=-7522837583045875833 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4973/stat : 4973 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11105218560 54761 33554432000 4194304 4196468 140725670239552 140147226924880 140148701779867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4974] ppid=4909 vsize=10844940 memory=-8675733323038954102 CPUtime=0.81 cores=1,3,5,7
/proc/4912/task/4974/stat : 4974 (java) R 4909 4912 1397 0 -1 1077944384 1996 13426 0 0 74 0 5 2 20 0 15 0 474361949 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148227369840 140148701772418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4975] ppid=4909 vsize=10844940 memory=-7378441852826056034 CPUtime=0.62 cores=1,3,5,7
/proc/4912/task/4975/stat : 4975 (java) R 4909 4912 1397 0 -1 1077944384 1280 13426 0 0 55 0 5 2 20 0 15 0 474361949 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148226317040 140148701772418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4976] ppid=4909 vsize=10844940 memory=-9001728533042062950 CPUtime=1.16 cores=1,3,5,7
/proc/4912/task/4976/stat : 4976 (java) R 4909 4912 1397 0 -1 1077944384 4154 13426 0 0 108 1 5 2 20 0 15 0 474361949 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148225264240 140148701772418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4977] ppid=4909 vsize=10844940 memory=-3839181684196723249 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4977/stat : 4977 (java) S 4909 4912 1397 0 -1 1077944384 3 13426 0 0 0 0 5 2 20 0 15 0 474361949 11105218560 54761 33554432000 4194304 4196468 140725670239552 140147193367264 140148701771477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
[pid=4912/tid=4978] ppid=4909 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4912/task/4978/stat : 4978 (java) S 4909 4912 1397 0 -1 1077944384 1 13426 0 0 0 0 5 2 20 0 15 0 474361950 11105218560 54761 33554432000 4194304 4196468 140725670239552 140148224211632 140148701772418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140725670247012 140725670249653 140725670249653 140725670252495 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 219044 KiB
[startup+3.00062 s]*
/proc/loadavg: 2.16 1.83 1.82 2/226 4979
/proc/meminfo: memFree=5906820/32770624 swapFree=67021712/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3.01261
CPU time (s): 5.9002
CPU user time (s): 5.72985
CPU system time (s): 0.170356
CPU usage (%): 195.85
Max. virtual memory (cumulated for all children) (KiB): 10844940
Max. memory (cumulated for all children) (KiB): 227996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.72985
system time used= 0.170356
maximum resident set size= 234044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47315
page faults= 0
swaps= 0
block input operations= 8
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6488
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 4912
# total CPU time (s): 5.9002
# total CPU user time (s): 5.72985
# total CPU system time (s): 0.170356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039147 second user time and 0.067791 second system time
The end