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-4248431-1500716540/watcher-4248431-1500716540 -o /tmp/evaluation-result-4248431-1500716540/solver-4248431-1500716540 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500709764-19674 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 947746998 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248431-1500716540.xml
pid=20690
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.36 1.38 1.48 3/261 20693
/proc/meminfo: memFree=28741652/32770624 swapFree=6564/148824
[pid=20693] ppid=20690 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 2226 0 0 0 0 0 0 0 20 0 2 0 6918963 10889764864 1940 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 2658891 1940 1188 1 0 2647802 0
[pid=20693/tid=20694] ppid=20690 vsize=10636592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 1077944384 917 0 0 0 0 0 0 0 20 0 4 0 6918963 10891870208 1940 33554432000 4194304 4196468 140726565603824 140105030006480 140105025775317 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=10637620 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 6918964 10892922880 1940 33554432000 4194304 4196468 140726565603824 140104988871520 140105025775317 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=10637620 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 6918964 10892922880 1940 33554432000 4194304 4196468 140726565603824 140104623913952 140105025775317 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=10638648 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 6918964 10893975552 1940 33554432000 4194304 4196468 140726565603824 140104622860896 140105025775317 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=10638648 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 6918964 10893975552 1940 33554432000 4194304 4196468 140726565603824 140104621808352 140105025775317 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=10639676 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) R 20690 20693 19643 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 7 0 6918964 10895028224 1940 33554432000 4194304 4196468 140726565603824 140105030006480 140105018504961 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[startup+0.100061 s]
/proc/loadavg: 1.36 1.38 1.48 3/261 20693
/proc/meminfo: memFree=28741652/32770624 swapFree=6564/148824
[pid=20693] ppid=20690 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 5290 0 0 0 8 2 0 0 20 0 20 0 6918963 13582725120 5885 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3316095 5885 2856 1 0 3303815 0
[pid=20693/tid=20694] ppid=20690 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 3387 0 0 0 7 1 0 0 20 0 20 0 6918963 13582725120 5885 33554432000 4194304 4196468 140726565603824 140105030007392 140104913727350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918964 13582725120 5885 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582725120 5885 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13582725120 5885 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582725120 5951 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582725120 5951 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380
[startup+0.200566 s]
/proc/loadavg: 1.36 1.38 1.48 3/261 20693
/proc/meminfo: memFree=28741652/32770624 swapFree=6564/148824
[pid=20693] ppid=20690 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 8904 0 0 0 23 3 0 0 20 0 20 0 6918963 13582245888 8898 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3315978 8898 3538 1 0 3303698 0
[pid=20693/tid=20694] ppid=20690 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 6648 0 0 0 16 2 0 0 20 0 20 0 6918963 13582245888 8898 33554432000 4194304 4196468 140726565603824 140105029993488 140105018443125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 8898 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 8898 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 8898 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 8898 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 8898 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300508 s]
/proc/loadavg: 1.36 1.38 1.48 3/261 20693
/proc/meminfo: memFree=28741652/32770624 swapFree=6564/148824
[pid=20693] ppid=20690 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 9908 0 0 0 38 4 0 0 20 0 20 0 6918963 13582245888 10625 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3315978 10625 3639 1 0 3303698 0
[pid=20693/tid=20694] ppid=20690 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 7347 0 0 0 25 3 0 0 20 0 20 0 6918963 13582245888 10625 33554432000 4194304 4196468 140726565603824 140105029988496 140105009845598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 10625 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 10625 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 10625 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 10625 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13582245888 10625 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700404 s]
/proc/loadavg: 1.36 1.38 1.48 3/261 20693
/proc/meminfo: memFree=28741652/32770624 swapFree=6564/148824
[pid=20693] ppid=20690 vsize=13268028 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 12745 0 0 0 101 6 0 0 20 0 20 0 6918963 13586460672 18531 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3317007 18531 3740 1 0 3304722 0
[pid=20693/tid=20694] ppid=20690 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 9408 0 0 0 62 5 0 0 20 0 20 0 6918963 13586460672 18531 33554432000 4194304 4196468 140726565603824 140105029985232 140105009845598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 18531 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 18531 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 18531 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 18531 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 18531 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13268028
[startup+1.50076 s]
/proc/loadavg: 1.36 1.38 1.48 3/281 20713
/proc/meminfo: memFree=28644212/32770624 swapFree=6564/148844
[pid=20693] ppid=20690 vsize=13268028 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 18171 0 0 0 259 8 0 0 20 0 20 0 6918963 13586460672 33892 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3317007 33892 3780 1 0 3304722 0
[pid=20693/tid=20694] ppid=20690 vsize=13268028 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 10515 0 0 0 141 6 0 0 20 0 20 0 6918963 13586460672 33892 33554432000 4194304 4196468 140726565603824 140105030000968 140104665401300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20700] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20700/stat : 20700 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104619703440 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20701] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20701/stat : 20701 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104618650384 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20703] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20703/stat : 20703 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104617597840 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20704] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20704/stat : 20704 (java) S 20690 20693 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104489122032 140105025776258 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20705] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20705/stat : 20705 (java) S 20690 20693 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104488068256 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20706] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20706/stat : 20706 (java) S 20690 20693 19643 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6918968 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104487015152 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20707] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20707/stat : 20707 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104485963728 140105025783707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20708] ppid=20690 vsize=13268028 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20708/stat : 20708 (java) S 20690 20693 19643 0 -1 1077944384 1524 0 0 0 34 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104484911856 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20709] ppid=20690 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20709/stat : 20709 (java) S 20690 20693 19643 0 -1 1077944384 1545 0 0 0 26 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104483859312 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20710] ppid=20690 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20710/stat : 20710 (java) S 20690 20693 19643 0 -1 1077944384 1548 0 0 0 30 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104482806256 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20711] ppid=20690 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20711/stat : 20711 (java) S 20690 20693 19643 0 -1 1077944384 1643 0 0 0 26 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104481753712 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20712] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20712/stat : 20712 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104480700896 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20713] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20713/stat : 20713 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 33892 33554432000 4194304 4196468 140726565603824 140104479648432 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20693 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60096 s]
/proc/loadavg: 1.36 1.38 1.48 3/281 20713
/proc/meminfo: memFree=28644212/32770624 swapFree=6564/148844
[pid=20693] ppid=20690 vsize=13268028 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 18174 0 0 0 269 8 0 0 20 0 20 0 6918963 13586460672 35428 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3317007 35428 3780 1 0 3304722 0
[pid=20693/tid=20694] ppid=20690 vsize=13268028 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 10518 0 0 0 151 6 0 0 20 0 20 0 6918963 13586460672 35428 33554432000 4194304 4196468 140726565603824 140105030000968 140104665165697 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20700] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20700/stat : 20700 (java) S 20690 20693 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104619703440 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20701] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20701/stat : 20701 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104618650384 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20703] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20703/stat : 20703 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104617597840 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20704] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20704/stat : 20704 (java) S 20690 20693 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104489122032 140105025776258 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20705] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20705/stat : 20705 (java) S 20690 20693 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104488068256 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20706] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20706/stat : 20706 (java) S 20690 20693 19643 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6918968 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104487015152 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20707] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20707/stat : 20707 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104485963728 140105025783707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20708] ppid=20690 vsize=13268028 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20708/stat : 20708 (java) S 20690 20693 19643 0 -1 1077944384 1524 0 0 0 34 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104484911856 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20709] ppid=20690 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20709/stat : 20709 (java) S 20690 20693 19643 0 -1 1077944384 1545 0 0 0 26 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104483859312 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20710] ppid=20690 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20710/stat : 20710 (java) S 20690 20693 19643 0 -1 1077944384 1548 0 0 0 30 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104482806256 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20711] ppid=20690 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20711/stat : 20711 (java) S 20690 20693 19643 0 -1 1077944384 1643 0 0 0 26 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104481753712 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20712] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20712/stat : 20712 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104480700896 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20713] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20713/stat : 20713 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 35428 33554432000 4194304 4196468 140726565603824 140104479648432 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 13268028
[startup+2.40114 s]
/proc/loadavg: 1.36 1.38 1.48 3/281 20713
/proc/meminfo: memFree=28580204/32770624 swapFree=6564/148844
[pid=20693] ppid=20690 vsize=13268028 CPUtime=3.61 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 19359 0 0 0 351 10 0 0 20 0 20 0 6918963 13586460672 47739 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3317007 47739 3792 1 0 3304722 0
[pid=20693/tid=20694] ppid=20690 vsize=13268028 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) S 20690 20693 19643 0 -1 1077944384 10688 0 0 0 230 7 0 0 20 0 20 0 6918963 13586460672 47739 33554432000 4194304 4196468 140726565603824 140105030003744 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20700] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20700/stat : 20700 (java) S 20690 20693 19643 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104619703440 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20701] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20701/stat : 20701 (java) S 20690 20693 19643 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104618650384 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20703] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20703/stat : 20703 (java) S 20690 20693 19643 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104617597840 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20704] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20704/stat : 20704 (java) R 20690 20693 19643 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104489120544 140105010829856 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20705] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20705/stat : 20705 (java) S 20690 20693 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104488068256 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20706] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20706/stat : 20706 (java) S 20690 20693 19643 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6918968 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104487015152 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20707] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20707/stat : 20707 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104485963728 140105025783707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20708] ppid=20690 vsize=13268028 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20708/stat : 20708 (java) S 20690 20693 19643 0 -1 1077944384 1524 0 0 0 34 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104484911856 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20709] ppid=20690 vsize=13268028 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20709/stat : 20709 (java) S 20690 20693 19643 0 -1 1077944384 1592 0 0 0 28 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104483859312 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20710] ppid=20690 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20710/stat : 20710 (java) S 20690 20693 19643 0 -1 1077944384 1548 0 0 0 30 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104482806256 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20711] ppid=20690 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20711/stat : 20711 (java) S 20690 20693 19643 0 -1 1077944384 1643 0 0 0 26 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104481753712 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20712] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20712/stat : 20712 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104480700896 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20713] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20713/stat : 20713 (java) S 20690 20693 19643 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 47739 33554432000 4194304 4196468 140726565603824 140104479648432 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13268028
[startup+2.60077 s]
/proc/loadavg: 1.36 1.38 1.48 3/281 20713
/proc/meminfo: memFree=28580204/32770624 swapFree=6564/148844
[pid=20693] ppid=20690 vsize=13268028 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/20693/stat : 20693 (java) S 20690 20693 19643 0 -1 1077944320 20738 0 0 0 372 10 0 0 20 0 20 0 6918963 13586460672 49848 33554432000 4194304 4196468 140726565603824 140726565586368 140105025765111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
/proc/20693/statm: 3317007 49848 3804 1 0 3304722 0
[pid=20693/tid=20694] ppid=20690 vsize=13268028 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20694/stat : 20694 (java) R 20690 20693 19643 0 -1 4202560 10768 0 0 0 249 7 0 0 20 0 20 0 6918963 13586460672 49848 33554432000 4194304 4196468 140726565603824 140105030003752 140104665166868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20695] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20695/stat : 20695 (java) S 20690 20693 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104988871184 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20696] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20696/stat : 20696 (java) S 20690 20693 19643 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104623913616 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20697] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20697/stat : 20697 (java) S 20690 20693 19643 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104622860560 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20698] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20698/stat : 20698 (java) S 20690 20693 19643 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104621808016 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20699] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20699/stat : 20699 (java) S 20690 20693 19643 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104620755984 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20700] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20700/stat : 20700 (java) S 20690 20693 19643 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104619703440 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20701] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20701/stat : 20701 (java) S 20690 20693 19643 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104618650384 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20703] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20703/stat : 20703 (java) S 20690 20693 19643 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 6918964 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104617597840 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20704] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20704/stat : 20704 (java) S 20690 20693 19643 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104489122032 140105025776258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20705] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20705/stat : 20705 (java) S 20690 20693 19643 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 20 0 6918967 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104488068320 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20706] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20706/stat : 20706 (java) S 20690 20693 19643 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 6918968 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104487015168 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20707] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20707/stat : 20707 (java) S 20690 20693 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104485963728 140105025783707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20708] ppid=20690 vsize=13268028 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20708/stat : 20708 (java) S 20690 20693 19643 0 -1 1077944384 1524 0 0 0 34 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104484911856 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20709] ppid=20690 vsize=13268028 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20709/stat : 20709 (java) S 20690 20693 19643 0 -1 1077944384 1592 0 0 0 28 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104483859312 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20710] ppid=20690 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20710/stat : 20710 (java) S 20690 20693 19643 0 -1 1077944384 1548 0 0 0 30 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104482806256 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20711] ppid=20690 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20711/stat : 20711 (java) S 20690 20693 19643 0 -1 1077944384 2656 0 0 0 26 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104481753712 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20712] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20712/stat : 20712 (java) S 20690 20693 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104480700896 140105025775317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
[pid=20693/tid=20713] ppid=20690 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20693/task/20713/stat : 20713 (java) S 20690 20693 19643 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 6918972 13586460672 49848 33554432000 4194304 4196468 140726565603824 140104479648432 140105025776258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36757504 140726565610638 140726565610820 140726565610820 140726565613519 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 2.68127
CPU time (s): 3.91403
CPU user time (s): 3.80347
CPU system time (s): 0.110565
CPU usage (%): 145.977
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.80347
system time used= 0.110565
maximum resident set size= 199684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2463
involuntary context switches= 287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021405 second user time and 0.029292 second system time
The end