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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291866-1532263701/watcher-4291866-1532263701 -o /tmp/evaluation-result-4291866-1532263701/solver-4291866-1532263701 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 924652506 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291866-1532263701.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2883, runsolver pid=2880
Current StackSize limit: 8192 KiB


[startup+0.10063 s]*
/proc/loadavg: 1.77 1.59 1.48 6/215 2898
/proc/meminfo: memFree=24444984/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14082740 memory=35904 CPUtime=0.11 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 6858 0 0 0 10 1 0 0 20 0 15 0 43933312 14420725760 8976 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3520685 8976 3137 1 0 3482761 0
[pid=2883/tid=2885] ppid=2880 vsize=14082740 memory=-8682194014656361664 CPUtime=0.09 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 5023 0 0 0 8 1 0 0 20 0 15 0 43933312 14420725760 9042 33554432000 4194304 4196468 140727169332208 140065326524856 140065306391902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 9042 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933314 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933315 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064863523744 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933315 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064862471152 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) R 2880 2883 2501 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064860367344 140065322322562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064859314800 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) R 2880 2883 2501 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 43933317 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064858262256 140065322322562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 9042 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 35904 KiB

[startup+0.210365 s]*
/proc/loadavg: 1.77 1.59 1.48 4/215 2898
/proc/meminfo: memFree=24429976/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14082740 memory=49540 CPUtime=0.3 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 9981 0 0 0 28 2 0 0 20 0 15 0 43933312 14420725760 12385 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3520685 12385 3369 1 0 3482761 0
[pid=2883/tid=2885] ppid=2880 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 7722 0 0 0 18 2 0 0 20 0 15 0 43933312 14420725760 12385 33554432000 4194304 4196468 140727169332208 140065326539568 140065314548542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 12385 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14082740 memory=139757916938948 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43933314 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933315 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064863523744 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933315 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064862471152 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) R 2880 2883 2501 0 -1 4202560 424 0 0 0 1 0 0 0 20 0 15 0 43933317 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064860367344 140065305698787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) R 2880 2883 2501 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 43933317 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064859314800 140065322322562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0.06 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) R 2880 2883 2501 0 -1 4202560 282 0 0 0 6 0 0 0 20 0 15 0 43933317 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064858260064 140065301179915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 12385 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49540 KiB

[startup+0.310481 s]*
/proc/loadavg: 1.77 1.59 1.48 3/215 2898
/proc/meminfo: memFree=24426316/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14082740 memory=53024 CPUtime=0.43 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 10358 0 0 0 41 2 0 0 20 0 15 0 43933312 14420725760 13256 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3520685 13256 3372 1 0 3482761 0
[pid=2883/tid=2885] ppid=2880 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 8073 0 0 0 28 2 0 0 20 0 15 0 43933312 14420725760 13256 33554432000 4194304 4196468 140727169332208 140065326473152 140065303874990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 13256 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14082740 memory=14547999644604056 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933313 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43933314 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933315 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064863523744 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933315 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064862471152 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2880 2883 2501 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 43933317 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064860367344 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2880 2883 2501 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 43933317 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064859314800 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0.08 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2880 2883 2501 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 15 0 43933317 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064858262256 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14082740 memory=139757916935808 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933317 14420725760 13256 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 53024 KiB

[startup+0.700664 s]
/proc/loadavg: 1.77 1.59 1.48 3/215 2898
/proc/meminfo: memFree=24404552/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14084808 memory=92892 CPUtime=0.98 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 17063 0 0 0 94 4 0 0 20 0 15 0 43933312 14422843392 23223 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3521202 23223 3498 1 0 3483273 0
[pid=2883/tid=2885] ppid=2880 vsize=14084808 memory=9224 CPUtime=0.67 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 14380 0 0 0 64 3 0 0 20 0 15 0 43933312 14422843392 23223 33554432000 4194304 4196468 140727169332208 140065326533904 140065322333341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14422843392 23223 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933313 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43933313 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43933314 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933315 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064863523744 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14084808 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43933315 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064862471152 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14084808 memory=6081387179578519657 CPUtime=0.07 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2880 2883 2501 0 -1 1077944384 582 0 0 0 7 0 0 0 20 0 15 0 43933317 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064860367344 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14084808 memory=6076878065162868073 CPUtime=0.07 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2880 2883 2501 0 -1 1077944384 350 0 0 0 7 0 0 0 20 0 15 0 43933317 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064859314800 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2880 2883 2501 0 -1 1077944384 368 0 0 0 15 0 0 0 20 0 15 0 43933317 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064858262256 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43933317 14422843392 23223 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 92892 KiB

[startup+1.5007 s]
/proc/loadavg: 1.77 1.59 1.48 6/215 2898
/proc/meminfo: memFree=24348780/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14086856 memory=227060 CPUtime=3.42 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 22002 0 0 0 334 8 0 0 20 0 15 0 43933312 14424940544 56765 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3521714 56765 3543 1 0 3483785 0
[pid=2883/tid=2885] ppid=2880 vsize=14086856 memory=168508 CPUtime=1.46 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 15506 0 0 0 141 5 0 0 20 0 15 0 43933312 14424940544 56765 33554432000 4194304 4196468 140727169332208 140065326544352 140064945023324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 56765 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 43933314 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933315 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064863523808 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 43933315 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064862471152 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14086856 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) R 2880 2883 2501 0 -1 4202560 1646 0 0 0 67 0 0 0 20 0 15 0 43933317 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064860356960 140065307913306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14086856 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) R 2880 2883 2501 0 -1 4202560 1604 0 0 0 71 0 0 0 20 0 15 0 43933317 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064859294992 140065305808199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14086856 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2880 2883 2501 0 -1 1077944384 1627 0 0 0 50 0 0 0 20 0 15 0 43933317 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064858262256 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14086856 memory=12966506269086 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14424940544 56765 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 227060 KiB

[startup+2.87613 s]
# the end of solver process 2883 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.94836 s, system=0.14006 s

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

[startup+1.60087 s]
/proc/loadavg: 1.77 1.59 1.48 6/215 2898
/proc/meminfo: memFree=24348780/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14086856 memory=228204 CPUtime=3.72 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 22363 0 0 0 364 8 0 0 20 0 15 0 43933312 14424940544 57051 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3521714 57051 3544 1 0 3483785 0
[pid=2883/tid=2885] ppid=2880 vsize=14086856 memory=279515532186416 CPUtime=1.56 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 15506 0 0 0 151 5 0 0 20 0 15 0 43933312 14424940544 57051 33554432000 4194304 4196468 140727169332208 140065326545624 140064944108103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 57051 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14086856 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 43933313 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 43933314 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43933315 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064863523808 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 43933315 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064862471152 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14086856 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) R 2880 2883 2501 0 -1 4202560 1772 0 0 0 77 0 0 0 20 0 15 0 43933317 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064860353224 140065301830304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14086856 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) R 2880 2883 2501 0 -1 4202560 1839 0 0 0 81 0 0 0 20 0 15 0 43933317 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064859300984 140065307426669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14086856 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) R 2880 2883 2501 0 -1 1077944384 1627 0 0 0 50 0 0 0 20 0 15 0 43933317 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064858262256 140065322322562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14424940544 57051 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 3.72 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 228204 KiB

[startup+2.40163 s]
/proc/loadavg: 1.77 1.59 1.48 7/215 2898
/proc/meminfo: memFree=24249616/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14090952 memory=249520 CPUtime=6.25 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 35993 0 0 0 614 11 0 0 20 0 15 0 43933312 14429134848 62380 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3522738 62380 3577 1 0 3484809 0
[pid=2883/tid=2885] ppid=2880 vsize=14090952 memory=-6237260532469557610 CPUtime=2.34 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) R 2880 2883 2501 0 -1 4202560 19265 0 0 0 228 6 0 0 20 0 15 0 43933312 14429134848 62380 33554432000 4194304 4196468 140727169332208 140065326546896 140065300736161 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 43933313 14429134848 62380 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14090952 memory=24833500911252 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 43933313 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14090952 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 43933313 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 15 0 43933313 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2890] ppid=2880 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2880 2883 2501 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 43933314 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064864577520 140065322322562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14090952 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 43933315 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064863523808 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 43933315 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064862471168 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064861419728 140065322330011 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14090952 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) R 2880 2883 2501 0 -1 4202560 3367 0 0 0 141 1 0 0 20 0 15 0 43933317 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064860367344 140065307413870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14090952 memory=0 CPUtime=1.54 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) R 2880 2883 2501 0 -1 4202560 5192 0 0 0 154 0 0 0 20 0 15 0 43933317 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064859314800 140065303012903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14090952 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) R 2880 2883 2501 0 -1 4202560 5567 0 0 0 83 1 0 0 20 0 15 0 43933317 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064858259368 140065301268708 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43933317 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2898] ppid=2880 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2898/stat : 2898 (java) S 2880 2883 2501 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 43933317 14429134848 62380 33554432000 4194304 4196468 140727169332208 140064293378352 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 249520 KiB

[startup+2.80069 s]
/proc/loadavg: 1.77 1.59 1.48 7/215 2898
/proc/meminfo: memFree=24249616/32770624 swapFree=67108852/67108860
[pid=2883] ppid=2880 vsize=14157516 memory=260436 CPUtime=7.07 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2880 2883 2501 0 -1 1077944320 40005 0 0 0 694 13 0 0 20 0 13 0 43933312 14497296384 65109 33554432000 4194304 4196468 140727169332208 140727169314752 140065322311415 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
/proc/2883/statm: 3539379 65109 3580 1 0 3501450 0
[pid=2883/tid=2885] ppid=2880 vsize=14157516 memory=14473068160 CPUtime=2.57 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) D 2880 2883 2501 0 -1 4202560 19522 0 0 0 251 6 0 0 20 0 13 0 43933312 14497296384 65109 33554432000 4194304 4196468 140727169332208 140065326554424 140065314997047 0 0 0 16800975 18446744072099941509 0 0 -1 2 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2886] ppid=2880 vsize=14157516 memory=14473068161 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2880 2883 2501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 13 0 43933313 14497296384 65109 33554432000 4194304 4196468 140727169332208 140065259911952 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2887] ppid=2880 vsize=14157516 memory=14473068161 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2880 2883 2501 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 13 0 43933313 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064917560208 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2888] ppid=2880 vsize=14157516 memory=14473068161 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2880 2883 2501 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 13 0 43933313 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064916507664 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2889] ppid=2880 vsize=14157516 memory=14473068161 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2880 2883 2501 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 13 0 43933313 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064915455120 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2891] ppid=2880 vsize=14157516 memory=14473068162 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2880 2883 2501 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 13 0 43933315 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064863523808 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2892] ppid=2880 vsize=14157516 memory=14473068163 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2880 2883 2501 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 13 0 43933315 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064862471168 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2893] ppid=2880 vsize=14157516 memory=14473068163 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2880 2883 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 43933317 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064861419376 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2894] ppid=2880 vsize=14157516 memory=14473068165 CPUtime=1.66 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2880 2883 2501 0 -1 1077944384 4236 0 0 0 165 1 0 0 20 0 13 0 43933317 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064860352400 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2895] ppid=2880 vsize=14157516 memory=14473068165 CPUtime=1.78 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2880 2883 2501 0 -1 1077944384 6387 0 0 0 177 1 0 0 20 0 13 0 43933317 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064859299312 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2896] ppid=2880 vsize=14157516 memory=14473068165 CPUtime=0.96 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2880 2883 2501 0 -1 1077944384 7222 0 0 0 94 2 0 0 20 0 13 0 43933317 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064858262256 140065322322562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
[pid=2883/tid=2897] ppid=2880 vsize=14157516 memory=14473068165 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2880 2883 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 43933317 14497296384 65109 33554432000 4194304 4196468 140727169332208 140064294431840 140065322321621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20545536 140727169340501 140727169340681 140727169340681 140727169343439 0
Current children cumulated CPU time: 7.07 s
Current children cumulated vsize: 14157516 KiB
Current children cumulated memory: 260436 KiB

Child status: 0
Real time (s): 2.87619
CPU time (s): 7.08842
CPU user time (s): 6.94836
CPU system time (s): 0.14006
CPU usage (%): 246.452
Max. virtual memory (cumulated for all children) (KiB): 14157516
Max. memory (cumulated for all children) (KiB): 260436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.94836
system time used= 0.14006
maximum resident set size= 261064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2939
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 2883
#   total CPU time (s): 7.08842
#   total CPU user time (s): 6.94836
#   total CPU system time (s): 0.14006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042017 second user time and 0.064131 second system time

The end