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-3456720-1307219468/watcher-3456720-1307219468 -o /tmp/evaluation-result-3456720-1307219468/solver-3456720-1307219468 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456720-1307219468.opb
running on 4 cores: 0,2,4,6
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.93 2.00 1.92 2/345 700
/proc/meminfo: memFree=20025512/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=248 CPUtime=0 cores=0,2,4,6
/proc/700/stat : 700 (java) R 698 700 326 0 -1 4194304 251 0 0 0 0 0 0 0 25 0 1 0 912177391 253952 16 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260015431072 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/700/statm: 63 27 19 9 0 22 0
[pid=700/tid=701] ppid=698 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 1439 0 1 0 0 0 0 0 25 0 2 0 912177392 10681323520 2255 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.055495 s]
/proc/loadavg: 1.93 2.00 1.92 2/345 700
/proc/meminfo: memFree=20025512/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 11455 0 1 0 3 1 0 0 25 0 13 0 912177391 10718838784 11153 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2616904 11153 1685 9 0 2607652 0
[pid=700/tid=701] ppid=698 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) S 698 700 326 0 -1 4202560 10311 0 1 0 3 0 0 0 18 0 13 0 912177392 10718838784 11155 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260020391941 0 2147483391 0 16800971 18446744071699199166 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101138 s]
/proc/loadavg: 1.93 2.00 1.92 2/345 700
/proc/meminfo: memFree=20025512/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10540252 CPUtime=0.1 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 12983 0 1 0 9 1 0 0 25 0 18 0 912177391 10793218048 12681 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2635063 12682 2092 9 0 2625797 0
[pid=700/tid=701] ppid=698 vsize=10540252 CPUtime=0.08 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 11080 0 1 0 7 1 0 0 22 0 18 0 912177392 10793218048 12682 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 47059178066997 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540252
[startup+0.309163 s]
/proc/loadavg: 1.93 2.00 1.92 2/345 700
/proc/meminfo: memFree=20025512/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10542676 CPUtime=0.5 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 16994 0 1 0 48 2 0 0 25 0 18 0 912177391 10795700224 15900 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2635669 15902 2201 9 0 2626403 0
[pid=700/tid=701] ppid=698 vsize=10542676 CPUtime=0.28 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 13389 0 1 0 27 1 0 0 22 0 18 0 912177392 10795700224 15902 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505621240 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542676
[startup+0.701111 s]
/proc/loadavg: 1.93 2.00 1.92 2/345 700
/proc/meminfo: memFree=20025512/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10545120 CPUtime=1.19 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 47012 0 1 0 111 8 0 0 25 0 18 0 912177391 10798202880 44762 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2636280 44766 2223 9 0 2627014 0
[pid=700/tid=701] ppid=698 vsize=10545120 CPUtime=0.68 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 41016 0 1 0 62 6 0 0 23 0 18 0 912177392 10798202880 44768 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505536809 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10545120
[startup+1.50096 s]
/proc/loadavg: 1.93 2.00 1.92 5/364 719
/proc/meminfo: memFree=19748228/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10549876 CPUtime=2.63 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 99187 0 1 0 249 14 0 0 25 0 19 0 912177391 10803073024 93388 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2637469 93390 2238 9 0 2628203 0
[pid=700/tid=701] ppid=698 vsize=10549876 CPUtime=1.47 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 88810 0 1 0 136 11 0 0 25 0 19 0 912177392 10803073024 93392 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912506096801 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=700/tid=703] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/703/stat : 703 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93394 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=704] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/704/stat : 704 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93397 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=705] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/705/stat : 705 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93397 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=706] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/706/stat : 706 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93398 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=707] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/707/stat : 707 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93399 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=708] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/708/stat : 708 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93399 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=709] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/709/stat : 709 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93399 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=710] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/710/stat : 710 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 93399 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=711] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/711/stat : 711 (java) S 698 700 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 93399 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 0 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=712] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/712/stat : 712 (java) S 698 700 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912177395 10803073024 93399 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=713] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177395 10803073024 93401 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 93406 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=0.58 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 3861 0 0 0 58 0 0 0 15 0 19 0 912177397 10803073024 93407 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.55 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 5361 0 0 0 54 1 0 0 15 0 19 0 912177398 10803073024 93407 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=717] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/717/stat : 717 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912177398 10803073024 93407 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=718] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/718/stat : 718 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912177398 10803073024 93407 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=719] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/719/stat : 719 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177489 10803073024 93407 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10549876
[startup+3.10167 s]
/proc/loadavg: 1.93 2.00 1.92 3/364 719
/proc/meminfo: memFree=19504312/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10549876 CPUtime=4.58 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 217789 0 1 0 427 31 0 0 25 0 19 0 912177391 10803073024 208618 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2637469 208621 2241 9 0 2628203 0
[pid=700/tid=701] ppid=698 vsize=10549876 CPUtime=3.08 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 203989 0 1 0 280 28 0 0 25 0 19 0 912177392 10803073024 208624 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505848203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=700/tid=703] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/703/stat : 703 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208626 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=704] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/704/stat : 704 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208628 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=705] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/705/stat : 705 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208630 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=706] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/706/stat : 706 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208633 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=707] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/707/stat : 707 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208635 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=708] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/708/stat : 708 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208637 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=709] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/709/stat : 709 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208638 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=710] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/710/stat : 710 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 208640 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=711] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/711/stat : 711 (java) S 698 700 326 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 208641 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 0 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=712] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/712/stat : 712 (java) S 698 700 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912177395 10803073024 208643 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=713] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177395 10803073024 208645 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 208646 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=0.73 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 3884 0 0 0 73 0 0 0 15 0 19 0 912177397 10803073024 208648 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.75 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 8762 0 0 0 73 2 0 0 15 0 19 0 912177398 10803073024 208650 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=717] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/717/stat : 717 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912177398 10803073024 208652 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=718] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/718/stat : 718 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912177398 10803073024 208653 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=719] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/719/stat : 719 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177489 10803073024 208655 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 10549876
[startup+6.30105 s]
/proc/loadavg: 1.93 2.00 1.92 3/364 720
/proc/meminfo: memFree=18472756/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10549876 CPUtime=8.04 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 473461 0 1 0 739 65 0 0 25 0 19 0 912177391 10803073024 460662 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2637469 460665 2241 9 0 2628203 0
[pid=700/tid=701] ppid=698 vsize=10549876 CPUtime=6.28 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 455853 0 1 0 566 62 0 0 25 0 19 0 912177392 10803073024 460667 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505848211 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=700/tid=703] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/703/stat : 703 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460669 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=704] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/704/stat : 704 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460671 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=705] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/705/stat : 705 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460674 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=706] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/706/stat : 706 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460676 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=707] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/707/stat : 707 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460678 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=708] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/708/stat : 708 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460680 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=709] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/709/stat : 709 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460682 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=710] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/710/stat : 710 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177394 10803073024 460684 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=711] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/711/stat : 711 (java) S 698 700 326 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 912177395 10803073024 460685 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 0 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=712] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/712/stat : 712 (java) S 698 700 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912177395 10803073024 460687 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=713] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177395 10803073024 460688 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 460690 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=0.83 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 4069 0 0 0 83 0 0 0 15 0 19 0 912177397 10803073024 460691 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.9 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 12384 0 0 0 88 2 0 0 15 0 19 0 912177398 10803073024 460693 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=1.02 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 4084 0 0 0 102 0 0 0 15 0 19 0 912177397 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 12387 0 0 0 94 2 0 0 15 0 19 0 912177398 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=717] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/717/stat : 717 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912177398 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=718] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/718/stat : 718 (java) S 698 700 326 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 912177398 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=719] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/719/stat : 719 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177489 10803073024 995586 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.26
Current children cumulated vsize (KiB) 10549876
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 1.98 3/364 817
/proc/meminfo: memFree=15871592/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10549876 CPUtime=1729.54 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 1018971 0 1 0 172813 141 0 0 25 0 19 0 912177391 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2637469 1001811 2267 9 0 2628203 0
[pid=700/tid=701] ppid=698 vsize=10549876 CPUtime=1719.27 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 780131 0 1 0 171824 103 0 0 25 0 19 0 912177392 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505848028 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=700/tid=703] ppid=698 vsize=10549876 CPUtime=0.99 cores=0,2,4,6
/proc/700/task/703/stat : 703 (java) S 698 700 326 0 -1 4202560 27110 0 0 0 96 3 0 0 16 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=704] ppid=698 vsize=10549876 CPUtime=0.87 cores=0,2,4,6
/proc/700/task/704/stat : 704 (java) S 698 700 326 0 -1 4202560 28587 0 0 0 84 3 0 0 16 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=705] ppid=698 vsize=10549876 CPUtime=0.79 cores=0,2,4,6
/proc/700/task/705/stat : 705 (java) S 698 700 326 0 -1 4202560 20474 0 0 0 76 3 0 0 15 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 0 0 0 0
[pid=700/tid=706] ppid=698 vsize=10549876 CPUtime=0.92 cores=0,2,4,6
/proc/700/task/706/stat : 706 (java) S 698 700 326 0 -1 4202560 27415 0 0 0 89 3 0 0 15 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=707] ppid=698 vsize=10549876 CPUtime=0.95 cores=0,2,4,6
/proc/700/task/707/stat : 707 (java) S 698 700 326 0 -1 4202560 27381 0 0 0 90 5 0 0 15 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=708] ppid=698 vsize=10549876 CPUtime=1 cores=0,2,4,6
/proc/700/task/708/stat : 708 (java) S 698 700 326 0 -1 4202560 35443 0 0 0 95 5 0 0 16 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=709] ppid=698 vsize=10549876 CPUtime=0.87 cores=0,2,4,6
/proc/700/task/709/stat : 709 (java) S 698 700 326 0 -1 4202560 27759 0 0 0 84 3 0 0 15 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=710] ppid=698 vsize=10549876 CPUtime=0.93 cores=0,2,4,6
/proc/700/task/710/stat : 710 (java) S 698 700 326 0 -1 4202560 26328 0 0 0 90 3 0 0 16 0 19 0 912177394 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 0 0 0 0
[pid=700/tid=711] ppid=698 vsize=10549876 CPUtime=0.84 cores=0,2,4,6
/proc/700/task/711/stat : 711 (java) S 698 700 326 0 -1 4202560 625 0 0 0 84 0 0 0 15 0 19 0 912177395 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 0 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=712] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/712/stat : 712 (java) S 698 700 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=713] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=1.02 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 4084 0 0 0 102 0 0 0 15 0 19 0 912177397 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 12387 0 0 0 94 2 0 0 15 0 19 0 912177398 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=717] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/717/stat : 717 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912177398 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=718] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/718/stat : 718 (java) S 698 700 326 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912177398 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=719] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/719/stat : 719 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177489 10803073024 1001811 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1729.54
Current children cumulated vsize (KiB) 10549876
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/364 819
/proc/meminfo: memFree=15806468/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10549876 CPUtime=1789.74 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 1024599 0 1 0 178832 142 0 0 25 0 19 0 912177391 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2637469 1007277 2267 9 0 2628203 0
[pid=700/tid=701] ppid=698 vsize=10549876 CPUtime=1779.2 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 780133 0 1 0 177817 103 0 0 25 0 19 0 912177392 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505874355 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=700/tid=703] ppid=698 vsize=10549876 CPUtime=1.02 cores=0,2,4,6
/proc/700/task/703/stat : 703 (java) S 698 700 326 0 -1 4202560 27777 0 0 0 99 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=704] ppid=698 vsize=10549876 CPUtime=0.9 cores=0,2,4,6
/proc/700/task/704/stat : 704 (java) S 698 700 326 0 -1 4202560 29298 0 0 0 87 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=705] ppid=698 vsize=10549876 CPUtime=0.82 cores=0,2,4,6
/proc/700/task/705/stat : 705 (java) S 698 700 326 0 -1 4202560 21204 0 0 0 79 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 0 0 0 0
[pid=700/tid=706] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/706/stat : 706 (java) S 698 700 326 0 -1 4202560 28127 0 0 0 92 4 0 0 15 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=707] ppid=698 vsize=10549876 CPUtime=0.95 cores=0,2,4,6
/proc/700/task/707/stat : 707 (java) S 698 700 326 0 -1 4202560 27381 0 0 0 90 5 0 0 15 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=708] ppid=698 vsize=10549876 CPUtime=1.07 cores=0,2,4,6
/proc/700/task/708/stat : 708 (java) S 698 700 326 0 -1 4202560 36768 0 0 0 102 5 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=709] ppid=698 vsize=10549876 CPUtime=0.9 cores=0,2,4,6
/proc/700/task/709/stat : 709 (java) S 698 700 326 0 -1 4202560 28429 0 0 0 87 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=710] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/710/stat : 710 (java) S 698 700 326 0 -1 4202560 27131 0 0 0 93 3 0 0 15 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 0 0 0 0
[pid=700/tid=711] ppid=698 vsize=10549876 CPUtime=0.84 cores=0,2,4,6
/proc/700/task/711/stat : 711 (java) S 698 700 326 0 -1 4202560 629 0 0 0 84 0 0 0 15 0 19 0 912177395 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 0 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=712] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/712/stat : 712 (java) S 698 700 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=713] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=1.02 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 4084 0 0 0 102 0 0 0 15 0 19 0 912177397 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 12387 0 0 0 94 2 0 0 15 0 19 0 912177398 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=717] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/717/stat : 717 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912177398 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=718] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/718/stat : 718 (java) S 698 700 326 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912177398 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=719] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/719/stat : 719 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177489 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1789.74
Current children cumulated vsize (KiB) 10549876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.6 s]
/proc/loadavg: 2.03 2.03 1.98 3/364 819
/proc/meminfo: memFree=15805848/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=10549876 CPUtime=1800.04 cores=0,2,4,6
/proc/700/stat : 700 (java) S 698 700 326 0 -1 4202496 1024599 0 1 0 179862 142 0 0 25 0 19 0 912177391 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 2637469 1007277 2267 9 0 2628203 0
[pid=700/tid=701] ppid=698 vsize=10549876 CPUtime=1789.52 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4202560 780133 0 1 0 178849 103 0 0 25 0 19 0 912177392 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 46912505848076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=700/tid=703] ppid=698 vsize=10549876 CPUtime=1.02 cores=0,2,4,6
/proc/700/task/703/stat : 703 (java) S 698 700 326 0 -1 4202560 27777 0 0 0 99 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=704] ppid=698 vsize=10549876 CPUtime=0.9 cores=0,2,4,6
/proc/700/task/704/stat : 704 (java) S 698 700 326 0 -1 4202560 29298 0 0 0 87 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=705] ppid=698 vsize=10549876 CPUtime=0.82 cores=0,2,4,6
/proc/700/task/705/stat : 705 (java) S 698 700 326 0 -1 4202560 21204 0 0 0 79 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 0 0 0 0
[pid=700/tid=706] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/706/stat : 706 (java) S 698 700 326 0 -1 4202560 28127 0 0 0 92 4 0 0 15 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=707] ppid=698 vsize=10549876 CPUtime=0.95 cores=0,2,4,6
/proc/700/task/707/stat : 707 (java) S 698 700 326 0 -1 4202560 27381 0 0 0 90 5 0 0 15 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=708] ppid=698 vsize=10549876 CPUtime=1.07 cores=0,2,4,6
/proc/700/task/708/stat : 708 (java) S 698 700 326 0 -1 4202560 36768 0 0 0 102 5 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=709] ppid=698 vsize=10549876 CPUtime=0.9 cores=0,2,4,6
/proc/700/task/709/stat : 709 (java) S 698 700 326 0 -1 4202560 28429 0 0 0 87 3 0 0 16 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=710] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/710/stat : 710 (java) S 698 700 326 0 -1 4202560 27131 0 0 0 93 3 0 0 15 0 19 0 912177394 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 0 0 0 0
[pid=700/tid=711] ppid=698 vsize=10549876 CPUtime=0.84 cores=0,2,4,6
/proc/700/task/711/stat : 711 (java) S 698 700 326 0 -1 4202560 629 0 0 0 84 0 0 0 15 0 19 0 912177395 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 0 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=712] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/712/stat : 712 (java) S 698 700 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=713] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/713/stat : 713 (java) S 698 700 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912177395 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=714] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/714/stat : 714 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912177397 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032219569 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=715] ppid=698 vsize=10549876 CPUtime=1.02 cores=0,2,4,6
/proc/700/task/715/stat : 715 (java) S 698 700 326 0 -1 4202560 4084 0 0 0 102 0 0 0 15 0 19 0 912177397 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 2 0 0 0
[pid=700/tid=716] ppid=698 vsize=10549876 CPUtime=0.96 cores=0,2,4,6
/proc/700/task/716/stat : 716 (java) S 698 700 326 0 -1 4202560 12387 0 0 0 94 2 0 0 15 0 19 0 912177398 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=717] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/717/stat : 717 (java) S 698 700 326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912177398 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032211865 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
[pid=700/tid=718] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/718/stat : 718 (java) S 698 700 326 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912177398 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 4 0 0 0
[pid=700/tid=719] ppid=698 vsize=10549876 CPUtime=0 cores=0,2,4,6
/proc/700/task/719/stat : 719 (java) S 698 700 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177489 10803073024 1007277 33554432000 1073741824 1073778376 140736459154032 18446744073709551615 260032212480 0 4 0 16800975 18446604446758633920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10549876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.8 s]
/proc/loadavg: 2.03 2.03 1.98 3/364 819
/proc/meminfo: memFree=15805848/32951124 swapFree=67056304/67111528
[pid=700] ppid=698 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/700/stat : 700 (java) Z 698 700 326 0 -1 4203548 1024631 0 1 0 179873 156 0 0 17 0 2 0 912177391 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/700/statm: 0 0 0 0 0 0 0
[pid=700/tid=701] ppid=698 vsize=0 CPUtime=1789.69 cores=0,2,4,6
/proc/700/task/701/stat : 701 (java) R 698 700 326 0 -1 4203588 780133 0 1 0 178852 117 0 0 25 0 2 0 912177392 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.84
CPU time (s): 1800.33
CPU user time (s): 1798.73
CPU system time (s): 1.60076
CPU usage (%): 100.418
Max. virtual memory (cumulated for all children) (KiB): 10549876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.60076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1024631
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= 38701
involuntary context switches= 7088
runsolver used 6.51301 second user time and 13.068 second system time
The end