runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259481-1501651522/watcher-4259481-1501651522 -o /tmp/evaluation-result-4259481-1501651522/solver-4259481-1501651522 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300 bin/concrete HOME/instance-4259481-1501651522.xml
pid=7745
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.44 1.51 1.61 4/194 7748
/proc/meminfo: memFree=30027220/32770624 swapFree=0/944820
[pid=7748] ppid=7745 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7748/stat : 7748 (runsolver) D 7745 7748 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13776930 24240128 108 18446744073709551615 4194304 4338465 140732636474848 140732636472488 140248002212567 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36487168 140732636479696 140732636480070 140732636480070 140732636483530 0
/proc/7748/statm: 5918 108 54 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 1.44 1.51 1.61 4/194 7748
/proc/meminfo: memFree=30027220/32770624 swapFree=0/944820
[pid=7748] ppid=7745 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7748/stat : 7748 (runsolver) D 7745 7748 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13776930 24240128 108 18446744073709551615 4194304 4338465 140732636474848 140732636472488 140248002212567 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36487168 140732636479696 140732636480070 140732636480070 140732636483530 0
/proc/7748/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200298 s]
/proc/loadavg: 1.44 1.51 1.61 4/194 7748
/proc/meminfo: memFree=30027220/32770624 swapFree=0/944820
[pid=7748] ppid=7745 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7748/stat : 7748 (runsolver) D 7745 7748 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13776930 24240128 108 18446744073709551615 4194304 4338465 140732636474848 140732636472488 140248002212567 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36487168 140732636479696 140732636480070 140732636480070 140732636483530 0
/proc/7748/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.300266 s]
/proc/loadavg: 1.44 1.51 1.61 4/194 7748
/proc/meminfo: memFree=30027220/32770624 swapFree=0/944820
[pid=7748] ppid=7745 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/7748/stat : 7748 (bash) S 7745 7748 5678 0 -1 4202496 889 6483 0 0 0 0 0 1 20 0 1 0 13776930 9867264 376 18446744073709551615 4194304 5098028 140732501085232 140732501079240 140219579018240 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 21 0 0 7196144 7232144 25526272 140732501090833 140732501090918 140732501090918 140732501094378 0
/proc/7748/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.700895 s]
/proc/loadavg: 1.44 1.51 1.61 4/194 7748
/proc/meminfo: memFree=30027220/32770624 swapFree=0/944820
[pid=7748] ppid=7745 vsize=13974784 CPUtime=0.46 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 12792 12661 0 0 34 4 5 3 20 0 15 0 13776930 14310178816 13144 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3493696 13144 3061 1 0 3482973 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13974784
[startup+1.50065 s]
/proc/loadavg: 1.44 1.51 1.61 3/209 7811
/proc/meminfo: memFree=29950036/32770624 swapFree=0/945112
[pid=7748] ppid=7745 vsize=13983360 CPUtime=1.62 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 26142 12661 0 0 146 8 5 3 20 0 15 0 13776930 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3495840 31755 3326 1 0 3485021 0
[pid=7748/tid=7798] ppid=7745 vsize=13983360 CPUtime=1.15 cores=0,2,4,6
/proc/7748/task/7798/stat : 7798 (java) R 7745 7748 5678 0 -1 4202560 21532 12661 0 0 100 7 5 3 20 0 15 0 13776965 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502668767504 140502664543638 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7799] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) S 7745 7748 5678 0 -1 1077944384 1 12661 0 0 0 0 5 3 20 0 15 0 13776966 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502621498000 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7800] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7800/stat : 7800 (java) S 7745 7748 5678 0 -1 1077944384 1 12661 0 0 0 0 5 3 20 0 15 0 13776966 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502620445200 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7801] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7801/stat : 7801 (java) S 7745 7748 5678 0 -1 1077944384 1 12661 0 0 0 0 5 3 20 0 15 0 13776966 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502619392400 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7802] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7802/stat : 7802 (java) S 7745 7748 5678 0 -1 1077944384 2 12661 0 0 0 0 5 3 20 0 15 0 13776966 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502618339600 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7803] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7803/stat : 7803 (java) S 7745 7748 5678 0 -1 1077944384 5 12661 0 0 0 0 5 3 20 0 15 0 13776967 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502210210672 140502664542850 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7804] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7804/stat : 7804 (java) S 7745 7748 5678 0 -1 1077944384 33 12661 0 0 0 0 5 3 20 0 15 0 13776968 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502209156640 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7805] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7805/stat : 7805 (java) S 7745 7748 5678 0 -1 1077944384 21 12661 0 0 0 0 5 3 20 0 15 0 13776968 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502208103792 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7806] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7806/stat : 7806 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776970 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502207052112 140502664550299 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7807] ppid=7745 vsize=13983360 CPUtime=0.23 cores=0,2,4,6
/proc/7748/task/7807/stat : 7807 (java) S 7745 7748 5678 0 -1 1077944384 1080 12661 0 0 15 0 5 3 20 0 15 0 13776970 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502205999472 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7808] ppid=7745 vsize=13983360 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7808/stat : 7808 (java) S 7745 7748 5678 0 -1 1077944384 434 12661 0 0 10 0 5 3 20 0 15 0 13776971 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502137563376 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7809] ppid=7745 vsize=13983360 CPUtime=0.27 cores=0,2,4,6
/proc/7748/task/7809/stat : 7809 (java) R 7745 7748 5678 0 -1 4202560 871 12661 0 0 19 0 5 3 20 0 15 0 13776971 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502136510576 140502664553050 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7810] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7810/stat : 7810 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776971 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502135458016 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7811] ppid=7745 vsize=13983360 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7811/stat : 7811 (java) S 7745 7748 5678 0 -1 1077944384 6 12661 0 0 0 0 5 3 20 0 15 0 13776977 14318960640 31755 18446744073709551615 4194304 4196468 140722251719856 140502134406320 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 13983360
[startup+3.10285 s]
/proc/loadavg: 1.44 1.51 1.61 3/209 7811
/proc/meminfo: memFree=29862832/32770624 swapFree=0/945112
[pid=7748] ppid=7745 vsize=13999932 CPUtime=5.4 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 43489 12661 0 0 515 17 5 3 20 0 15 0 13776930 14335930368 51512 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3499983 51512 3438 1 0 3488605 0
[pid=7748/tid=7798] ppid=7745 vsize=13999932 CPUtime=2.72 cores=0,2,4,6
/proc/7748/task/7798/stat : 7798 (java) R 7745 7748 5678 0 -1 4202560 31151 12661 0 0 253 11 5 3 20 0 15 0 13776965 14335930368 51512 18446744073709551615 4194304 4196468 140722251719856 140502668763680 140502288641829 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7799] ppid=7745 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) S 7745 7748 5678 0 -1 1077944384 196 12661 0 0 0 0 5 3 20 0 15 0 13776966 14335930368 51512 18446744073709551615 4194304 4196468 140722251719856 140502621498000 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7800] ppid=7745 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7748/task/7800/stat : 7800 (java) S 7745 7748 5678 0 -1 1077944384 42 12661 0 0 1 0 5 3 20 0 15 0 13776966 14335930368 51512 18446744073709551615 4194304 4196468 140722251719856 140502620445200 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7801] ppid=7745 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7748/task/7801/stat : 7801 (java) S 7745 7748 5678 0 -1 1077944384 36 12661 0 0 1 0 5 3 20 0 15 0 13776966 14335930368 51512 18446744073709551615 4194304 4196468 140722251719856 140502619392400 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7802] ppid=7745 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7748/task/7802/stat : 7802 (java) S 7745 7748 5678 0 -1 1077944384 72 12661 0 0 1 0 5 3 20 0 15 0 13776966 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502618339600 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7803] ppid=7745 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7748/task/7803/stat : 7803 (java) S 7745 7748 5678 0 -1 1077944384 1106 12661 0 0 1 0 5 3 20 0 15 0 13776967 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502210210672 140502664542850 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7804] ppid=7745 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7804/stat : 7804 (java) S 7745 7748 5678 0 -1 1077944384 56 12661 0 0 0 0 5 3 20 0 15 0 13776968 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502209156704 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7805] ppid=7745 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7805/stat : 7805 (java) S 7745 7748 5678 0 -1 1077944384 43 12661 0 0 0 0 5 3 20 0 15 0 13776968 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502208103792 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7806] ppid=7745 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7806/stat : 7806 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776970 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502207052112 140502664550299 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7807] ppid=7745 vsize=13999932 CPUtime=0.81 cores=0,2,4,6
/proc/7748/task/7807/stat : 7807 (java) R 7745 7748 5678 0 -1 4202560 2119 12661 0 0 72 1 5 3 20 0 15 0 13776970 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502205986224 140502649413590 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7808] ppid=7745 vsize=13999932 CPUtime=0.97 cores=0,2,4,6
/proc/7748/task/7808/stat : 7808 (java) R 7745 7748 5678 0 -1 4202560 3180 12661 0 0 88 1 5 3 20 0 15 0 13776971 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502137549776 140502646079202 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7809] ppid=7745 vsize=13999932 CPUtime=1.04 cores=0,2,4,6
/proc/7748/task/7809/stat : 7809 (java) R 7745 7748 5678 0 -1 4202560 3327 12661 0 0 95 1 5 3 20 0 15 0 13776971 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502136509760 140502657248855 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7810] ppid=7745 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7810/stat : 7810 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776971 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502135458016 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7811] ppid=7745 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7811/stat : 7811 (java) S 7745 7748 5678 0 -1 1077944384 7 12661 0 0 0 0 5 3 20 0 15 0 13776977 14335930368 51546 18446744073709551615 4194304 4196468 140722251719856 140502134406320 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13999932
[startup+6.30062 s]
/proc/loadavg: 1.40 1.50 1.60 3/209 7811
/proc/meminfo: memFree=29673380/32770624 swapFree=0/945120
[pid=7748] ppid=7745 vsize=14067516 CPUtime=13.01 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 73902 12661 0 0 1267 26 5 3 20 0 15 0 13776930 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3516879 113831 3468 1 0 3505501 0
[pid=7748/tid=7798] ppid=7745 vsize=14067516 CPUtime=5.65 cores=0,2,4,6
/proc/7748/task/7798/stat : 7798 (java) R 7745 7748 5678 0 -1 4202560 47565 12661 0 0 542 15 5 3 20 0 15 0 13776965 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502668764864 140502288901228 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7799] ppid=7745 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) S 7745 7748 5678 0 -1 1077944384 328 12661 0 0 12 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502621498000 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7800] ppid=7745 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7800/stat : 7800 (java) S 7745 7748 5678 0 -1 1077944384 1169 12661 0 0 10 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502620445200 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7801] ppid=7745 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7801/stat : 7801 (java) S 7745 7748 5678 0 -1 1077944384 77 12661 0 0 10 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502619392400 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7802] ppid=7745 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7748/task/7802/stat : 7802 (java) S 7745 7748 5678 0 -1 1077944384 147 12661 0 0 12 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502618339600 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7803] ppid=7745 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7748/task/7803/stat : 7803 (java) S 7745 7748 5678 0 -1 1077944384 2251 12661 0 0 11 0 5 3 20 0 15 0 13776967 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502210210672 140502664542850 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7804] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7804/stat : 7804 (java) S 7745 7748 5678 0 -1 1077944384 60 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502209156704 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7805] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7805/stat : 7805 (java) S 7745 7748 5678 0 -1 1077944384 43 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502208103808 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7806] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7806/stat : 7806 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776970 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502207052112 140502664550299 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7807] ppid=7745 vsize=14067516 CPUtime=2.87 cores=0,2,4,6
/proc/7748/task/7807/stat : 7807 (java) S 7745 7748 5678 0 -1 1077944384 8976 12661 0 0 277 2 5 3 20 0 15 0 13776970 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502205999472 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7808] ppid=7745 vsize=14067516 CPUtime=2.5 cores=0,2,4,6
/proc/7748/task/7808/stat : 7808 (java) S 7745 7748 5678 0 -1 1077944384 5758 12661 0 0 241 1 5 3 20 0 15 0 13776971 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502137563376 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7809] ppid=7745 vsize=14067516 CPUtime=1.56 cores=0,2,4,6
/proc/7748/task/7809/stat : 7809 (java) S 7745 7748 5678 0 -1 1077944384 5138 12661 0 0 146 2 5 3 20 0 15 0 13776971 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502136510576 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7810] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7810/stat : 7810 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776971 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502135458016 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7811] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7811/stat : 7811 (java) S 7745 7748 5678 0 -1 1077944384 235 12661 0 0 0 0 5 3 20 0 15 0 13776977 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502134406320 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
Current children cumulated CPU time (s) 13.01
Current children cumulated vsize (KiB) 14067516
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7748 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4008 s]
/proc/loadavg: 1.40 1.50 1.60 3/209 7811
/proc/meminfo: memFree=29673380/32770624 swapFree=0/945120
[pid=7748] ppid=7745 vsize=14067516 CPUtime=13.11 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 73937 12661 0 0 1277 26 5 3 20 0 15 0 13776930 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3516879 113831 3468 1 0 3505501 0
[pid=7748/tid=7798] ppid=7745 vsize=14067516 CPUtime=5.75 cores=0,2,4,6
/proc/7748/task/7798/stat : 7798 (java) R 7745 7748 5678 0 -1 4202560 47600 12661 0 0 552 15 5 3 20 0 15 0 13776965 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502668764864 140502302688044 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7799] ppid=7745 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) S 7745 7748 5678 0 -1 1077944384 328 12661 0 0 12 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502621498000 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7800] ppid=7745 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7800/stat : 7800 (java) S 7745 7748 5678 0 -1 1077944384 1169 12661 0 0 10 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502620445200 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7801] ppid=7745 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7801/stat : 7801 (java) S 7745 7748 5678 0 -1 1077944384 77 12661 0 0 10 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502619392400 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7802] ppid=7745 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7748/task/7802/stat : 7802 (java) S 7745 7748 5678 0 -1 1077944384 147 12661 0 0 12 0 5 3 20 0 15 0 13776966 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502618339600 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7803] ppid=7745 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7748/task/7803/stat : 7803 (java) S 7745 7748 5678 0 -1 1077944384 2251 12661 0 0 11 0 5 3 20 0 15 0 13776967 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502210210672 140502664542850 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7804] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7804/stat : 7804 (java) S 7745 7748 5678 0 -1 1077944384 60 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502209156704 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7805] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7805/stat : 7805 (java) S 7745 7748 5678 0 -1 1077944384 43 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502208103808 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7806] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7806/stat : 7806 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776970 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502207052112 140502664550299 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7807] ppid=7745 vsize=14067516 CPUtime=2.87 cores=0,2,4,6
/proc/7748/task/7807/stat : 7807 (java) S 7745 7748 5678 0 -1 1077944384 8976 12661 0 0 277 2 5 3 20 0 15 0 13776970 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502205999472 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7808] ppid=7745 vsize=14067516 CPUtime=2.5 cores=0,2,4,6
/proc/7748/task/7808/stat : 7808 (java) S 7745 7748 5678 0 -1 1077944384 5758 12661 0 0 241 1 5 3 20 0 15 0 13776971 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502137563376 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7809] ppid=7745 vsize=14067516 CPUtime=1.56 cores=0,2,4,6
/proc/7748/task/7809/stat : 7809 (java) S 7745 7748 5678 0 -1 1077944384 5138 12661 0 0 146 2 5 3 20 0 15 0 13776971 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502136510576 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7810] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7810/stat : 7810 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776971 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502135458016 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7811] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7811/stat : 7811 (java) S 7745 7748 5678 0 -1 1077944384 235 12661 0 0 0 0 5 3 20 0 15 0 13776977 14405136384 113831 18446744073709551615 4194304 4196468 140722251719856 140502134406320 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 14067516
[startup+8.00072 s]
/proc/loadavg: 1.40 1.50 1.60 3/209 7811
/proc/meminfo: memFree=29534368/32770624 swapFree=0/945124
[pid=7748] ppid=7745 vsize=14067516 CPUtime=14.74 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 78187 12661 0 0 1439 27 5 3 20 0 15 0 13776930 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3516879 132787 3468 1 0 3505501 0
[pid=7748/tid=7798] ppid=7745 vsize=14067516 CPUtime=7.34 cores=0,2,4,6
/proc/7748/task/7798/stat : 7798 (java) R 7745 7748 5678 0 -1 4202560 48132 12661 0 0 710 16 5 3 20 0 15 0 13776965 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502668765136 140502301232078 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7799] ppid=7745 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) S 7745 7748 5678 0 -1 1077944384 333 12661 0 0 12 1 5 3 20 0 15 0 13776966 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502621498000 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7800] ppid=7745 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7748/task/7800/stat : 7800 (java) S 7745 7748 5678 0 -1 1077944384 1189 12661 0 0 11 0 5 3 20 0 15 0 13776966 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502620445200 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7801] ppid=7745 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7801/stat : 7801 (java) S 7745 7748 5678 0 -1 1077944384 123 12661 0 0 10 0 5 3 20 0 15 0 13776966 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502619392400 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7802] ppid=7745 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7748/task/7802/stat : 7802 (java) S 7745 7748 5678 0 -1 1077944384 153 12661 0 0 12 0 5 3 20 0 15 0 13776966 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502618339600 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7803] ppid=7745 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7748/task/7803/stat : 7803 (java) S 7745 7748 5678 0 -1 1077944384 2447 12661 0 0 11 0 5 3 20 0 15 0 13776967 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502210210672 140502664542850 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7804] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7804/stat : 7804 (java) S 7745 7748 5678 0 -1 1077944384 60 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502209156704 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7805] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7805/stat : 7805 (java) S 7745 7748 5678 0 -1 1077944384 43 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502208103808 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7806] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7806/stat : 7806 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776970 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502207052112 140502664550299 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7807] ppid=7745 vsize=14067516 CPUtime=2.88 cores=0,2,4,6
/proc/7748/task/7807/stat : 7807 (java) S 7745 7748 5678 0 -1 1077944384 9137 12661 0 0 278 2 5 3 20 0 15 0 13776970 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502205999472 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7808] ppid=7745 vsize=14067516 CPUtime=2.51 cores=0,2,4,6
/proc/7748/task/7808/stat : 7808 (java) S 7745 7748 5678 0 -1 1077944384 5770 12661 0 0 242 1 5 3 20 0 15 0 13776971 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502137563376 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7809] ppid=7745 vsize=14067516 CPUtime=1.58 cores=0,2,4,6
/proc/7748/task/7809/stat : 7809 (java) S 7745 7748 5678 0 -1 1077944384 8398 12661 0 0 148 2 5 3 20 0 15 0 13776971 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502136510576 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7810] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7810/stat : 7810 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776971 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502135458016 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7811] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7811/stat : 7811 (java) S 7745 7748 5678 0 -1 1077944384 247 12661 0 0 0 0 5 3 20 0 15 0 13776977 14405136384 132787 18446744073709551615 4194304 4196468 140722251719856 140502134406320 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 14067516
[startup+8.40066 s]
/proc/loadavg: 1.40 1.50 1.60 3/209 7811
/proc/meminfo: memFree=29534368/32770624 swapFree=0/945124
[pid=7748] ppid=7745 vsize=14067516 CPUtime=15.22 cores=0,2,4,6
/proc/7748/stat : 7748 (java) S 7745 7748 5678 0 -1 1077944320 79047 12661 0 0 1486 28 5 3 20 0 15 0 13776930 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140722251702400 140502664531703 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
/proc/7748/statm: 3516879 133384 3470 1 0 3505501 0
[pid=7748/tid=7798] ppid=7745 vsize=14067516 CPUtime=7.73 cores=0,2,4,6
/proc/7748/task/7798/stat : 7798 (java) R 7745 7748 5678 0 -1 4202560 48217 12661 0 0 749 16 5 3 20 0 15 0 13776965 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502668765568 140502302231645 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7799] ppid=7745 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) S 7745 7748 5678 0 -1 1077944384 334 12661 0 0 12 1 5 3 20 0 15 0 13776966 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502621498000 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7800] ppid=7745 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7748/task/7800/stat : 7800 (java) S 7745 7748 5678 0 -1 1077944384 1192 12661 0 0 11 0 5 3 20 0 15 0 13776966 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502620445200 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7801] ppid=7745 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7748/task/7801/stat : 7801 (java) S 7745 7748 5678 0 -1 1077944384 124 12661 0 0 10 0 5 3 20 0 15 0 13776966 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502619392400 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7802] ppid=7745 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/7748/task/7802/stat : 7802 (java) S 7745 7748 5678 0 -1 1077944384 155 12661 0 0 13 1 5 3 20 0 15 0 13776966 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502618339600 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7803] ppid=7745 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7748/task/7803/stat : 7803 (java) S 7745 7748 5678 0 -1 1077944384 2450 12661 0 0 11 0 5 3 20 0 15 0 13776967 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502210210672 140502664542850 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7804] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7804/stat : 7804 (java) S 7745 7748 5678 0 -1 1077944384 60 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502209156704 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7805] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7805/stat : 7805 (java) S 7745 7748 5678 0 -1 1077944384 43 12661 0 0 0 0 5 3 20 0 15 0 13776968 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502208103808 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7806] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7806/stat : 7806 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776970 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502207052112 140502664550299 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7807] ppid=7745 vsize=14067516 CPUtime=2.92 cores=0,2,4,6
/proc/7748/task/7807/stat : 7807 (java) R 7745 7748 5678 0 -1 4202560 9851 12661 0 0 282 2 5 3 20 0 15 0 13776970 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502205999472 140502657516745 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7808] ppid=7745 vsize=14067516 CPUtime=2.54 cores=0,2,4,6
/proc/7748/task/7808/stat : 7808 (java) R 7745 7748 5678 0 -1 4202560 5812 12661 0 0 245 1 5 3 20 0 15 0 13776971 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502137548352 140502642933309 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7809] ppid=7745 vsize=14067516 CPUtime=1.58 cores=0,2,4,6
/proc/7748/task/7809/stat : 7809 (java) S 7745 7748 5678 0 -1 1077944384 8407 12661 0 0 148 2 5 3 20 0 15 0 13776971 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502136510576 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7810] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7810/stat : 7810 (java) S 7745 7748 5678 0 -1 1077944384 3 12661 0 0 0 0 5 3 20 0 15 0 13776971 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502135458016 140502664541909 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
[pid=7748/tid=7811] ppid=7745 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7748/task/7811/stat : 7811 (java) S 7745 7748 5678 0 -1 1077944384 247 12661 0 0 0 0 5 3 20 0 15 0 13776977 14405136384 133384 18446744073709551615 4194304 4196468 140722251719856 140502134406320 140502664542850 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140722251720653 140722251723438 140722251723438 140722251726799 0
Current children cumulated CPU time (s) 15.22
Current children cumulated vsize (KiB) 14067516
[startup+8.60512 s]
/proc/loadavg: 1.40 1.50 1.60 3/209 7811
/proc/meminfo: memFree=29534368/32770624 swapFree=0/945124
[pid=7748] ppid=7745 vsize=0 CPUtime=15.43 cores=0,2,4,6
/proc/7748/stat : 7748 (java) Z 7745 7748 5678 0 -1 4227084 80012 12661 0 0 1506 29 5 3 20 0 2 0 13776930 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 21 0 0 0 0 0 0 0 0 0 0
/proc/7748/statm: 0 0 0 0 0 0 0
[pid=7748/tid=7799] ppid=7745 vsize=0 CPUtime=0.22 cores=0,2,4,6
/proc/7748/task/7799/stat : 7799 (java) R 7745 7748 5678 0 -1 4203588 334 12661 0 0 12 2 5 3 20 0 2 0 13776966 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 8.60545
CPU time (s): 15.4457
CPU user time (s): 15.116
CPU system time (s): 0.329655
CPU usage (%): 179.487
Max. virtual memory (cumulated for all children) (KiB): 14069632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.116
system time used= 0.329655
maximum resident set size= 533996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6977
involuntary context switches= 149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037861 second user time and 0.082032 second system time
The end