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-4257579-1501647129/watcher-4257579-1501647129 -o /tmp/evaluation-result-4257579-1501647129/solver-4257579-1501647129 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27505 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257579-1501647129.xml
pid=965
running on 4 cores: 1,3,5,7
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: 2.00 2.01 1.97 3/195 968
/proc/meminfo: memFree=31746860/32770624 swapFree=0/222292
[pid=968] ppid=965 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/968/stat : 968 (runsolver) D 965 968 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13333219 24240128 106 18446744073709551615 4194304 4338465 140729482708784 140729482706424 140566686995159 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 22437888 140729482715295 140729482715718 140729482715718 140729482719178 0
/proc/968/statm: 5918 106 53 36 0 2156 0
[startup+0.100235 s]
/proc/loadavg: 2.00 2.01 1.97 3/195 968
/proc/meminfo: memFree=31746860/32770624 swapFree=0/222292
[pid=968] ppid=965 vsize=9936560 CPUtime=0 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 3481 0 0 0 0 0 0 0 20 0 6 0 13333219 10175037440 4179 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2484140 4179 1912 1 0 2473645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9936560
[startup+0.200349 s]
/proc/loadavg: 2.00 2.01 1.97 3/195 968
/proc/meminfo: memFree=31746860/32770624 swapFree=0/222292
[pid=968] ppid=965 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 4673 0 0 0 4 1 0 0 20 0 14 0 13333219 10736119808 5707 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2621123 5707 2566 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300348 s]
/proc/loadavg: 2.00 2.01 1.97 3/195 968
/proc/meminfo: memFree=31746860/32770624 swapFree=0/222292
[pid=968] ppid=965 vsize=10552204 CPUtime=0.21 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 8209 0 0 0 19 2 0 0 20 0 15 0 13333219 10805456896 9021 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2638051 9021 2881 1 0 2627525 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10552204
[startup+0.701872 s]
/proc/loadavg: 2.00 2.01 1.97 3/195 968
/proc/meminfo: memFree=31746860/32770624 swapFree=0/222292
[pid=968] ppid=965 vsize=10621952 CPUtime=1.1 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 12830 0 0 0 105 5 0 0 20 0 16 0 13333219 10876878848 20020 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2655488 20020 3076 1 0 2644422 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 991
/proc/meminfo: memFree=31743420/32770624 swapFree=0/222312
[pid=968] ppid=965 vsize=10624000 CPUtime=3.15 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 22236 0 0 0 306 9 0 0 20 0 16 0 13333219 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 34017 3092 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=0.64 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) R 965 968 5131 0 -1 4202560 2220 0 0 0 64 0 0 0 20 0 16 0 13333232 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420076438224 140420500296534 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=0.7 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 2920 0 0 0 70 0 0 0 20 0 16 0 13333232 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.45 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 2980 0 0 0 44 1 0 0 20 0 16 0 13333232 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 13333240 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=1.11 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 6167 0 0 0 108 3 0 0 20 0 16 0 13333257 10878976000 34017 18446744073709551615 4194304 4196468 140729164240384 140420069047424 140420152661616 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 10624000
[startup+3.10063 s]
/proc/loadavg: 2.00 2.01 1.97 4/192 1030
/proc/meminfo: memFree=31737772/32770624 swapFree=0/222312
[pid=968] ppid=965 vsize=10624000 CPUtime=5.48 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 23700 0 0 0 539 9 0 0 20 0 16 0 13333219 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 34684 3095 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=0.96 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) S 965 968 5131 0 -1 1077944384 2729 0 0 0 96 0 0 0 20 0 16 0 13333232 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420076448624 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=1.09 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 3543 0 0 0 109 0 0 0 20 0 16 0 13333232 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.47 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 3049 0 0 0 46 1 0 0 20 0 16 0 13333232 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 13333240 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=2.7 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 6383 0 0 0 267 3 0 0 20 0 16 0 13333257 10878976000 34684 18446744073709551615 4194304 4196468 140729164240384 140420069047264 140420153057881 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 10624000
[startup+6.3006 s]
/proc/loadavg: 2.00 2.01 1.97 3/203 1103
/proc/meminfo: memFree=31724740/32770624 swapFree=0/222340
[pid=968] ppid=965 vsize=10624000 CPUtime=8.85 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 26719 0 0 0 876 9 0 0 20 0 16 0 13333219 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 34750 3096 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 766 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=1.01 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) S 965 968 5131 0 -1 1077944384 3464 0 0 0 101 0 0 0 20 0 16 0 13333232 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420076448624 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=1.18 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 4463 0 0 0 118 0 0 0 20 0 16 0 13333232 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.49 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 3271 0 0 0 48 1 0 0 20 0 16 0 13333232 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 16 0 13333240 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=5.9 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 6925 0 0 0 587 3 0 0 20 0 16 0 13333257 10878976000 34750 18446744073709551615 4194304 4196468 140729164240384 140420069044528 140420153057978 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 10624000
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 1.97 3/211 1156
/proc/meminfo: memFree=31619280/32770624 swapFree=0/222376
[pid=968] ppid=965 vsize=10624000 CPUtime=15.35 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 32294 0 0 0 1525 10 0 0 20 0 16 0 13333219 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 34795 3101 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 807 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 34795 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
################
# More data... #
################
/proc/meminfo: memFree=31529616/32770624 swapFree=0/222436
[pid=968] ppid=965 vsize=10624000 CPUtime=105.05 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 38146 0 0 0 10494 11 0 0 20 0 16 0 13333219 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 34822 3101 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 873 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=1.08 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) S 965 968 5131 0 -1 1077944384 5154 0 0 0 107 1 0 0 20 0 16 0 13333232 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420076448624 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=1.29 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 7464 0 0 0 129 0 0 0 20 0 16 0 13333232 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 5571 0 0 0 50 2 0 0 20 0 16 0 13333232 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 614 0 0 0 1 0 0 0 20 0 16 0 13333240 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=101.9 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 10961 0 0 0 10186 4 0 0 20 0 16 0 13333257 10878976000 34822 18446744073709551615 4194304 4196468 140729164240384 140420069046168 140420153200412 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 105.05
Current children cumulated vsize (KiB) 10624000
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.98 3/211 1175
/proc/meminfo: memFree=31511084/32770624 swapFree=0/222480
[pid=968] ppid=965 vsize=10624000 CPUtime=165.06 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 38505 0 0 0 16494 12 0 0 20 0 16 0 13333219 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 38966 3101 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 881 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=1.08 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) S 965 968 5131 0 -1 1077944384 5168 0 0 0 107 1 0 0 20 0 16 0 13333232 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420076448624 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=1.29 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 7467 0 0 0 129 0 0 0 20 0 16 0 13333232 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 5574 0 0 0 50 2 0 0 20 0 16 0 13333232 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 649 0 0 0 1 1 0 0 20 0 16 0 13333240 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=161.89 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 11257 0 0 0 16185 4 0 0 20 0 16 0 13333257 10878976000 38966 18446744073709551615 4194304 4196468 140729164240384 140420069046168 140420153146384 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 165.06
Current children cumulated vsize (KiB) 10624000
[startup+222.306 s]
/proc/loadavg: 1.98 2.01 1.98 3/215 1205
/proc/meminfo: memFree=31508780/32770624 swapFree=0/222544
[pid=968] ppid=965 vsize=10624000 CPUtime=225.08 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 39070 0 0 0 22496 12 0 0 20 0 16 0 13333219 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 38968 3101 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 908 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=1.08 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) S 965 968 5131 0 -1 1077944384 5224 0 0 0 107 1 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420076448624 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=1.3 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 7510 0 0 0 129 1 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 5714 0 0 0 50 2 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0.04 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 678 0 0 0 2 2 0 0 20 0 16 0 13333240 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=221.89 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 11527 0 0 0 22185 4 0 0 20 0 16 0 13333257 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420069045496 140420153146379 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 225.08
Current children cumulated vsize (KiB) 10624000
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 2.03 1.98 3/215 1206
/proc/meminfo: memFree=31499164/32770624 swapFree=0/222564
[pid=968] ppid=965 vsize=10624000 CPUtime=242.77 cores=1,3,5,7
/proc/968/stat : 968 (java) S 965 968 5131 0 -1 1077944320 39074 0 0 0 24265 12 0 0 20 0 16 0 13333219 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140729164222928 140420516802295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
/proc/968/statm: 2656000 38968 3101 1 0 2644934 0
[pid=968/tid=970] ppid=965 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/968/task/970/stat : 970 (java) S 965 968 5131 0 -1 1077944384 6147 0 0 0 19 2 0 0 20 0 16 0 13333227 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420521045168 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=971] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/971/stat : 971 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420473769104 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=972] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/972/stat : 972 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420472716304 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=973] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/973/stat : 973 (java) S 965 968 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420471663504 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=974] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/974/stat : 974 (java) S 965 968 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333228 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420470610704 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=975] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/975/stat : 975 (java) S 965 968 5131 0 -1 1077944384 908 0 0 0 0 0 0 0 20 0 16 0 13333229 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420080658800 140420516813442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=976] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/976/stat : 976 (java) S 965 968 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420079604768 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=977] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/977/stat : 977 (java) S 965 968 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333230 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420078551920 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=978] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/978/stat : 978 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420077500240 140420516820891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=979] ppid=965 vsize=10624000 CPUtime=1.08 cores=1,3,5,7
/proc/968/task/979/stat : 979 (java) S 965 968 5131 0 -1 1077944384 5224 0 0 0 107 1 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420076448624 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=980] ppid=965 vsize=10624000 CPUtime=1.3 cores=1,3,5,7
/proc/968/task/980/stat : 980 (java) S 965 968 5131 0 -1 1077944384 7510 0 0 0 129 1 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420075395824 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=981] ppid=965 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/968/task/981/stat : 981 (java) S 965 968 5131 0 -1 1077944384 5714 0 0 0 50 2 0 0 20 0 16 0 13333232 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420074343024 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=982] ppid=965 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/968/task/982/stat : 982 (java) S 965 968 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333233 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420073290464 140420516812501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=985] ppid=965 vsize=10624000 CPUtime=0.04 cores=1,3,5,7
/proc/968/task/985/stat : 985 (java) S 965 968 5131 0 -1 1077944384 678 0 0 0 2 2 0 0 20 0 16 0 13333240 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420072237744 140420516813442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
[pid=968/tid=986] ppid=965 vsize=10624000 CPUtime=239.58 cores=1,3,5,7
/proc/968/task/986/stat : 986 (java) R 965 968 5131 0 -1 4202560 11531 0 0 0 23954 4 0 0 20 0 16 0 13333257 10878976000 38968 18446744073709551615 4194304 4196468 140729164240384 140420069045496 140420153145941 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32833536 140729164243402 140729164243531 140729164243531 140729164246991 0
Current children cumulated CPU time (s) 242.77
Current children cumulated vsize (KiB) 10624000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 968 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.011
CPU time (s): 242.8
CPU user time (s): 242.667
CPU system time (s): 0.132042
CPU usage (%): 101.162
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.667
system time used= 0.132042
maximum resident set size= 164616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7584
involuntary context switches= 75
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05304 second user time and 1.22398 second system time
The end