runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3735116-1338754467/watcher-3735116-1338754467 -o /tmp/evaluation-result-3735116-1338754467/solver-3735116-1338754467 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3735116-1338754467.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.00 2.00 2.00 3/194 3074
/proc/meminfo: memFree=27684844/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 1220 0 0 0 0 0 0 0 20 0 2 0 341571168 96370688 929 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 23528 931 705 9 0 16769 0
[pid=3074/tid=3075] ppid=3072 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 2 0 341571169 98635776 939 33554432000 1073741824 1073778376 140735739280928 139735500815912 212064104327 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.063724 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3074
/proc/meminfo: memFree=27684844/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 3864 0 1 0 4 1 0 0 20 0 18 0 341571168 2712133632 5582 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 662142 5582 1772 9 0 652835 0
[pid=3074/tid=3075] ppid=3072 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 2653 0 1 0 4 0 0 0 20 0 18 0 341571169 2712133632 5582 33554432000 1073741824 1073778376 140735739280928 139735500823200 139735490883615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3074
/proc/meminfo: memFree=27684844/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 4776 0 1 0 10 1 0 0 20 0 18 0 341571168 2712133632 7004 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 662142 7004 2142 9 0 652835 0
[pid=3074/tid=3075] ppid=3072 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 2737 0 1 0 6 1 0 0 20 0 18 0 341571169 2712133632 7004 33554432000 1073741824 1073778376 140735739280928 139735500819144 212076651789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300199 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3074
/proc/meminfo: memFree=27684844/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2648568 CPUtime=0.6 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 11131 0 1 0 58 2 0 0 20 0 18 0 341571168 2712133632 13547 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 662142 13547 2221 9 0 652835 0
[pid=3074/tid=3075] ppid=3072 vsize=2648568 CPUtime=0.28 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 2749 0 1 0 26 2 0 0 20 0 18 0 341571169 2712133632 13547 33554432000 1073741824 1073778376 140735739280928 139735500819144 139735368529316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 2648568
[startup+0.700291 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3074
/proc/meminfo: memFree=27684844/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2715132 CPUtime=1.29 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 12862 0 1 0 125 4 0 0 20 0 19 0 341571168 2780295168 40876 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 678783 40876 2241 9 0 669476 0
[pid=3074/tid=3075] ppid=3072 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 2813 0 1 0 65 2 0 0 20 0 19 0 341571169 2780295168 40876 33554432000 1073741824 1073778376 140735739280928 139735500821264 139735369124509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2715132
[startup+1.51033 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 3093
/proc/meminfo: memFree=27445820/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2715132 CPUtime=2.38 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 14017 0 1 0 228 10 0 0 20 0 19 0 341571168 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 678783 98248 2256 9 0 669476 0
[pid=3074/tid=3075] ppid=3072 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) S 3072 3074 959 0 -1 4202560 2919 0 1 0 140 6 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735500819768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3077] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3077/stat : 3077 (java) R 3072 3074 959 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735487048664 139735504577616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3078] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3078/stat : 3078 (java) R 3072 3074 959 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735366683432 212073221255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3079] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3079/stat : 3079 (java) R 3072 3074 959 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735365631144 212073221255 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3080] ppid=3072 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3074/task/3080/stat : 3080 (java) R 3072 3074 959 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735364578216 212073221255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3081] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3081/stat : 3081 (java) R 3072 3074 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735363525032 212073221255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3082] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3082/stat : 3082 (java) R 3072 3074 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735362472280 139735504996527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3083] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3083/stat : 3083 (java) R 3072 3074 959 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735361419944 212073221255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3084] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3084/stat : 3084 (java) R 3072 3074 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341571169 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139735360367016 212073221255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3085] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3085/stat : 3085 (java) S 3072 3074 959 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341571170 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734877709960 212076639292 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3086] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3086/stat : 3086 (java) S 3072 3074 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734876657144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3087] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3088] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3088/stat : 3088 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734874553232 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4642 0 0 0 38 0 0 0 20 0 19 0 341571173 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734873499832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5214 0 0 0 39 1 0 0 20 0 19 0 341571173 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734872447032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3091] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3091/stat : 3091 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734871394936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3092] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3092/stat : 3092 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734870342344 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3093] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3093/stat : 3093 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341571231 2780295168 98248 33554432000 1073741824 1073778376 140735739280928 139734869288360 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 2715132
[startup+3.10077 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3093
/proc/meminfo: memFree=27295944/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2715132 CPUtime=4.14 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 14072 0 1 0 401 13 0 0 20 0 19 0 341571168 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 678783 103376 2261 9 0 669476 0
[pid=3074/tid=3075] ppid=3072 vsize=2715132 CPUtime=3 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 2922 0 1 0 294 6 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735500819960 139735369116321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3077] ppid=3072 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/3074/task/3077/stat : 3077 (java) S 3072 3074 959 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735487048488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3078] ppid=3072 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/3074/task/3078/stat : 3078 (java) S 3072 3074 959 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735366683304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3079] ppid=3072 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/3074/task/3079/stat : 3079 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735365631016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3080] ppid=3072 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/3074/task/3080/stat : 3080 (java) S 3072 3074 959 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735364578216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3081] ppid=3072 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/3074/task/3081/stat : 3081 (java) S 3072 3074 959 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735363524904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3082] ppid=3072 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/3074/task/3082/stat : 3082 (java) S 3072 3074 959 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735362472104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3083] ppid=3072 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3074/task/3083/stat : 3083 (java) S 3072 3074 959 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735361419816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3084] ppid=3072 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3074/task/3084/stat : 3084 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 341571169 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139735360367016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3085] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3085/stat : 3085 (java) S 3072 3074 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341571170 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734877711080 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3086] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3086/stat : 3086 (java) S 3072 3074 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734876657144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3087] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3088] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3088/stat : 3088 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734874553232 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4643 0 0 0 42 0 0 0 20 0 19 0 341571173 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734873499832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5214 0 0 0 39 1 0 0 20 0 19 0 341571173 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734872447032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3091] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3091/stat : 3091 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734871394936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3092] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3092/stat : 3092 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734870342344 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3093] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3093/stat : 3093 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341571231 2780295168 103376 33554432000 1073741824 1073778376 140735739280928 139734869288360 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 2715132
[startup+6.30077 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3093
/proc/meminfo: memFree=27275340/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2715132 CPUtime=7.55 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 14114 0 1 0 739 16 0 0 20 0 19 0 341571168 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 678783 108497 2261 9 0 669476 0
[pid=3074/tid=3075] ppid=3072 vsize=2715132 CPUtime=6.12 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 2926 0 1 0 606 6 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735500819840 139735369116401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3077] ppid=3072 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/3074/task/3077/stat : 3077 (java) S 3072 3074 959 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735487048488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3078] ppid=3072 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/3074/task/3078/stat : 3078 (java) S 3072 3074 959 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735366683304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3079] ppid=3072 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/3074/task/3079/stat : 3079 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735365631016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3080] ppid=3072 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/3074/task/3080/stat : 3080 (java) S 3072 3074 959 0 -1 4202560 28 0 0 0 6 1 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735364578216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3081] ppid=3072 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/3074/task/3081/stat : 3081 (java) S 3072 3074 959 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735363524904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3082] ppid=3072 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/3074/task/3082/stat : 3082 (java) S 3072 3074 959 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735362472104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3083] ppid=3072 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/3074/task/3083/stat : 3083 (java) S 3072 3074 959 0 -1 4202560 22 0 0 0 5 2 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735361419816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3084] ppid=3072 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/3074/task/3084/stat : 3084 (java) S 3072 3074 959 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 341571169 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139735360367016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3085] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3085/stat : 3085 (java) S 3072 3074 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341571170 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139734877711080 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3086] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3086/stat : 3086 (java) S 3072 3074 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139734876657144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3087] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3088] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3088/stat : 3088 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139734874553232 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4643 0 0 0 44 0 0 0 20 0 19 0 341571173 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139734873499832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5214 0 0 0 39 2 0 0 20 0 19 0 341571173 2780295168 108497 33554432000 1073741824 1073778376 140735739280928 139734872447032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=3074/tid=3087] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3088] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3088/stat : 3088 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734874553232 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4649 0 0 0 54 0 0 0 20 0 19 0 341571173 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734873499832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5226 0 0 0 58 2 0 0 20 0 19 0 341571173 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734872447032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3091] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3091/stat : 3091 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734871394936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3092] ppid=3072 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/3074/task/3092/stat : 3092 (java) S 3072 3074 959 0 -1 4202560 94 0 0 0 25 46 0 0 20 0 19 0 341571173 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734870342344 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3093] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3093/stat : 3093 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341571231 2780295168 177022 33554432000 1073741824 1073778376 140735739280928 139734869288360 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1705.45
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 3168
/proc/meminfo: memFree=27017252/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2715132 CPUtime=1767.24 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 17960 0 1 0 176598 126 0 0 20 0 19 0 341571168 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 678783 178558 2264 9 0 669476 0
[pid=3074/tid=3075] ppid=3072 vsize=2715132 CPUtime=1699.02 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 4407 0 1 0 169866 36 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735500819912 139735368915181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3077] ppid=3072 vsize=2715132 CPUtime=7.57 cores=1,3,5,7
/proc/3074/task/3077/stat : 3077 (java) S 3072 3074 959 0 -1 4202560 314 0 0 0 749 8 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735487048488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3078] ppid=3072 vsize=2715132 CPUtime=7.83 cores=1,3,5,7
/proc/3074/task/3078/stat : 3078 (java) S 3072 3074 959 0 -1 4202560 286 0 0 0 774 9 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735366683304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3079] ppid=3072 vsize=2715132 CPUtime=7.73 cores=1,3,5,7
/proc/3074/task/3079/stat : 3079 (java) S 3072 3074 959 0 -1 4202560 293 0 0 0 765 8 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735365631016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3080] ppid=3072 vsize=2715132 CPUtime=7.82 cores=1,3,5,7
/proc/3074/task/3080/stat : 3080 (java) S 3072 3074 959 0 -1 4202560 302 0 0 0 774 8 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735364578216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3081] ppid=3072 vsize=2715132 CPUtime=7.48 cores=1,3,5,7
/proc/3074/task/3081/stat : 3081 (java) S 3072 3074 959 0 -1 4202560 300 0 0 0 740 8 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735363524904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3082] ppid=3072 vsize=2715132 CPUtime=7.92 cores=1,3,5,7
/proc/3074/task/3082/stat : 3082 (java) S 3072 3074 959 0 -1 4202560 301 0 0 0 785 7 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735362472104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3083] ppid=3072 vsize=2715132 CPUtime=7.81 cores=1,3,5,7
/proc/3074/task/3083/stat : 3083 (java) S 3072 3074 959 0 -1 4202560 307 0 0 0 773 8 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735361419816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3084] ppid=3072 vsize=2715132 CPUtime=7.8 cores=1,3,5,7
/proc/3074/task/3084/stat : 3084 (java) S 3072 3074 959 0 -1 4202560 187 0 0 0 771 9 0 0 20 0 19 0 341571169 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139735360367016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3085] ppid=3072 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/3074/task/3085/stat : 3085 (java) S 3072 3074 959 0 -1 4202560 108 0 0 0 17 9 0 0 20 0 19 0 341571170 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734877711080 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3086] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3086/stat : 3086 (java) S 3072 3074 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734876657144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3087] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3088] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3088/stat : 3088 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734874553232 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4649 0 0 0 54 0 0 0 20 0 19 0 341571173 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734873499832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5226 0 0 0 58 2 0 0 20 0 19 0 341571173 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734872447032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3091] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3091/stat : 3091 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734871394936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3092] ppid=3072 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/3074/task/3092/stat : 3092 (java) S 3072 3074 959 0 -1 4202560 98 0 0 0 26 48 0 0 20 0 19 0 341571173 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734870342344 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3093] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3093/stat : 3093 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341571231 2780295168 178558 33554432000 1073741824 1073778376 140735739280928 139734869288360 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1767.24
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1754.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 3168
/proc/meminfo: memFree=27015084/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 17988 0 1 0 179879 127 0 0 20 0 19 0 341571168 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 678783 179070 2264 9 0 669476 0
[pid=3074/tid=3075] ppid=3072 vsize=2715132 CPUtime=1730.47 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) R 3072 3074 959 0 -1 4202560 4430 0 1 0 173010 37 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735500819888 139735369116566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3077] ppid=3072 vsize=2715132 CPUtime=7.73 cores=1,3,5,7
/proc/3074/task/3077/stat : 3077 (java) S 3072 3074 959 0 -1 4202560 314 0 0 0 765 8 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735487048488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3078] ppid=3072 vsize=2715132 CPUtime=8 cores=1,3,5,7
/proc/3074/task/3078/stat : 3078 (java) S 3072 3074 959 0 -1 4202560 286 0 0 0 791 9 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735366683304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3079] ppid=3072 vsize=2715132 CPUtime=7.9 cores=1,3,5,7
/proc/3074/task/3079/stat : 3079 (java) S 3072 3074 959 0 -1 4202560 293 0 0 0 782 8 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735365631016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3080] ppid=3072 vsize=2715132 CPUtime=7.97 cores=1,3,5,7
/proc/3074/task/3080/stat : 3080 (java) S 3072 3074 959 0 -1 4202560 303 0 0 0 789 8 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735364578216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3081] ppid=3072 vsize=2715132 CPUtime=7.64 cores=1,3,5,7
/proc/3074/task/3081/stat : 3081 (java) S 3072 3074 959 0 -1 4202560 300 0 0 0 756 8 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735363524904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3082] ppid=3072 vsize=2715132 CPUtime=8.08 cores=1,3,5,7
/proc/3074/task/3082/stat : 3082 (java) S 3072 3074 959 0 -1 4202560 301 0 0 0 801 7 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735362472104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3083] ppid=3072 vsize=2715132 CPUtime=7.98 cores=1,3,5,7
/proc/3074/task/3083/stat : 3083 (java) S 3072 3074 959 0 -1 4202560 307 0 0 0 790 8 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735361419816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3084] ppid=3072 vsize=2715132 CPUtime=7.94 cores=1,3,5,7
/proc/3074/task/3084/stat : 3084 (java) S 3072 3074 959 0 -1 4202560 187 0 0 0 785 9 0 0 20 0 19 0 341571169 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139735360367016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3085] ppid=3072 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/3074/task/3085/stat : 3085 (java) S 3072 3074 959 0 -1 4202560 110 0 0 0 17 9 0 0 20 0 19 0 341571170 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734877711080 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3086] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3086/stat : 3086 (java) S 3072 3074 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734876657144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3087] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341571171 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3088] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3088/stat : 3088 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734874553232 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4649 0 0 0 54 0 0 0 20 0 19 0 341571173 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734873499832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5226 0 0 0 58 2 0 0 20 0 19 0 341571173 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734872447032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3091] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3091/stat : 3091 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341571173 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734871394936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3092] ppid=3072 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/3074/task/3092/stat : 3092 (java) S 3072 3074 959 0 -1 4202560 100 0 0 0 26 49 0 0 20 0 19 0 341571173 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734870342344 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3093] ppid=3072 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3093/stat : 3093 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341571231 2780295168 179070 33554432000 1073741824 1073778376 140735739280928 139734869288360 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1754.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 3168
/proc/meminfo: memFree=27015084/32873648 swapFree=7388/7388
[pid=3074] ppid=3072 vsize=2848260 CPUtime=1800.39 cores=1,3,5,7
/proc/3074/stat : 3074 (java) S 3072 3074 959 0 -1 4202496 18032 0 1 0 179904 135 0 0 20 0 18 0 341571168 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 140735739272064 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3074/statm: 712065 179106 2271 9 0 702758 0
[pid=3074/tid=3075] ppid=3072 vsize=2848260 CPUtime=1730.57 cores=1,3,5,7
/proc/3074/task/3075/stat : 3075 (java) S 3072 3074 959 0 -1 4202560 4430 0 1 0 173020 37 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735500819112 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3077] ppid=3072 vsize=2848260 CPUtime=7.73 cores=1,3,5,7
/proc/3074/task/3077/stat : 3077 (java) S 3072 3074 959 0 -1 4202560 314 0 0 0 765 8 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735487048488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3078] ppid=3072 vsize=2848260 CPUtime=8 cores=1,3,5,7
/proc/3074/task/3078/stat : 3078 (java) S 3072 3074 959 0 -1 4202560 286 0 0 0 791 9 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735366683304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3079] ppid=3072 vsize=2848260 CPUtime=7.9 cores=1,3,5,7
/proc/3074/task/3079/stat : 3079 (java) S 3072 3074 959 0 -1 4202560 293 0 0 0 782 8 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735365631016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3080] ppid=3072 vsize=2848260 CPUtime=7.97 cores=1,3,5,7
/proc/3074/task/3080/stat : 3080 (java) S 3072 3074 959 0 -1 4202560 303 0 0 0 789 8 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735364578216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3081] ppid=3072 vsize=2848260 CPUtime=7.64 cores=1,3,5,7
/proc/3074/task/3081/stat : 3081 (java) S 3072 3074 959 0 -1 4202560 300 0 0 0 756 8 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735363524904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3074/tid=3082] ppid=3072 vsize=2848260 CPUtime=8.08 cores=1,3,5,7
/proc/3074/task/3082/stat : 3082 (java) S 3072 3074 959 0 -1 4202560 301 0 0 0 801 7 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735362472104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3083] ppid=3072 vsize=2848260 CPUtime=7.98 cores=1,3,5,7
/proc/3074/task/3083/stat : 3083 (java) S 3072 3074 959 0 -1 4202560 307 0 0 0 790 8 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735361419816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3084] ppid=3072 vsize=2848260 CPUtime=7.94 cores=1,3,5,7
/proc/3074/task/3084/stat : 3084 (java) S 3072 3074 959 0 -1 4202560 187 0 0 0 785 9 0 0 20 0 18 0 341571169 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139735360367016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3085] ppid=3072 vsize=2848260 CPUtime=0.26 cores=1,3,5,7
/proc/3074/task/3085/stat : 3085 (java) S 3072 3074 959 0 -1 4202560 111 0 0 0 17 9 0 0 20 0 18 0 341571170 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734877710632 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3086] ppid=3072 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3086/stat : 3086 (java) S 3072 3074 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341571171 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734876657144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3087] ppid=3072 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3087/stat : 3087 (java) S 3072 3074 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341571171 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734875604744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3089] ppid=3072 vsize=2848260 CPUtime=0.58 cores=1,3,5,7
/proc/3074/task/3089/stat : 3089 (java) S 3072 3074 959 0 -1 4202560 4650 0 0 0 58 0 0 0 20 0 18 0 341571173 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734873486072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3074/tid=3090] ppid=3072 vsize=2848260 CPUtime=0.61 cores=1,3,5,7
/proc/3074/task/3090/stat : 3090 (java) S 3072 3074 959 0 -1 4202560 5232 0 0 0 59 2 0 0 20 0 18 0 341571173 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734872423896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3074/tid=3091] ppid=3072 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3091/stat : 3091 (java) S 3072 3074 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341571173 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734871394936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3074/tid=3093] ppid=3072 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/3074/task/3093/stat : 3093 (java) S 3072 3074 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341571231 2916618240 179106 33554432000 1073741824 1073778376 140735739280928 139734869288360 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3074 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=598179
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=762732
# CPU time returned by wait4() is 1796.36
# while last known CPU time is 1800.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1754.32
CPU time (s): 1800.39
CPU user time (s): 1799.04
CPU system time (s): 1.35
CPU usage (%): 102.626
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.76273
maximum resident set size= 716448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18032
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82741
involuntary context switches= 154676
runsolver used 5.96209 second user time and 15.3807 second system time
The end