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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298742-1532776611/watcher-4298742-1532776611 -o /tmp/evaluation-result-4298742-1532776611/solver-4298742-1532776611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532774102-26075 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298742-1532776611.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26371, runsolver pid=26368
Current StackSize limit: 8192 KiB


[startup+0.102035 s]*
/proc/loadavg: 1.32 1.36 1.34 3/215 26386
/proc/meminfo: memFree=27556300/32770624 swapFree=67108436/67108860
[pid=26371] ppid=26368 vsize=10658972 memory=27468 CPUtime=0.14 cores=1,3,5,7
/proc/26371/stat : 26371 (java) S 26368 26371 26043 0 -1 1077944320 5287 0 0 0 13 1 0 0 20 0 15 0 95224236 10914787328 6867 33554432000 4194304 4196468 140736630087904 140736630070448 140347312434935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
/proc/26371/statm: 2664743 6867 2822 1 0 2627263 0
[pid=26371/tid=26373] ppid=26368 vsize=10658972 memory=-8269626465541066623 CPUtime=0.09 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (java) R 26368 26371 26043 0 -1 4202560 3099 0 0 0 9 0 0 0 20 0 15 0 95224236 10914787328 6867 33554432000 4194304 4196468 140736630087904 140347316656880 140347312456282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26374] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 6867 33554432000 4194304 4196468 140736630087904 140347254438672 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26375] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26375/stat : 26375 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 6867 33554432000 4194304 4196468 140736630087904 140347253386128 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26376] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26376/stat : 26376 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 6867 33554432000 4194304 4196468 140736630087904 140347252333584 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26377] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26377/stat : 26377 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346915609744 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26378] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26378/stat : 26378 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224239 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346617386992 140347312446082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26379] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26379/stat : 26379 (java) S 26368 26371 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95224239 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346616333216 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26380] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26380/stat : 26380 (java) S 26368 26371 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95224239 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346615280624 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26381] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26381/stat : 26381 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346614229200 140347312453531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26382] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26382/stat : 26382 (java) S 26368 26371 26043 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346613169840 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26383] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26383/stat : 26383 (java) R 26368 26371 26043 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346612124272 140347312446082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26384] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0.02 cores=1,3,5,7
/proc/26371/task/26384/stat : 26384 (java) R 26368 26371 26043 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 95224242 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346611071728 140347304672062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26385] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26385/stat : 26385 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346610019424 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26386] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26386/stat : 26386 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 6867 33554432000 4194304 4196468 140736630087904 140346608965936 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27468 KiB

[startup+0.21061 s]*
/proc/loadavg: 1.32 1.36 1.34 4/215 26386
/proc/meminfo: memFree=27544640/32770624 swapFree=67108436/67108860
[pid=26371] ppid=26368 vsize=10658972 memory=40148 CPUtime=0.35 cores=1,3,5,7
/proc/26371/stat : 26371 (java) S 26368 26371 26043 0 -1 1077944320 8138 0 0 0 33 2 0 0 20 0 15 0 95224236 10914787328 10037 33554432000 4194304 4196468 140736630087904 140736630070448 140347312434935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
/proc/26371/statm: 2664743 10037 2990 1 0 2627263 0
[pid=26371/tid=26373] ppid=26368 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (java) R 26368 26371 26043 0 -1 4202560 5068 0 0 0 19 1 0 0 20 0 15 0 95224236 10914787328 10037 33554432000 4194304 4196468 140736630087904 140347316674416 140346931694288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26374] ppid=26368 vsize=10658972 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 10037 33554432000 4194304 4196468 140736630087904 140347254438672 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26375] ppid=26368 vsize=10658972 memory=140669732502299 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26375/stat : 26375 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 10037 33554432000 4194304 4196468 140736630087904 140347253386128 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26376] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26376/stat : 26376 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 10037 33554432000 4194304 4196468 140736630087904 140347252333584 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26377] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26377/stat : 26377 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346915609744 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26378] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26378/stat : 26378 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224239 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346617386992 140347312446082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26379] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26379/stat : 26379 (java) S 26368 26371 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95224239 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346616333216 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26380] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26380/stat : 26380 (java) S 26368 26371 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95224239 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346615280624 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26381] ppid=26368 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26381/stat : 26381 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346614229200 140347312453531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26382] ppid=26368 vsize=10658972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26371/task/26382/stat : 26382 (java) R 26368 26371 26043 0 -1 4202560 711 0 0 0 3 0 0 0 20 0 15 0 95224242 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346613176912 140347312435609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26383] ppid=26368 vsize=10658972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26371/task/26383/stat : 26383 (java) R 26368 26371 26043 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 95224242 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346612117296 140347312445141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26384] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0.08 cores=1,3,5,7
/proc/26371/task/26384/stat : 26384 (java) R 26368 26371 26043 0 -1 4202560 824 0 0 0 8 0 0 0 20 0 15 0 95224242 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346611069392 140347304672062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26385] ppid=26368 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26385/stat : 26385 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346610019424 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26386] ppid=26368 vsize=10658972 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26386/stat : 26386 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224242 10914787328 10037 33554432000 4194304 4196468 140736630087904 140346608965936 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40148 KiB

[startup+0.310356 s]*
/proc/loadavg: 1.32 1.36 1.34 6/215 26386
/proc/meminfo: memFree=27537108/32770624 swapFree=67108436/67108860
[pid=26371] ppid=26368 vsize=10659048 memory=47460 CPUtime=0.6 cores=1,3,5,7
/proc/26371/stat : 26371 (java) S 26368 26371 26043 0 -1 1077944320 8868 0 0 0 58 2 0 0 20 0 15 0 95224236 10914865152 11865 33554432000 4194304 4196468 140736630087904 140736630070448 140347312434935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
/proc/26371/statm: 2664762 11865 3065 1 0 2627263 0
[pid=26371/tid=26373] ppid=26368 vsize=10659048 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (java) R 26368 26371 26043 0 -1 1077944384 5407 0 0 0 28 1 0 0 20 0 15 0 95224236 10914865152 11865 33554432000 4194304 4196468 140736630087904 140347316668288 140347312445141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26374] ppid=26368 vsize=10659048 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 11865 33554432000 4194304 4196468 140736630087904 140347254438672 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26375] ppid=26368 vsize=10659048 memory=140669732502277 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26375/stat : 26375 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 11865 33554432000 4194304 4196468 140736630087904 140347253386128 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26376] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26376/stat : 26376 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 11865 33554432000 4194304 4196468 140736630087904 140347252333584 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26377] ppid=26368 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26377/stat : 26377 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346915609744 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26378] ppid=26368 vsize=10659048 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26378/stat : 26378 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346617386992 140347312446082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26379] ppid=26368 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26379/stat : 26379 (java) S 26368 26371 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346616333216 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26380] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26380/stat : 26380 (java) S 26368 26371 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346615280624 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26381] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26381/stat : 26381 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346614229200 140347312453531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26382] ppid=26368 vsize=10659048 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26371/task/26382/stat : 26382 (java) R 26368 26371 26043 0 -1 4202560 798 0 0 0 8 0 0 0 20 0 15 0 95224242 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346613167648 140347297561129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26383] ppid=26368 vsize=10659048 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26371/task/26383/stat : 26383 (java) R 26368 26371 26043 0 -1 4202560 302 0 0 0 4 0 0 0 20 0 15 0 95224242 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346612124272 140347296828765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26384] ppid=26368 vsize=10659048 memory=140669732476544 CPUtime=0.16 cores=1,3,5,7
/proc/26371/task/26384/stat : 26384 (java) S 26368 26371 26043 0 -1 1077944384 993 0 0 0 16 0 0 0 20 0 15 0 95224242 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346611071728 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26385] ppid=26368 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26385/stat : 26385 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346610019424 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26386] ppid=26368 vsize=10659048 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26386/stat : 26386 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 11865 33554432000 4194304 4196468 140736630087904 140346608965936 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 47460 KiB

[startup+0.570117 s]
# the end of solver process 26371 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.3583 s, system=0.036628 s

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

[startup+0.410437 s]*
/proc/loadavg: 1.32 1.36 1.34 5/215 26386
/proc/meminfo: memFree=27529352/32770624 swapFree=67108436/67108860
[pid=26371] ppid=26368 vsize=10659048 memory=55604 CPUtime=0.91 cores=1,3,5,7
/proc/26371/stat : 26371 (java) S 26368 26371 26043 0 -1 1077944320 9393 0 0 0 89 2 0 0 20 0 15 0 95224236 10914865152 13901 33554432000 4194304 4196468 140736630087904 140736630070448 140347312434935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
/proc/26371/statm: 2664762 13901 3086 1 0 2627263 0
[pid=26371/tid=26373] ppid=26368 vsize=10659048 memory=7022364594140610616 CPUtime=0.39 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (java) R 26368 26371 26043 0 -1 4202560 5510 0 0 0 37 2 0 0 20 0 15 0 95224236 10914865152 13901 33554432000 4194304 4196468 140736630087904 140347316670032 140346931694576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26374] ppid=26368 vsize=10659048 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 13901 33554432000 4194304 4196468 140736630087904 140347254438672 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26375] ppid=26368 vsize=10659048 memory=140669732502299 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26375/stat : 26375 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 13901 33554432000 4194304 4196468 140736630087904 140347253386128 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26376] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26376/stat : 26376 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 13901 33554432000 4194304 4196468 140736630087904 140347252333584 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26377] ppid=26368 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26377/stat : 26377 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346915609744 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26378] ppid=26368 vsize=10659048 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26378/stat : 26378 (java) S 26368 26371 26043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346617386992 140347312446082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26379] ppid=26368 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26379/stat : 26379 (java) S 26368 26371 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346616333216 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26380] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26380/stat : 26380 (java) S 26368 26371 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346615280624 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26381] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26381/stat : 26381 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346614229200 140347312453531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26382] ppid=26368 vsize=10659048 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/26371/task/26382/stat : 26382 (java) S 26368 26371 26043 0 -1 1077944384 910 0 0 0 14 0 0 0 20 0 15 0 95224242 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346613176816 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26383] ppid=26368 vsize=10659048 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/26371/task/26383/stat : 26383 (java) S 26368 26371 26043 0 -1 1077944384 418 0 0 0 12 0 0 0 20 0 15 0 95224242 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346612124272 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26384] ppid=26368 vsize=10659048 memory=140669732476544 CPUtime=0.24 cores=1,3,5,7
/proc/26371/task/26384/stat : 26384 (java) R 26368 26371 26043 0 -1 4202560 1182 0 0 0 24 0 0 0 20 0 15 0 95224242 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346611069520 140347291405848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26385] ppid=26368 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26385/stat : 26385 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346610019424 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26386] ppid=26368 vsize=10659048 memory=140669732476544 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26386/stat : 26386 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 13901 33554432000 4194304 4196468 140736630087904 140346608965936 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 55604 KiB

[startup+0.510425 s]*
/proc/loadavg: 1.32 1.36 1.34 5/215 26386
/proc/meminfo: memFree=27517256/32770624 swapFree=67108436/67108860
[pid=26371] ppid=26368 vsize=10659048 memory=67560 CPUtime=1.27 cores=1,3,5,7
/proc/26371/stat : 26371 (java) S 26368 26371 26043 0 -1 1077944320 10856 0 0 0 124 3 0 0 20 0 15 0 95224236 10914865152 16890 33554432000 4194304 4196468 140736630087904 140736630070448 140347312434935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
/proc/26371/statm: 2664762 16890 3102 1 0 2627263 0
[pid=26371/tid=26373] ppid=26368 vsize=10659048 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (java) R 26368 26371 26043 0 -1 4202560 5560 0 0 0 47 2 0 0 20 0 15 0 95224236 10914865152 16890 33554432000 4194304 4196468 140736630087904 140347316668736 140346934778590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26374] ppid=26368 vsize=10659048 memory=840 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 16890 33554432000 4194304 4196468 140736630087904 140347254438672 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26375] ppid=26368 vsize=10659048 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26375/stat : 26375 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 16890 33554432000 4194304 4196468 140736630087904 140347253386128 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26376] ppid=26368 vsize=10659048 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26376/stat : 26376 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 16890 33554432000 4194304 4196468 140736630087904 140347252333584 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26377] ppid=26368 vsize=10659048 memory=916 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26377/stat : 26377 (java) S 26368 26371 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95224237 10914865152 16890 33554432000 4194304 4196468 140736630087904 140346915609744 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26378] ppid=26368 vsize=10659048 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26378/stat : 26378 (java) S 26368 26371 26043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346617386992 140347312446082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26379] ppid=26368 vsize=10659048 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26379/stat : 26379 (java) S 26368 26371 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346616333216 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26380] ppid=26368 vsize=10659048 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26380/stat : 26380 (java) S 26368 26371 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95224239 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346615280624 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26381] ppid=26368 vsize=10659048 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26381/stat : 26381 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346614229200 140347312453531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26382] ppid=26368 vsize=10659048 memory=2720 CPUtime=0.24 cores=1,3,5,7
/proc/26371/task/26382/stat : 26382 (java) R 26368 26371 26043 0 -1 4202560 1342 0 0 0 24 0 0 0 20 0 15 0 95224242 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346613159584 140347291855068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26383] ppid=26368 vsize=10659048 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/26371/task/26383/stat : 26383 (java) R 26368 26371 26043 0 -1 4202560 943 0 0 0 21 0 0 0 20 0 15 0 95224242 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346612110296 140347290263536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26384] ppid=26368 vsize=10659048 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26371/task/26384/stat : 26384 (java) R 26368 26371 26043 0 -1 1077944384 1649 0 0 0 30 0 0 0 20 0 15 0 95224242 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346611071728 140347312446082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26385] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26385/stat : 26385 (java) S 26368 26371 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346610019424 140347312445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
[pid=26371/tid=26386] ppid=26368 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26386/stat : 26386 (java) S 26368 26371 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95224242 10914865152 16898 33554432000 4194304 4196468 140736630087904 140346608965936 140347312446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25296896 140736630092973 140736630093065 140736630093065 140736630095823 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 67560 KiB

Child status: 0
Real time (s): 0.570159
CPU time (s): 1.39492
CPU user time (s): 1.3583
CPU system time (s): 0.036628
CPU usage (%): 244.655
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 67560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3583
system time used= 0.036628
maximum resident set size= 73172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11643
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= 1307
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 26371
#   total CPU time (s): 1.39492
#   total CPU user time (s): 1.3583
#   total CPU system time (s): 0.036628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028304 second user time and 0.045133 second system time

The end