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-3457460-1307221266/watcher-3457460-1307221266 -o /tmp/evaluation-result-3457460-1307221266/solver-3457460-1307221266 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457460-1307221266.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: 2.11 2.06 2.01 2/568 3713
/proc/meminfo: memFree=17360860/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/3713/stat : 3713 (runsolver) R 3711 3713 3030 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 833726973 12079104 52 33554432000 4194304 5432328 140735600665376 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/3713/statm: 2949 52 31 303 0 2643 0
[startup+0.042341 s]
/proc/loadavg: 2.11 2.06 2.01 2/568 3713
/proc/meminfo: memFree=17360860/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 9986 0 1 0 0 1 0 0 25 0 10 0 833726973 10703900672 9689 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2613257 9692 979 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.103719 s]
/proc/loadavg: 2.11 2.06 2.01 2/568 3713
/proc/meminfo: memFree=17360860/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10538620 CPUtime=0.07 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 12493 0 1 0 6 1 0 0 25 0 18 0 833726973 10791546880 12191 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2634655 12191 2018 9 0 2625389 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538620
[startup+0.32523 s]
/proc/loadavg: 2.11 2.06 2.01 2/568 3713
/proc/meminfo: memFree=17360860/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10554528 CPUtime=0.49 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 19281 0 1 0 47 2 0 0 25 0 19 0 833726973 10807836672 18004 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2638632 18005 2208 9 0 2629366 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10554528
[startup+0.700167 s]
/proc/loadavg: 2.11 2.06 2.01 2/568 3713
/proc/meminfo: memFree=17360860/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=1.62 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 43770 0 1 0 156 6 0 0 25 0 19 0 833726973 10821754880 37581 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 37581 2215 9 0 2632764 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10568120
[startup+1.50105 s]
/proc/loadavg: 2.26 2.09 2.02 3/587 3732
/proc/meminfo: memFree=17155080/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=3 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 100054 0 1 0 288 12 0 0 25 0 19 0 833726973 10821754880 92966 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 92973 2221 9 0 2632764 0
[pid=3713/tid=3715] ppid=3711 vsize=10568120 CPUtime=1.46 cores=1,3,5,7
/proc/3713/task/3715/stat : 3715 (java) R 3711 3713 3030 0 -1 4202560 76007 0 1 0 138 8 0 0 18 0 19 0 833726975 10821754880 92976 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 46912505611850 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3713/tid=3716] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 92980 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3717] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 92983 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3718] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 92987 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3719] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 92990 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3720] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 92993 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3721] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 92997 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3722] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 93000 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3723] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 93004 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3724] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3713 3030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833726978 10821754880 93007 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 0 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3725] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833726979 10821754880 93010 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833726979 10821754880 93014 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 93018 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.74 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10089 0 0 0 74 0 0 0 19 0 19 0 833726981 10821754880 93021 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=0.77 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12809 0 0 0 75 2 0 0 15 0 19 0 833726981 10821754880 93024 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 93027 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 93030 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 93033 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10568120
[startup+3.10077 s]
/proc/loadavg: 2.26 2.09 2.02 3/587 3732
/proc/meminfo: memFree=16750716/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=4.81 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 270977 0 1 0 451 30 0 0 25 0 19 0 833726973 10821754880 263888 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 263895 2222 9 0 2632764 0
[pid=3713/tid=3715] ppid=3711 vsize=10568120 CPUtime=3.06 cores=1,3,5,7
/proc/3713/task/3715/stat : 3715 (java) R 3711 3713 3030 0 -1 4202560 246908 0 1 0 280 26 0 0 19 0 19 0 833726975 10821754880 263898 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 46912505611836 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3713/tid=3716] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263902 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3717] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263907 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3718] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263911 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3719] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263914 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3720] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263919 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3721] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263922 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3722] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263925 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3723] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 263930 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3724] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3713 3030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833726978 10821754880 263934 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 0 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3725] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833726979 10821754880 263937 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833726979 10821754880 263942 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 263945 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.76 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10091 0 0 0 76 0 0 0 15 0 19 0 833726981 10821754880 263949 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=0.95 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12830 0 0 0 93 2 0 0 16 0 19 0 833726981 10821754880 263953 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 263956 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 263960 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 263965 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10568120
[startup+6.30118 s]
/proc/loadavg: 2.26 2.09 2.02 3/587 3732
/proc/meminfo: memFree=15362420/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=8.14 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 574597 0 1 0 752 62 0 0 25 0 19 0 833726973 10821754880 567312 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 567319 2229 9 0 2632764 0
[pid=3713/tid=3715] ppid=3711 vsize=10568120 CPUtime=6.26 cores=1,3,5,7
/proc/3713/task/3715/stat : 3715 (java) R 3711 3713 3030 0 -1 4202560 550508 0 1 0 567 59 0 0 19 0 19 0 833726975 10821754880 567325 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 46912506122858 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3713/tid=3716] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567330 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3717] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567335 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3718] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567339 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3719] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567342 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3720] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567343 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3721] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567344 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3722] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567346 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3723] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833726977 10821754880 567347 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3724] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3713 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833726978 10821754880 567348 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 0 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3725] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833726979 10821754880 567350 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833726979 10821754880 567351 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 567353 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.82 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10103 0 0 0 82 0 0 0 15 0 19 0 833726981 10821754880 567354 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=1.04 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12839 0 0 0 102 2 0 0 15 0 19 0 833726981 10821754880 567356 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 567357 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 567358 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 567360 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 10568120
[startup+12.701 s]
################
# More data... #
################
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.82 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10103 0 0 0 82 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=1.14 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12849 0 0 0 112 2 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.47
Current children cumulated vsize (KiB) 10568120
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 3828
/proc/meminfo: memFree=13615912/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=1725.48 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 990532 0 1 0 172432 116 0 0 25 0 19 0 833726973 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 977503 2242 9 0 2632764 0
[pid=3713/tid=3715] ppid=3711 vsize=10568120 CPUtime=1721.81 cores=1,3,5,7
/proc/3713/task/3715/stat : 3715 (java) R 3711 3713 3030 0 -1 4202560 793872 0 1 0 172096 85 0 0 25 0 19 0 833726975 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 46912505616705 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3713/tid=3716] ppid=3711 vsize=10568120 CPUtime=0.27 cores=1,3,5,7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3713 3030 0 -1 4202560 23144 0 0 0 24 3 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 5 0 0 0
[pid=3713/tid=3717] ppid=3711 vsize=10568120 CPUtime=0.21 cores=1,3,5,7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3713 3030 0 -1 4202560 30769 0 0 0 17 4 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 5 0 0 0
[pid=3713/tid=3718] ppid=3711 vsize=10568120 CPUtime=0.15 cores=1,3,5,7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3713 3030 0 -1 4202560 19466 0 0 0 12 3 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3719] ppid=3711 vsize=10568120 CPUtime=0.19 cores=1,3,5,7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3713 3030 0 -1 4202560 16369 0 0 0 17 2 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3720] ppid=3711 vsize=10568120 CPUtime=0.1 cores=1,3,5,7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3713 3030 0 -1 4202560 15199 0 0 0 8 2 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3721] ppid=3711 vsize=10568120 CPUtime=0.15 cores=1,3,5,7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3713 3030 0 -1 4202560 11524 0 0 0 14 1 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3722] ppid=3711 vsize=10568120 CPUtime=0.27 cores=1,3,5,7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3713 3030 0 -1 4202560 32375 0 0 0 23 4 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3723] ppid=3711 vsize=10568120 CPUtime=0.25 cores=1,3,5,7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3713 3030 0 -1 4202560 23579 0 0 0 21 4 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3724] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3713 3030 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 833726978 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 0 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3725] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.82 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10103 0 0 0 82 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=1.14 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12849 0 0 0 112 2 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.48
Current children cumulated vsize (KiB) 10568120
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 3830
/proc/meminfo: memFree=13613532/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=1785.48 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 990536 0 1 0 178432 116 0 0 25 0 19 0 833726973 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 977503 2242 9 0 2632764 0
[pid=3713/tid=3715] ppid=3711 vsize=10568120 CPUtime=1781.81 cores=1,3,5,7
/proc/3713/task/3715/stat : 3715 (java) R 3711 3713 3030 0 -1 4202560 793872 0 1 0 178096 85 0 0 25 0 19 0 833726975 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 46912505616782 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3713/tid=3716] ppid=3711 vsize=10568120 CPUtime=0.27 cores=1,3,5,7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3713 3030 0 -1 4202560 23144 0 0 0 24 3 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 5 0 0 0
[pid=3713/tid=3717] ppid=3711 vsize=10568120 CPUtime=0.21 cores=1,3,5,7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3713 3030 0 -1 4202560 30769 0 0 0 17 4 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 5 0 0 0
[pid=3713/tid=3718] ppid=3711 vsize=10568120 CPUtime=0.15 cores=1,3,5,7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3713 3030 0 -1 4202560 19466 0 0 0 12 3 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3719] ppid=3711 vsize=10568120 CPUtime=0.19 cores=1,3,5,7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3713 3030 0 -1 4202560 16369 0 0 0 17 2 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3720] ppid=3711 vsize=10568120 CPUtime=0.1 cores=1,3,5,7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3713 3030 0 -1 4202560 15199 0 0 0 8 2 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3721] ppid=3711 vsize=10568120 CPUtime=0.15 cores=1,3,5,7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3713 3030 0 -1 4202560 11524 0 0 0 14 1 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3722] ppid=3711 vsize=10568120 CPUtime=0.27 cores=1,3,5,7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3713 3030 0 -1 4202560 32375 0 0 0 23 4 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3723] ppid=3711 vsize=10568120 CPUtime=0.25 cores=1,3,5,7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3713 3030 0 -1 4202560 23579 0 0 0 21 4 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3724] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3713 3030 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 833726978 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 0 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3725] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.82 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10103 0 0 0 82 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=1.14 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12849 0 0 0 112 2 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 10568120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 3830
/proc/meminfo: memFree=13613148/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=10568120 CPUtime=1800.08 cores=1,3,5,7
/proc/3713/stat : 3713 (java) S 3711 3713 3030 0 -1 4202496 990538 0 1 0 179892 116 0 0 25 0 19 0 833726973 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 2642030 977503 2242 9 0 2632764 0
[pid=3713/tid=3715] ppid=3711 vsize=10568120 CPUtime=1796.43 cores=1,3,5,7
/proc/3713/task/3715/stat : 3715 (java) R 3711 3713 3030 0 -1 4202560 793872 0 1 0 179558 85 0 0 25 0 19 0 833726975 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 46912505616734 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3713/tid=3716] ppid=3711 vsize=10568120 CPUtime=0.27 cores=1,3,5,7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3713 3030 0 -1 4202560 23144 0 0 0 24 3 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 5 0 0 0
[pid=3713/tid=3717] ppid=3711 vsize=10568120 CPUtime=0.21 cores=1,3,5,7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3713 3030 0 -1 4202560 30769 0 0 0 17 4 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 5 0 0 0
[pid=3713/tid=3718] ppid=3711 vsize=10568120 CPUtime=0.15 cores=1,3,5,7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3713 3030 0 -1 4202560 19466 0 0 0 12 3 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3719] ppid=3711 vsize=10568120 CPUtime=0.19 cores=1,3,5,7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3713 3030 0 -1 4202560 16369 0 0 0 17 2 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3720] ppid=3711 vsize=10568120 CPUtime=0.1 cores=1,3,5,7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3713 3030 0 -1 4202560 15199 0 0 0 8 2 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3721] ppid=3711 vsize=10568120 CPUtime=0.15 cores=1,3,5,7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3713 3030 0 -1 4202560 11524 0 0 0 14 1 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3722] ppid=3711 vsize=10568120 CPUtime=0.27 cores=1,3,5,7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3713 3030 0 -1 4202560 32375 0 0 0 23 4 0 0 16 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3723] ppid=3711 vsize=10568120 CPUtime=0.25 cores=1,3,5,7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3713 3030 0 -1 4202560 23579 0 0 0 21 4 0 0 15 0 19 0 833726977 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3724] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3713 3030 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 833726978 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 0 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3725] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3713 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3726] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3713 3030 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833726979 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3727] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652683185 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3728] ppid=3711 vsize=10568120 CPUtime=0.82 cores=1,3,5,7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3713 3030 0 -1 4202560 10103 0 0 0 82 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
[pid=3713/tid=3729] ppid=3711 vsize=10568120 CPUtime=1.14 cores=1,3,5,7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3713 3030 0 -1 4202560 12849 0 0 0 112 2 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3730] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3713 3030 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652675481 0 4 0 16800975 18446604455114946432 0 0 -1 3 0 0 0
[pid=3713/tid=3731] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3713 3030 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833726981 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 1 0 0 0
[pid=3713/tid=3732] ppid=3711 vsize=10568120 CPUtime=0 cores=1,3,5,7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3713 3030 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833726992 10821754880 977503 33554432000 1073741824 1073778376 140733537492912 18446744073709551615 253652676096 0 4 0 16800975 18446604455114946432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10568120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.03 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 3830
/proc/meminfo: memFree=13613148/32951124 swapFree=53733252/67111528
[pid=3713] ppid=3711 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/3713/stat : 3713 (java) Z 3711 3713 3030 0 -1 4203548 990568 0 1 0 179898 125 0 0 17 0 2 0 833726973 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.1
CPU time (s): 1800.31
CPU user time (s): 1798.98
CPU system time (s): 1.3278
CPU usage (%): 100.179
Max. virtual memory (cumulated for all children) (KiB): 10568120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.3278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990568
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= 37112
involuntary context switches= 3040
runsolver used 9.60854 second user time and 22.7815 second system time
The end