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 /var/tmp/evaluation-result-3500808-1308036326/watcher-3500808-1308036326 -o /var/tmp/evaluation-result-3500808-1308036326/solver-3500808-1308036326 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500808-1308036326.gcnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 0.33 0.11 11/240 28077
/proc/meminfo: memFree=14325112/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=11804 CPUtime=0 cores=4,6
/proc/28077/stat : 28077 (runsolver) R 28075 28077 26613 0 -1 4202560 40 0 0 0 0 0 0 0 22 0 1 0 896048499 12087296 51 33554432000 4194304 5436572 140734765331264 18446744073709551615 4883175 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/28077/statm: 2951 51 31 304 0 2643 0
[startup+0.0607741 s]
/proc/loadavg: 1.09 0.33 0.11 11/240 28077
/proc/meminfo: memFree=14325112/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=26088 CPUtime=0 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 1169 0 0 0 0 0 0 0 22 0 2 0 896048499 26714112 897 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 6522 897 682 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26088
[startup+0.100762 s]
/proc/loadavg: 1.09 0.33 0.11 11/240 28077
/proc/meminfo: memFree=14325112/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6343692 CPUtime=0.01 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 6782 0 1 0 0 1 0 0 22 0 10 0 896048499 6495940608 6481 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1585923 6481 1057 9 0 1577079 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6343692
[startup+0.300702 s]
/proc/loadavg: 1.09 0.33 0.11 11/240 28077
/proc/meminfo: memFree=14325112/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6431360 CPUtime=0.24 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 19477 0 1 0 22 2 0 0 22 0 18 0 896048499 6585712640 19100 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1607840 19100 2175 9 0 1598578 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 6431360
[startup+0.700669 s]
/proc/loadavg: 1.09 0.33 0.11 11/240 28077
/proc/meminfo: memFree=14325112/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6432124 CPUtime=0.76 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 37811 0 1 0 72 4 0 0 22 0 18 0 896048499 6586494976 36773 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1608031 36775 2201 9 0 1598769 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 6432124
[startup+1.50151 s]
/proc/loadavg: 1.32 0.39 0.13 5/258 28095
/proc/meminfo: memFree=13557304/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6432124 CPUtime=1.56 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 75921 0 1 0 147 9 0 0 22 0 18 0 896048499 6586494976 74882 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1608031 74883 2202 9 0 1598769 0
[pid=28077/tid=28079] ppid=28075 vsize=6432124 CPUtime=1.37 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4202560 72244 0 1 0 129 8 0 0 25 0 18 0 896048504 6586494976 74884 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 46912505548908 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28080/stat : 28080 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896048508 6586494976 74886 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28081] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28081/stat : 28081 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74887 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28082] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28082/stat : 28082 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74888 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28083] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28083/stat : 28083 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74889 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28084] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28084/stat : 28084 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74890 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28085] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28085/stat : 28085 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74891 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28086] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28086/stat : 28086 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74892 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28087] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28087/stat : 28087 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 74893 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28088] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28088/stat : 28088 (java) S 28075 28077 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048510 6586494976 74895 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 0 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28089] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28089/stat : 28089 (java) S 28075 28077 26613 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896048510 6586494976 74896 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28090] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896048510 6586494976 74897 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048514 6586494976 74898 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6432124 CPUtime=0.08 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 1121 0 0 0 8 0 0 0 25 0 18 0 896048514 6586494976 74899 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6432124 CPUtime=0.09 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 1405 0 0 0 9 0 0 0 25 0 18 0 896048514 6586494976 74901 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048514 6586494976 74902 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048514 6586494976 74903 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 6432124
[startup+3.10118 s]
/proc/loadavg: 1.32 0.39 0.13 7/258 28095
/proc/meminfo: memFree=12725512/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6432124 CPUtime=3.16 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 151311 0 1 0 299 17 0 0 22 0 18 0 896048499 6586494976 150272 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1608031 150274 2202 9 0 1598769 0
[pid=28077/tid=28079] ppid=28075 vsize=6432124 CPUtime=2.97 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4202560 147635 0 1 0 281 16 0 0 25 0 18 0 896048504 6586494976 150275 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 46912505526959 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28080/stat : 28080 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896048508 6586494976 150276 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28081] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28081/stat : 28081 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150277 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28082] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28082/stat : 28082 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150278 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28083] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28083/stat : 28083 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150279 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28084] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28084/stat : 28084 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150280 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28085] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28085/stat : 28085 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150281 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28086] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28086/stat : 28086 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150282 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28087] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28087/stat : 28087 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048508 6586494976 150284 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28088] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28088/stat : 28088 (java) S 28075 28077 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048510 6586494976 150285 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 0 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28089] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28089/stat : 28089 (java) S 28075 28077 26613 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896048510 6586494976 150286 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28090] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896048510 6586494976 150287 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048514 6586494976 150288 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6432124 CPUtime=0.08 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 1121 0 0 0 8 0 0 0 25 0 18 0 896048514 6586494976 150289 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6432124 CPUtime=0.09 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 1405 0 0 0 9 0 0 0 25 0 18 0 896048514 6586494976 150290 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048514 6586494976 150292 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6432124 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048514 6586494976 150293 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 6432124
[startup+6.30157 s]
/proc/loadavg: 1.32 0.39 0.13 5/262 28210
/proc/meminfo: memFree=12741960/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6437052 CPUtime=6.87 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 258204 0 1 0 657 30 0 0 22 0 19 0 896048499 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1609263 256199 2228 9 0 1600001 0
[pid=28077/tid=28079] ppid=28075 vsize=6437052 CPUtime=6.18 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4202560 252576 0 1 0 589 29 0 0 25 0 19 0 896048504 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 46912505571797 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28080/stat : 28080 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28081] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28081/stat : 28081 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28082] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28082/stat : 28082 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28083] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28083/stat : 28083 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28084] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28084/stat : 28084 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28085] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28085/stat : 28085 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28086] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28086/stat : 28086 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28087] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28087/stat : 28087 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048508 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28088] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28088/stat : 28088 (java) S 28075 28077 26613 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 896048510 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 0 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28089] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28089/stat : 28089 (java) S 28075 28077 26613 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 896048510 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28090] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896048510 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6437052 CPUtime=0.3 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 2979 0 0 0 30 0 0 0 15 0 19 0 896048514 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6437052 CPUtime=0.37 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 1485 0 0 0 37 0 0 0 15 0 19 0 896048514 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 896048514 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28210] ppid=28075 vsize=6437052 CPUtime=0 cores=4,6
/proc/28077/task/28210/stat : 28210 (java) S 28075 28077 26613 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896049021 6591541248 256199 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 6437052
[startup+12.7013 s]
/proc/loadavg: 2.12 0.59 0.20 5/262 28211
/proc/meminfo: memFree=12589872/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6437052 CPUtime=13.44 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 269732 0 1 0 1313 31 0 0 22 0 19 0 896048499 6591541248 267723 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
################
# More data... #
################
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6438940 CPUtime=0.54 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 2994 0 0 0 54 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6438940 CPUtime=0.96 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 7274 0 0 0 95 1 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=24223] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/24223/stat : 24223 (java) S 28075 28077 26613 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 896175404 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.69
Current children cumulated vsize (KiB) 6438940
[startup+1722.3 s]
/proc/loadavg: 4.17 4.09 3.47 5/261 418
/proc/meminfo: memFree=98548/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6438940 CPUtime=1724.66 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 605024 0 1 0 172396 70 0 0 22 0 19 0 896048499 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1609735 596630 2260 9 0 1600473 0
[pid=28077/tid=28079] ppid=28075 vsize=6438940 CPUtime=1714.11 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4202560 390140 0 1 0 171367 44 0 0 25 0 19 0 896048504 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 46912505563845 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=6438940 CPUtime=0.6 cores=4,6
/proc/28077/task/28080/stat : 28080 (java) S 28075 28077 26613 0 -1 4202560 28256 0 0 0 57 3 0 0 18 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28081] ppid=28075 vsize=6438940 CPUtime=0.83 cores=4,6
/proc/28077/task/28081/stat : 28081 (java) S 28075 28077 26613 0 -1 4202560 55112 0 0 0 76 7 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28082] ppid=28075 vsize=6438940 CPUtime=0.26 cores=4,6
/proc/28077/task/28082/stat : 28082 (java) S 28075 28077 26613 0 -1 4202560 18059 0 0 0 24 2 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28083] ppid=28075 vsize=6438940 CPUtime=0.19 cores=4,6
/proc/28077/task/28083/stat : 28083 (java) S 28075 28077 26613 0 -1 4202560 6716 0 0 0 18 1 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28084] ppid=28075 vsize=6438940 CPUtime=0.04 cores=4,6
/proc/28077/task/28084/stat : 28084 (java) S 28075 28077 26613 0 -1 4202560 1794 0 0 0 4 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28085] ppid=28075 vsize=6438940 CPUtime=0.14 cores=4,6
/proc/28077/task/28085/stat : 28085 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 14 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28086] ppid=28075 vsize=6438940 CPUtime=0.06 cores=4,6
/proc/28077/task/28086/stat : 28086 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28087] ppid=28075 vsize=6438940 CPUtime=0.14 cores=4,6
/proc/28077/task/28087/stat : 28087 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28088] ppid=28075 vsize=6438940 CPUtime=6.68 cores=4,6
/proc/28077/task/28088/stat : 28088 (java) S 28075 28077 26613 0 -1 4202560 93255 0 0 0 660 8 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 0 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28089] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28089/stat : 28089 (java) S 28075 28077 26613 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28090] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6438940 CPUtime=0.54 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 2994 0 0 0 54 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6438940 CPUtime=0.96 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 7274 0 0 0 95 1 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=24223] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/24223/stat : 24223 (java) S 28075 28077 26613 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 896175404 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 6438940
[startup+1782.3 s]
/proc/loadavg: 4.17 4.10 3.51 5/262 1560
/proc/meminfo: memFree=99284/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6438940 CPUtime=1784.65 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 605026 0 1 0 178395 70 0 0 22 0 19 0 896048499 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1609735 596630 2260 9 0 1600473 0
[pid=28077/tid=28079] ppid=28075 vsize=6438940 CPUtime=1774.1 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4202560 390140 0 1 0 177366 44 0 0 25 0 19 0 896048504 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 46912505694574 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=6438940 CPUtime=0.6 cores=4,6
/proc/28077/task/28080/stat : 28080 (java) S 28075 28077 26613 0 -1 4202560 28256 0 0 0 57 3 0 0 18 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28081] ppid=28075 vsize=6438940 CPUtime=0.83 cores=4,6
/proc/28077/task/28081/stat : 28081 (java) S 28075 28077 26613 0 -1 4202560 55112 0 0 0 76 7 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28082] ppid=28075 vsize=6438940 CPUtime=0.26 cores=4,6
/proc/28077/task/28082/stat : 28082 (java) S 28075 28077 26613 0 -1 4202560 18059 0 0 0 24 2 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28083] ppid=28075 vsize=6438940 CPUtime=0.19 cores=4,6
/proc/28077/task/28083/stat : 28083 (java) S 28075 28077 26613 0 -1 4202560 6716 0 0 0 18 1 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28084] ppid=28075 vsize=6438940 CPUtime=0.04 cores=4,6
/proc/28077/task/28084/stat : 28084 (java) S 28075 28077 26613 0 -1 4202560 1794 0 0 0 4 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28085] ppid=28075 vsize=6438940 CPUtime=0.14 cores=4,6
/proc/28077/task/28085/stat : 28085 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 14 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28086] ppid=28075 vsize=6438940 CPUtime=0.06 cores=4,6
/proc/28077/task/28086/stat : 28086 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28087] ppid=28075 vsize=6438940 CPUtime=0.14 cores=4,6
/proc/28077/task/28087/stat : 28087 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28088] ppid=28075 vsize=6438940 CPUtime=6.68 cores=4,6
/proc/28077/task/28088/stat : 28088 (java) S 28075 28077 26613 0 -1 4202560 93255 0 0 0 660 8 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 0 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28089] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28089/stat : 28089 (java) S 28075 28077 26613 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28090] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6438940 CPUtime=0.54 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 2994 0 0 0 54 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6438940 CPUtime=0.96 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 7274 0 0 0 95 1 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=24223] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/24223/stat : 24223 (java) S 28075 28077 26613 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 896175404 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.65
Current children cumulated vsize (KiB) 6438940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.7 s]
/proc/loadavg: 4.13 4.09 3.51 5/262 1775
/proc/meminfo: memFree=3459636/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=6438940 CPUtime=1800.06 cores=4,6
/proc/28077/stat : 28077 (java) S 28075 28077 26613 0 -1 4202496 605028 0 1 0 179936 70 0 0 22 0 19 0 896048499 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 1609735 596630 2260 9 0 1600473 0
[pid=28077/tid=28079] ppid=28075 vsize=6438940 CPUtime=1789.51 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4202560 390140 0 1 0 178907 44 0 0 25 0 19 0 896048504 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 46912505615957 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=6438940 CPUtime=0.6 cores=4,6
/proc/28077/task/28080/stat : 28080 (java) S 28075 28077 26613 0 -1 4202560 28256 0 0 0 57 3 0 0 18 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28081] ppid=28075 vsize=6438940 CPUtime=0.83 cores=4,6
/proc/28077/task/28081/stat : 28081 (java) S 28075 28077 26613 0 -1 4202560 55112 0 0 0 76 7 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28082] ppid=28075 vsize=6438940 CPUtime=0.26 cores=4,6
/proc/28077/task/28082/stat : 28082 (java) S 28075 28077 26613 0 -1 4202560 18059 0 0 0 24 2 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28083] ppid=28075 vsize=6438940 CPUtime=0.19 cores=4,6
/proc/28077/task/28083/stat : 28083 (java) S 28075 28077 26613 0 -1 4202560 6716 0 0 0 18 1 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28084] ppid=28075 vsize=6438940 CPUtime=0.04 cores=4,6
/proc/28077/task/28084/stat : 28084 (java) S 28075 28077 26613 0 -1 4202560 1794 0 0 0 4 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28085] ppid=28075 vsize=6438940 CPUtime=0.14 cores=4,6
/proc/28077/task/28085/stat : 28085 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 14 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28086] ppid=28075 vsize=6438940 CPUtime=0.06 cores=4,6
/proc/28077/task/28086/stat : 28086 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28087] ppid=28075 vsize=6438940 CPUtime=0.14 cores=4,6
/proc/28077/task/28087/stat : 28087 (java) S 28075 28077 26613 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 19 0 896048508 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28088] ppid=28075 vsize=6438940 CPUtime=6.68 cores=4,6
/proc/28077/task/28088/stat : 28088 (java) S 28075 28077 26613 0 -1 4202560 93255 0 0 0 660 8 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 0 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28089] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28089/stat : 28089 (java) S 28075 28077 26613 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28090] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28090/stat : 28090 (java) S 28075 28077 26613 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 896048510 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28091] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28091/stat : 28091 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350207409 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28092] ppid=28075 vsize=6438940 CPUtime=0.54 cores=4,6
/proc/28077/task/28092/stat : 28092 (java) S 28075 28077 26613 0 -1 4202560 2994 0 0 0 54 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28093] ppid=28075 vsize=6438940 CPUtime=0.96 cores=4,6
/proc/28077/task/28093/stat : 28093 (java) S 28075 28077 26613 0 -1 4202560 7274 0 0 0 95 1 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=28094] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28094/stat : 28094 (java) S 28075 28077 26613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350199705 0 4 0 16800975 18446604453965200320 0 0 -1 4 0 0 0
[pid=28077/tid=28095] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/28095/stat : 28095 (java) S 28075 28077 26613 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 896048514 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
[pid=28077/tid=24223] ppid=28075 vsize=6438940 CPUtime=0 cores=4,6
/proc/28077/task/24223/stat : 24223 (java) S 28075 28077 26613 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 896175404 6593474560 596630 33554432000 1073741824 1073778376 140737197569984 18446744073709551615 270350200320 0 4 0 16800975 18446604453965200320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6438940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.81 s]
/proc/loadavg: 4.13 4.09 3.51 5/262 1775
/proc/meminfo: memFree=3459636/32951124 swapFree=67054448/67111528
[pid=28077] ppid=28075 vsize=0 CPUtime=1800.21 cores=4,6
/proc/28077/stat : 28077 (java) Z 28075 28077 26613 0 -1 4203548 605060 0 1 0 179945 76 0 0 17 0 2 0 896048499 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28077/statm: 0 0 0 0 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=0 CPUtime=1789.61 cores=4,6
/proc/28077/task/28079/stat : 28079 (java) R 28075 28077 26613 0 -1 4203588 390140 0 1 0 178911 50 0 0 25 0 2 0 896048504 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.84
CPU time (s): 1800.24
CPU user time (s): 1799.45
CPU system time (s): 0.789879
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 6456500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.789879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605060
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= 37926
involuntary context switches= 10906
runsolver used 3.17052 second user time and 6.66699 second system time
The end