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 (8935 MiB free)
  memory of node 1: 16384 MiB (14042 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298800-1532780780/watcher-4298800-1532780780 -o /tmp/evaluation-result-4298800-1532780780/solver-4298800-1532780780 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15807 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298800-1532780780.xml --timelimit 2520 

running on 4 cores: 0,2,4,6

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=16359, runsolver pid=16356

[startup+0.10028 s]*
/proc/loadavg: 1.40 1.56 1.58 3/219 16374
/proc/meminfo: memFree=23513960/32770624 swapFree=67108860/67108860
[pid=16359] ppid=16356 vsize=10661056 memory=27716 CPUtime=0.13 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16356 16359 15776 0 -1 1077944320 5272 0 0 0 11 2 0 0 20 0 15 0 95641134 10916921344 6929 33554432000 4194304 4196468 140732800212864 140732800195408 140159621709559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
/proc/16359/statm: 2665264 6929 2846 1 0 2627263 0
[pid=16359/tid=16361] ppid=16356 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/16359/task/16361/stat : 16361 (java) R 16356 16359 15776 0 -1 4202560 3147 0 0 0 8 1 0 0 20 0 15 0 95641134 10916921344 6929 33554432000 4194304 4196468 140732800212864 140159625940448 140159228201976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16362] ppid=16356 vsize=10661056 memory=5793855324358580665 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 6929 33554432000 4194304 4196468 140732800212864 140159228045584 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16363] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 6929 33554432000 4194304 4196468 140732800212864 140159226993040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16364] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 6929 33554432000 4194304 4196468 140732800212864 140159225940496 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16365] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 6929 33554432000 4194304 4196468 140732800212864 140159224887952 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16366] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641136 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158790584816 140159621720706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16367] ppid=16356 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16356 16359 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95641137 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158789531040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16368] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16356 16359 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95641137 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158788478448 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16369] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158787427024 140159621728155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16370] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16356 16359 15776 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158786373616 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16371] ppid=16356 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) R 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158785321072 140159621720706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16372] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0.01 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) R 16356 16359 15776 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 15 0 95641139 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158784268528 140159613946686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16373] ppid=16356 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158783216224 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16374] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 6929 33554432000 4194304 4196468 140732800212864 140158782163760 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27716 KiB

[startup+0.210661 s]*
/proc/loadavg: 1.40 1.56 1.58 4/219 16374
/proc/meminfo: memFree=23501468/32770624 swapFree=67108860/67108860
[pid=16359] ppid=16356 vsize=10661056 memory=40476 CPUtime=0.35 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16356 16359 15776 0 -1 1077944320 8219 0 0 0 33 2 0 0 20 0 15 0 95641134 10916921344 10119 33554432000 4194304 4196468 140732800212864 140732800195408 140159621709559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
/proc/16359/statm: 2665264 10119 2980 1 0 2627263 0
[pid=16359/tid=16361] ppid=16356 vsize=10661056 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/16359/task/16361/stat : 16361 (java) R 16356 16359 15776 0 -1 4202560 5119 0 0 0 18 1 0 0 20 0 15 0 95641134 10916921344 10174 33554432000 4194304 4196468 140732800212864 140159625945840 140159605790046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16362] ppid=16356 vsize=10661056 memory=4211973799553478026 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 10174 33554432000 4194304 4196468 140732800212864 140159228045584 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16363] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 10174 33554432000 4194304 4196468 140732800212864 140159226993040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16364] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 10174 33554432000 4194304 4196468 140732800212864 140159225940496 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16365] ppid=16356 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916921344 10174 33554432000 4194304 4196468 140732800212864 140159224887952 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16366] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641136 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158790584816 140159621720706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16367] ppid=16356 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16356 16359 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95641137 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158789531040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16368] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16356 16359 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95641137 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158788478448 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16369] ppid=16356 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158787427024 140159621728155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16370] ppid=16356 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) R 16356 16359 15776 0 -1 4202560 623 0 0 0 3 0 0 0 20 0 15 0 95641139 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158786363536 140159600956069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16371] ppid=16356 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) R 16356 16359 15776 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 95641139 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158785321072 140159621720706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16372] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0.08 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) R 16356 16359 15776 0 -1 4202560 886 0 0 0 8 0 0 0 20 0 15 0 95641139 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158784268528 140159613946686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16373] ppid=16356 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158783216224 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16374] ppid=16356 vsize=10661056 memory=140073348687488 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641139 10916921344 10174 33554432000 4194304 4196468 140732800212864 140158782163760 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40476 KiB

[startup+0.312929 s]*
/proc/loadavg: 1.40 1.56 1.58 4/219 16374
/proc/meminfo: memFree=23496448/32770624 swapFree=67108860/67108860
[pid=16359] ppid=16356 vsize=10661132 memory=46792 CPUtime=0.61 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16356 16359 15776 0 -1 1077944320 8789 0 0 0 58 3 0 0 20 0 15 0 95641134 10916999168 11698 33554432000 4194304 4196468 140732800212864 140732800195408 140159621709559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
/proc/16359/statm: 2665283 11698 3058 1 0 2627263 0
[pid=16359/tid=16361] ppid=16356 vsize=10661132 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/16359/task/16361/stat : 16361 (java) R 16356 16359 15776 0 -1 4202560 5450 0 0 0 28 2 0 0 20 0 15 0 95641134 10916999168 11702 33554432000 4194304 4196468 140732800212864 140159625942896 140159621730906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16362] ppid=16356 vsize=10661132 memory=4211973799553478026 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 11702 33554432000 4194304 4196468 140732800212864 140159228045584 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16363] ppid=16356 vsize=10661132 memory=280146593618304 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 11702 33554432000 4194304 4196468 140732800212864 140159226993040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16364] ppid=16356 vsize=10661132 memory=280146489889280 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 11702 33554432000 4194304 4196468 140732800212864 140159225940496 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16365] ppid=16356 vsize=10661132 memory=140073244930831 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 11702 33554432000 4194304 4196468 140732800212864 140159224887952 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16366] ppid=16356 vsize=10661132 memory=280146593627520 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641136 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158790584816 140159621720706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16367] ppid=16356 vsize=10661132 memory=140073244935439 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16356 16359 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95641137 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158789531040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16368] ppid=16356 vsize=10661132 memory=140073244953552 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16356 16359 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95641137 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158788478448 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16369] ppid=16356 vsize=10661132 memory=140073244956171 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158787427024 140159621728155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16370] ppid=16356 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16356 16359 15776 0 -1 1077944384 642 0 0 0 6 0 0 0 20 0 15 0 95641139 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158786373616 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16371] ppid=16356 vsize=10661132 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16356 16359 15776 0 -1 1077944384 308 0 0 0 6 0 0 0 20 0 15 0 95641139 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158785321072 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16372] ppid=16356 vsize=10661132 memory=140073348687488 CPUtime=0.16 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) R 16356 16359 15776 0 -1 4202560 1030 0 0 0 16 0 0 0 20 0 15 0 95641139 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158784266928 140159621721494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16373] ppid=16356 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158783216224 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16374] ppid=16356 vsize=10661132 memory=140073348715204 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 11702 33554432000 4194304 4196468 140732800212864 140158782163760 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46792 KiB

[startup+0.700757 s]
/proc/loadavg: 1.40 1.56 1.58 5/219 16374
/proc/meminfo: memFree=23479108/32770624 swapFree=67108860/67108860
[pid=16359] ppid=16356 vsize=10661132 memory=79584 CPUtime=1.83 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16356 16359 15776 0 -1 1077944320 12870 0 0 0 178 5 0 0 20 0 15 0 95641134 10916999168 19896 33554432000 4194304 4196468 140732800212864 140732800195408 140159621709559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
/proc/16359/statm: 2665283 19896 3117 1 0 2627263 0
[pid=16359/tid=16361] ppid=16356 vsize=10661132 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/16359/task/16361/stat : 16361 (java) R 16356 16359 15776 0 -1 4202560 5657 0 0 0 65 2 0 0 20 0 15 0 95641134 10916999168 19896 33554432000 4194304 4196468 140732800212864 140159625935968 140159229437064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16362] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 19896 33554432000 4194304 4196468 140732800212864 140159228045584 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16363] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 19896 33554432000 4194304 4196468 140732800212864 140159226993040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16364] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 19896 33554432000 4194304 4196468 140732800212864 140159225940496 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16365] ppid=16356 vsize=10661132 memory=8320808402719684661 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 19896 33554432000 4194304 4196468 140732800212864 140159224887952 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16366] ppid=16356 vsize=10661132 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16356 16359 15776 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95641136 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158790584816 140159621720706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16367] ppid=16356 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16356 16359 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95641137 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158789531040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16368] ppid=16356 vsize=10661132 memory=8452 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16356 16359 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95641137 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158788478448 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16369] ppid=16356 vsize=10661132 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158787427024 140159621728155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16370] ppid=16356 vsize=10661132 memory=1200 CPUtime=0.42 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) R 16356 16359 15776 0 -1 4202560 2603 0 0 0 42 0 0 0 20 0 15 0 95641139 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158786366248 140159606817132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16371] ppid=16356 vsize=10661132 memory=12136 CPUtime=0.4 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16356 16359 15776 0 -1 1077944384 1390 0 0 0 40 0 0 0 20 0 15 0 95641139 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158785321072 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16372] ppid=16356 vsize=10661132 memory=1008 CPUtime=0.31 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16356 16359 15776 0 -1 1077944384 1849 0 0 0 30 1 0 0 20 0 15 0 95641139 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158784268528 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16373] ppid=16356 vsize=10661132 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158783216224 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16374] ppid=16356 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 19896 33554432000 4194304 4196468 140732800212864 140158782163760 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 79584 KiB

[startup+0.82074 s]
# the end of solver process 16359 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.01807 s, system=0.062404 s

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

[startup+0.800883 s]
/proc/loadavg: 1.40 1.56 1.58 5/219 16374
/proc/meminfo: memFree=23479108/32770624 swapFree=67108860/67108860
[pid=16359] ppid=16356 vsize=10661132 memory=89876 CPUtime=2.05 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16356 16359 15776 0 -1 1077944320 14003 0 0 0 200 5 0 0 20 0 15 0 95641134 10916999168 22469 33554432000 4194304 4196468 140732800212864 140732800195408 140159621709559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
/proc/16359/statm: 2665283 22469 3117 1 0 2627263 0
[pid=16359/tid=16361] ppid=16356 vsize=10661132 memory=15872 CPUtime=0.77 cores=0,2,4,6
/proc/16359/task/16361/stat : 16361 (java) R 16356 16359 15776 0 -1 4202560 5678 0 0 0 75 2 0 0 20 0 15 0 95641134 10916999168 22469 33554432000 4194304 4196468 140732800212864 140159625944976 140159605790046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16362] ppid=16356 vsize=10661132 memory=16088 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16356 16359 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 22469 33554432000 4194304 4196468 140732800212864 140159228045584 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16363] ppid=16356 vsize=10661132 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 22469 33554432000 4194304 4196468 140732800212864 140159226993040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16364] ppid=16356 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 22469 33554432000 4194304 4196468 140732800212864 140159225940496 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16365] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641135 10916999168 22469 33554432000 4194304 4196468 140732800212864 140159224887952 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16366] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16356 16359 15776 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95641136 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158790584816 140159621720706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16367] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16356 16359 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95641137 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158789531040 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16368] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16356 16359 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95641137 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158788478448 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16369] ppid=16356 vsize=10661132 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158787427024 140159621728155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16370] ppid=16356 vsize=10661132 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16356 16359 15776 0 -1 1077944384 3449 0 0 0 50 0 0 0 20 0 15 0 95641139 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158786373616 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16371] ppid=16356 vsize=10661132 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) R 16356 16359 15776 0 -1 4202560 1627 0 0 0 42 0 0 0 20 0 15 0 95641139 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158785321072 140159599304311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16372] ppid=16356 vsize=10661132 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16356 16359 15776 0 -1 1077944384 1879 0 0 0 31 1 0 0 20 0 15 0 95641139 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158784268528 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16373] ppid=16356 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16356 16359 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158783216224 140159621719765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
[pid=16359/tid=16374] ppid=16356 vsize=10661132 memory=664970774370811545 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16356 16359 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95641139 10916999168 22469 33554432000 4194304 4196468 140732800212864 140158782163760 140159621720706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732800218268 140732800218377 140732800218377 140732800221135 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 89876 KiB

Child status: 0
Real time (s): 0.820781
CPU time (s): 2.08047
CPU user time (s): 2.01807
CPU system time (s): 0.062404
CPU usage (%): 253.475
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 89876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.01807
system time used= 0.062404
maximum resident set size= 91084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1304
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 16359
#   total CPU time (s): 2.08047
#   total CPU user time (s): 2.01807
#   total CPU system time (s): 0.062404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02474 second user time and 0.055616 second system time

The end