runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456922-1307204042/watcher-3456922-1307204042 -o /tmp/evaluation-result-3456922-1307204042/solver-3456922-1307204042 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456922-1307204042.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19743
/proc/meminfo: memFree=16363724/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 2643 0 1 0 0 0 0 0 25 0 2 0 910635007 10681323520 2344 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2607745 2356 906 9 0 2598901 0
[pid=19743/tid=19744] ppid=19741 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 7377 0 1 0 0 0 0 0 25 0 2 0 910635007 10694979584 8193 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.078277 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19743
/proc/meminfo: memFree=16363724/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 12027 0 1 0 6 1 0 0 25 0 18 0 910635007 10724442112 11723 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2618272 11723 1755 9 0 2609006 0
[pid=19743/tid=19744] ppid=19741 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 10852 0 1 0 6 1 0 0 25 0 18 0 910635007 10724442112 11723 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000419275 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.100213 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19743
/proc/meminfo: memFree=16363724/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10539676 CPUtime=0.1 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 13096 0 1 0 9 1 0 0 25 0 18 0 910635007 10792628224 12767 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2634919 12767 2092 9 0 2625653 0
[pid=19743/tid=19744] ppid=19741 vsize=10539676 CPUtime=0.09 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 11150 0 1 0 8 1 0 0 18 0 18 0 910635007 10792628224 12769 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000421243 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539676
[startup+0.340543 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19743
/proc/meminfo: memFree=16363724/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10546000 CPUtime=0.67 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 23615 0 1 0 65 2 0 0 25 0 19 0 910635007 10799104000 21545 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2636500 21553 2215 9 0 2627234 0
[pid=19743/tid=19744] ppid=19741 vsize=10546000 CPUtime=0.32 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 15908 0 1 0 31 1 0 0 19 0 19 0 910635007 10799104000 21556 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505583421 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10546000
[startup+0.701168 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19743
/proc/meminfo: memFree=16363724/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10556420 CPUtime=1.68 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 51039 0 1 0 163 5 0 0 25 0 19 0 910635007 10809774080 48919 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2639105 48922 2218 9 0 2629839 0
[pid=19743/tid=19744] ppid=19741 vsize=10556420 CPUtime=0.69 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 40232 0 1 0 64 5 0 0 19 0 19 0 910635007 10809774080 48923 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505628236 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10556420
[startup+1.50097 s]
/proc/loadavg: 1.95 2.04 1.98 3/551 19762
/proc/meminfo: memFree=15956316/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10556420 CPUtime=2.64 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 138854 0 1 0 249 15 0 0 25 0 19 0 910635007 10809774080 136733 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2639105 136736 2224 9 0 2629839 0
[pid=19743/tid=19744] ppid=19741 vsize=10556420 CPUtime=1.48 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 128026 0 1 0 134 14 0 0 21 0 19 0 910635007 10809774080 136737 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505627775 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19743/tid=19746] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19746/stat : 19746 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136739 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19747] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19747/stat : 19747 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136740 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19748] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19748/stat : 19748 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136741 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19749] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19749/stat : 19749 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136743 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19750] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19750/stat : 19750 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136746 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19751] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19751/stat : 19751 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136750 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19752] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19752/stat : 19752 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136752 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19753] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19753/stat : 19753 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 136754 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19754] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19754/stat : 19754 (java) S 19741 19743 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910635010 10809774080 136759 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 0 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19755] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19755/stat : 19755 (java) S 19741 19743 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910635010 10809774080 136763 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19756] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19756/stat : 19756 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910635010 10809774080 136767 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19757] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19757/stat : 19757 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635012 10809774080 136772 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000416177 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19758] ppid=19741 vsize=10556420 CPUtime=0.52 cores=1,3,5,7
/proc/19743/task/19758/stat : 19758 (java) S 19741 19743 19289 0 -1 4202560 4933 0 0 0 52 0 0 0 19 0 19 0 910635012 10809774080 136776 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19759] ppid=19741 vsize=10556420 CPUtime=0.62 cores=1,3,5,7
/proc/19743/task/19759/stat : 19759 (java) S 19741 19743 19289 0 -1 4202560 4738 0 0 0 62 0 0 0 15 0 19 0 910635013 10809774080 136780 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19760] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19760/stat : 19760 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635013 10809774080 136785 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19761] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19761/stat : 19761 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910635013 10809774080 136789 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19762] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19762/stat : 19762 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910635023 10809774080 136794 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10556420
[startup+3.10076 s]
/proc/loadavg: 1.95 2.04 1.98 3/551 19762
/proc/meminfo: memFree=15529232/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10556420 CPUtime=4.25 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 299187 0 1 0 393 32 0 0 25 0 19 0 910635007 10809774080 297065 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2639105 297073 2224 9 0 2629839 0
[pid=19743/tid=19744] ppid=19741 vsize=10556420 CPUtime=3.08 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 288367 0 1 0 277 31 0 0 25 0 19 0 910635007 10809774080 297079 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505528170 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19743/tid=19746] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19746/stat : 19746 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297083 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19747] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19747/stat : 19747 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297088 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19748] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19748/stat : 19748 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297094 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19749] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19749/stat : 19749 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297098 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19750] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19750/stat : 19750 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297103 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19751] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19751/stat : 19751 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297108 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19752] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19752/stat : 19752 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297112 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19753] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19753/stat : 19753 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10809774080 297117 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19754] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19754/stat : 19754 (java) S 19741 19743 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910635010 10809774080 297123 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 0 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19755] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19755/stat : 19755 (java) S 19741 19743 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910635010 10809774080 297127 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19756] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19756/stat : 19756 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910635010 10809774080 297131 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19757] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19757/stat : 19757 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635012 10809774080 297137 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000416177 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19758] ppid=19741 vsize=10556420 CPUtime=0.53 cores=1,3,5,7
/proc/19743/task/19758/stat : 19758 (java) S 19741 19743 19289 0 -1 4202560 4935 0 0 0 53 0 0 0 15 0 19 0 910635012 10809774080 297141 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19759] ppid=19741 vsize=10556420 CPUtime=0.62 cores=1,3,5,7
/proc/19743/task/19759/stat : 19759 (java) S 19741 19743 19289 0 -1 4202560 4738 0 0 0 62 0 0 0 15 0 19 0 910635013 10809774080 297145 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19760] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19760/stat : 19760 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635013 10809774080 297150 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19761] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19761/stat : 19761 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910635013 10809774080 297156 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19762] ppid=19741 vsize=10556420 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19762/stat : 19762 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910635023 10809774080 297160 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10556420
[startup+6.30113 s]
/proc/loadavg: 1.96 2.04 1.98 3/551 19762
/proc/meminfo: memFree=14194860/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10553496 CPUtime=7.46 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 592244 0 1 0 683 63 0 0 25 0 19 0 910635007 10806779904 589422 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2638374 589429 2225 9 0 2629108 0
[pid=19743/tid=19744] ppid=19741 vsize=10553496 CPUtime=6.28 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 581416 0 1 0 566 62 0 0 25 0 19 0 910635007 10806779904 589432 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505583436 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19743/tid=19746] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19746/stat : 19746 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589437 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19747] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19747/stat : 19747 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589442 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19748] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19748/stat : 19748 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589448 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19749] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19749/stat : 19749 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589452 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19750] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19750/stat : 19750 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589457 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19751] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19751/stat : 19751 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589460 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19752] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19752/stat : 19752 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589464 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19753] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19753/stat : 19753 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635009 10806779904 589469 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19754] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19754/stat : 19754 (java) S 19741 19743 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910635010 10806779904 589473 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 0 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19755] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19755/stat : 19755 (java) S 19741 19743 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910635010 10806779904 589478 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19756] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19756/stat : 19756 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910635010 10806779904 589482 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19757] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19757/stat : 19757 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635012 10806779904 589487 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000416177 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19758] ppid=19741 vsize=10553496 CPUtime=0.54 cores=1,3,5,7
/proc/19743/task/19758/stat : 19758 (java) S 19741 19743 19289 0 -1 4202560 4938 0 0 0 54 0 0 0 15 0 19 0 910635012 10806779904 589492 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19759] ppid=19741 vsize=10553496 CPUtime=0.62 cores=1,3,5,7
/proc/19743/task/19759/stat : 19759 (java) S 19741 19743 19289 0 -1 4202560 4738 0 0 0 62 0 0 0 15 0 19 0 910635013 10806779904 589497 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=19743/tid=19760] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19760/stat : 19760 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635013 10806779904 1004590 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19761] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19761/stat : 19761 (java) S 19741 19743 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 910635013 10806779904 1004590 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19762] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19762/stat : 19762 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910635023 10806779904 1004590 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.6
Current children cumulated vsize (KiB) 10553496
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/551 19905
/proc/meminfo: memFree=12422512/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10553496 CPUtime=1724.6 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 1020104 0 1 0 172340 120 0 0 25 0 19 0 910635007 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2638374 1005645 2241 9 0 2629108 0
[pid=19743/tid=19744] ppid=19741 vsize=10553496 CPUtime=1721.74 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 766238 0 1 0 172092 82 0 0 25 0 19 0 910635007 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505581488 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19743/tid=19746] ppid=19741 vsize=10553496 CPUtime=0.16 cores=1,3,5,7
/proc/19743/task/19746/stat : 19746 (java) S 19741 19743 19289 0 -1 4202560 20344 0 0 0 14 2 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19747] ppid=19741 vsize=10553496 CPUtime=0.11 cores=1,3,5,7
/proc/19743/task/19747/stat : 19747 (java) S 19741 19743 19289 0 -1 4202560 15514 0 0 0 9 2 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19748] ppid=19741 vsize=10553496 CPUtime=0.15 cores=1,3,5,7
/proc/19743/task/19748/stat : 19748 (java) S 19741 19743 19289 0 -1 4202560 18737 0 0 0 12 3 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19749] ppid=19741 vsize=10553496 CPUtime=0.18 cores=1,3,5,7
/proc/19743/task/19749/stat : 19749 (java) S 19741 19743 19289 0 -1 4202560 32792 0 0 0 14 4 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19750] ppid=19741 vsize=10553496 CPUtime=0.26 cores=1,3,5,7
/proc/19743/task/19750/stat : 19750 (java) S 19741 19743 19289 0 -1 4202560 43212 0 0 0 20 6 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19751] ppid=19741 vsize=10553496 CPUtime=0.24 cores=1,3,5,7
/proc/19743/task/19751/stat : 19751 (java) S 19741 19743 19289 0 -1 4202560 34114 0 0 0 19 5 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19752] ppid=19741 vsize=10553496 CPUtime=0.22 cores=1,3,5,7
/proc/19743/task/19752/stat : 19752 (java) S 19741 19743 19289 0 -1 4202560 41735 0 0 0 17 5 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19753] ppid=19741 vsize=10553496 CPUtime=0.2 cores=1,3,5,7
/proc/19743/task/19753/stat : 19753 (java) S 19741 19743 19289 0 -1 4202560 36397 0 0 0 16 4 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19754] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19754/stat : 19754 (java) S 19741 19743 19289 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 0 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19755] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19755/stat : 19755 (java) S 19741 19743 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19756] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19756/stat : 19756 (java) S 19741 19743 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19757] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19757/stat : 19757 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635012 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000416177 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19758] ppid=19741 vsize=10553496 CPUtime=0.55 cores=1,3,5,7
/proc/19743/task/19758/stat : 19758 (java) S 19741 19743 19289 0 -1 4202560 4948 0 0 0 55 0 0 0 15 0 19 0 910635012 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19759] ppid=19741 vsize=10553496 CPUtime=0.65 cores=1,3,5,7
/proc/19743/task/19759/stat : 19759 (java) S 19741 19743 19289 0 -1 4202560 4750 0 0 0 65 0 0 0 15 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19760] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19760/stat : 19760 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19761] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19761/stat : 19761 (java) S 19741 19743 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19762] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19762/stat : 19762 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910635023 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.6
Current children cumulated vsize (KiB) 10553496
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 19907
/proc/meminfo: memFree=12370652/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10553496 CPUtime=1784.6 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 1020106 0 1 0 178340 120 0 0 25 0 19 0 910635007 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2638374 1005645 2241 9 0 2629108 0
[pid=19743/tid=19744] ppid=19741 vsize=10553496 CPUtime=1781.74 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 766238 0 1 0 178092 82 0 0 25 0 19 0 910635007 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505876864 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19743/tid=19746] ppid=19741 vsize=10553496 CPUtime=0.16 cores=1,3,5,7
/proc/19743/task/19746/stat : 19746 (java) S 19741 19743 19289 0 -1 4202560 20344 0 0 0 14 2 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19747] ppid=19741 vsize=10553496 CPUtime=0.11 cores=1,3,5,7
/proc/19743/task/19747/stat : 19747 (java) S 19741 19743 19289 0 -1 4202560 15514 0 0 0 9 2 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19748] ppid=19741 vsize=10553496 CPUtime=0.15 cores=1,3,5,7
/proc/19743/task/19748/stat : 19748 (java) S 19741 19743 19289 0 -1 4202560 18737 0 0 0 12 3 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19749] ppid=19741 vsize=10553496 CPUtime=0.18 cores=1,3,5,7
/proc/19743/task/19749/stat : 19749 (java) S 19741 19743 19289 0 -1 4202560 32792 0 0 0 14 4 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19750] ppid=19741 vsize=10553496 CPUtime=0.26 cores=1,3,5,7
/proc/19743/task/19750/stat : 19750 (java) S 19741 19743 19289 0 -1 4202560 43212 0 0 0 20 6 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19751] ppid=19741 vsize=10553496 CPUtime=0.24 cores=1,3,5,7
/proc/19743/task/19751/stat : 19751 (java) S 19741 19743 19289 0 -1 4202560 34114 0 0 0 19 5 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19752] ppid=19741 vsize=10553496 CPUtime=0.22 cores=1,3,5,7
/proc/19743/task/19752/stat : 19752 (java) S 19741 19743 19289 0 -1 4202560 41735 0 0 0 17 5 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19753] ppid=19741 vsize=10553496 CPUtime=0.2 cores=1,3,5,7
/proc/19743/task/19753/stat : 19753 (java) S 19741 19743 19289 0 -1 4202560 36397 0 0 0 16 4 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19754] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19754/stat : 19754 (java) S 19741 19743 19289 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 0 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19755] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19755/stat : 19755 (java) S 19741 19743 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19756] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19756/stat : 19756 (java) S 19741 19743 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19757] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19757/stat : 19757 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635012 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000416177 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19758] ppid=19741 vsize=10553496 CPUtime=0.55 cores=1,3,5,7
/proc/19743/task/19758/stat : 19758 (java) S 19741 19743 19289 0 -1 4202560 4948 0 0 0 55 0 0 0 15 0 19 0 910635012 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19759] ppid=19741 vsize=10553496 CPUtime=0.65 cores=1,3,5,7
/proc/19743/task/19759/stat : 19759 (java) S 19741 19743 19289 0 -1 4202560 4750 0 0 0 65 0 0 0 15 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19760] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19760/stat : 19760 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19761] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19761/stat : 19761 (java) S 19741 19743 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19762] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19762/stat : 19762 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910635023 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (KiB) 10553496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 19907
/proc/meminfo: memFree=12371012/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=10553496 CPUtime=1800.01 cores=1,3,5,7
/proc/19743/stat : 19743 (java) S 19741 19743 19289 0 -1 4202496 1020108 0 1 0 179881 120 0 0 25 0 19 0 910635007 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 2638374 1005645 2241 9 0 2629108 0
[pid=19743/tid=19744] ppid=19741 vsize=10553496 CPUtime=1797.16 cores=1,3,5,7
/proc/19743/task/19744/stat : 19744 (java) R 19741 19743 19289 0 -1 4202560 766238 0 1 0 179634 82 0 0 25 0 19 0 910635007 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 46912505971196 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19743/tid=19746] ppid=19741 vsize=10553496 CPUtime=0.16 cores=1,3,5,7
/proc/19743/task/19746/stat : 19746 (java) S 19741 19743 19289 0 -1 4202560 20344 0 0 0 14 2 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19747] ppid=19741 vsize=10553496 CPUtime=0.11 cores=1,3,5,7
/proc/19743/task/19747/stat : 19747 (java) S 19741 19743 19289 0 -1 4202560 15514 0 0 0 9 2 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19748] ppid=19741 vsize=10553496 CPUtime=0.15 cores=1,3,5,7
/proc/19743/task/19748/stat : 19748 (java) S 19741 19743 19289 0 -1 4202560 18737 0 0 0 12 3 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19749] ppid=19741 vsize=10553496 CPUtime=0.18 cores=1,3,5,7
/proc/19743/task/19749/stat : 19749 (java) S 19741 19743 19289 0 -1 4202560 32792 0 0 0 14 4 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19750] ppid=19741 vsize=10553496 CPUtime=0.26 cores=1,3,5,7
/proc/19743/task/19750/stat : 19750 (java) S 19741 19743 19289 0 -1 4202560 43212 0 0 0 20 6 0 0 16 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19751] ppid=19741 vsize=10553496 CPUtime=0.24 cores=1,3,5,7
/proc/19743/task/19751/stat : 19751 (java) S 19741 19743 19289 0 -1 4202560 34114 0 0 0 19 5 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
[pid=19743/tid=19752] ppid=19741 vsize=10553496 CPUtime=0.22 cores=1,3,5,7
/proc/19743/task/19752/stat : 19752 (java) S 19741 19743 19289 0 -1 4202560 41735 0 0 0 17 5 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19753] ppid=19741 vsize=10553496 CPUtime=0.2 cores=1,3,5,7
/proc/19743/task/19753/stat : 19753 (java) S 19741 19743 19289 0 -1 4202560 36397 0 0 0 16 4 0 0 15 0 19 0 910635009 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19754] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19754/stat : 19754 (java) S 19741 19743 19289 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 0 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19755] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19755/stat : 19755 (java) S 19741 19743 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19756] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19756/stat : 19756 (java) S 19741 19743 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910635010 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19757] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19757/stat : 19757 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635012 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000416177 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19758] ppid=19741 vsize=10553496 CPUtime=0.55 cores=1,3,5,7
/proc/19743/task/19758/stat : 19758 (java) S 19741 19743 19289 0 -1 4202560 4948 0 0 0 55 0 0 0 15 0 19 0 910635012 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 1 0 0 0
[pid=19743/tid=19759] ppid=19741 vsize=10553496 CPUtime=0.65 cores=1,3,5,7
/proc/19743/task/19759/stat : 19759 (java) S 19741 19743 19289 0 -1 4202560 4750 0 0 0 65 0 0 0 15 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 3 0 0 0
[pid=19743/tid=19760] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19760/stat : 19760 (java) S 19741 19743 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000408473 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19761] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19761/stat : 19761 (java) S 19741 19743 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 910635013 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 5 0 0 0
[pid=19743/tid=19762] ppid=19741 vsize=10553496 CPUtime=0 cores=1,3,5,7
/proc/19743/task/19762/stat : 19762 (java) S 19741 19743 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910635023 10806779904 1005645 33554432000 1073741824 1073778376 140735733312384 18446744073709551615 216000409088 0 4 0 16800975 18446604469386327232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10553496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.82 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 19907
/proc/meminfo: memFree=12371012/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/19743/stat : 19743 (java) Z 19741 19743 19289 0 -1 4203548 1020137 0 1 0 179885 129 0 0 17 0 2 0 910635007 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 19907
/proc/meminfo: memFree=12371012/32950940 swapFree=67111364/67111528
[pid=19743] ppid=19741 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/19743/stat : 19743 (java) Z 19741 19743 19289 0 -1 4203548 1020137 0 1 0 179885 137 0 0 17 0 2 0 910635007 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19743/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.9
CPU time (s): 1800.23
CPU user time (s): 1798.86
CPU system time (s): 1.37779
CPU usage (%): 100.13
Max. virtual memory (cumulated for all children) (KiB): 10556420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.37779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1020137
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37863
involuntary context switches= 31736
runsolver used 8.91564 second user time and 21.0678 second system time
The end