runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454201-1307190400/watcher-3454201-1307190400 -o /tmp/evaluation-result-3454201-1307190400/solver-3454201-1307190400 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454201-1307190400.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: 3.54 3.63 3.40 3/394 21988
/proc/meminfo: memFree=19269564/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 3399 0 1 0 0 0 0 0 25 0 2 0 830640466 10694979584 3100 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2611079 3113 917 9 0 2602235 0
[pid=21988/tid=21989] ppid=21986 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) R 21986 21988 19222 0 -1 4202560 4041 0 1 0 0 0 0 0 25 0 2 0 830640466 10694979584 4857 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0303661 s]
/proc/loadavg: 3.54 3.63 3.40 3/394 21988
/proc/meminfo: memFree=19269564/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10455360 CPUtime=0.02 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 10849 0 1 0 1 1 0 0 25 0 10 0 830640466 10706288640 10547 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2613840 10548 1536 9 0 2604588 0
[pid=21988/tid=21989] ppid=21986 vsize=10455360 CPUtime=0.02 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) R 21986 21988 19222 0 -1 4202560 9728 0 1 0 1 1 0 0 25 0 10 0 830640466 10706288640 10550 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 47552615511712 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455360
[startup+0.100364 s]
/proc/loadavg: 3.54 3.63 3.40 3/394 21988
/proc/meminfo: memFree=19269564/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10540476 CPUtime=0.1 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 13109 0 1 0 9 1 0 0 25 0 18 0 830640466 10793447424 12765 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2635119 12765 2092 9 0 2625853 0
[pid=21988/tid=21989] ppid=21986 vsize=10540476 CPUtime=0.08 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) R 21986 21988 19222 0 -1 4202560 11144 0 1 0 7 1 0 0 25 0 18 0 830640466 10793447424 12766 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 47552617498136 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540476
[startup+0.300281 s]
/proc/loadavg: 3.54 3.63 3.40 3/394 21988
/proc/meminfo: memFree=19269564/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10541500 CPUtime=0.47 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 20905 0 1 0 45 2 0 0 25 0 18 0 830640466 10794496000 19964 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2635375 19964 2199 9 0 2626109 0
[pid=21988/tid=21989] ppid=21986 vsize=10541500 CPUtime=0.29 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) R 21986 21988 19222 0 -1 4202560 17624 0 1 0 27 2 0 0 25 0 18 0 830640466 10794496000 19964 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505567104 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541500
[startup+0.700245 s]
/proc/loadavg: 3.54 3.63 3.40 3/394 21988
/proc/meminfo: memFree=19269564/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10547644 CPUtime=1.23 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 57191 0 1 0 117 6 0 0 25 0 18 0 830640466 10800787456 54158 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2636911 54161 2205 9 0 2627645 0
[pid=21988/tid=21989] ppid=21986 vsize=10547644 CPUtime=0.68 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) R 21986 21988 19222 0 -1 4202560 48154 0 1 0 63 5 0 0 25 0 18 0 830640466 10800787456 54163 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505562974 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10547644
[startup+1.50106 s]
/proc/loadavg: 3.54 3.63 3.40 4/412 22006
/proc/meminfo: memFree=18942324/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10555852 CPUtime=2.53 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 115549 0 1 0 239 14 0 0 25 0 22 0 830640466 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2638963 112515 2230 9 0 2629697 0
[pid=21988/tid=21989] ppid=21986 vsize=10555852 CPUtime=1.25 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) S 21986 21988 19222 0 -1 4202560 101511 0 1 0 112 13 0 0 25 0 22 0 830640466 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830640469 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 0 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830640469 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640470 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820989361 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=10555852 CPUtime=0.48 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) R 21986 21988 19222 0 -1 4202560 3368 0 0 0 48 0 0 0 18 0 22 0 830640472 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820984577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=10555852 CPUtime=0.49 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 19222 0 -1 4202560 5641 0 0 0 49 0 0 0 17 0 22 0 830640472 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830640472 10809192448 112515 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10555852
[startup+3.10077 s]
/proc/loadavg: 3.54 3.63 3.40 5/416 22010
/proc/meminfo: memFree=18776968/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10555852 CPUtime=5.99 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 152859 0 1 0 581 18 0 0 25 0 22 0 830640466 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2638963 149823 2236 9 0 2629697 0
[pid=21988/tid=21989] ppid=21986 vsize=10555852 CPUtime=1.25 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) S 21986 21988 19222 0 -1 4202560 101511 0 1 0 112 13 0 0 15 0 22 0 830640466 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640468 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 19222 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830640469 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 0 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830640469 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640470 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820989361 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=10555852 CPUtime=0.66 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 19222 0 -1 4202560 3410 0 0 0 66 0 0 0 16 0 22 0 830640472 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=10555852 CPUtime=0.7 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 19222 0 -1 4202560 5668 0 0 0 70 0 0 0 15 0 22 0 830640472 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830640472 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=10555852 CPUtime=1.82 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) R 21986 21988 19222 0 -1 4202560 2244 0 0 0 182 0 0 0 25 0 22 0 830640592 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912506189113 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21988/tid=22008] ppid=21986 vsize=10555852 CPUtime=1.52 cores=1,3,5,7
/proc/21988/task/22008/stat : 22008 (java) R 21986 21988 19222 0 -1 4202560 38858 0 0 0 149 3 0 0 25 0 22 0 830640592 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505907227 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21988/tid=22009] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22009/stat : 22009 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640603 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22010] ppid=21986 vsize=10555852 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22010/stat : 22010 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640608 10809192448 149823 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 10555852
[startup+6.30122 s]
/proc/loadavg: 3.58 3.63 3.41 5/416 22010
/proc/meminfo: memFree=18425592/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10557900 CPUtime=12.8 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 231831 0 1 0 1254 26 0 0 25 0 22 0 830640466 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2639475 226307 2263 9 0 2630209 0
[pid=21988/tid=21989] ppid=21986 vsize=10557900 CPUtime=1.25 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) S 21986 21988 19222 0 -1 4202560 101511 0 1 0 112 13 0 0 15 0 22 0 830640466 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=10557900 CPUtime=0.07 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 19222 0 -1 4202560 8430 0 0 0 7 0 0 0 18 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=10557900 CPUtime=0.01 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 19222 0 -1 4202560 2615 0 0 0 1 0 0 0 18 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=10557900 CPUtime=0.09 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 19222 0 -1 4202560 6994 0 0 0 9 0 0 0 18 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=10557900 CPUtime=0.06 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 19222 0 -1 4202560 4994 0 0 0 5 1 0 0 18 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 19222 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 19222 0 -1 4202560 288 0 0 0 0 0 0 0 16 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 19222 0 -1 4202560 266 0 0 0 0 0 0 0 16 0 22 0 830640468 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=10557900 CPUtime=0.44 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 19222 0 -1 4202560 23546 0 0 0 43 1 0 0 15 0 22 0 830640469 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 0 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830640469 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830640470 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=10557900 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10811289600 226307 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820989361 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 3.80 3.81 3.64 5/416 22088
/proc/meminfo: memFree=17253668/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10564720 CPUtime=1619.04 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 704450 0 1 0 161824 80 0 0 25 0 22 0 830640466 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2641180 698517 2264 9 0 2631914 0
[pid=21988/tid=21989] ppid=21986 vsize=10564720 CPUtime=1.25 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) S 21986 21988 19222 0 -1 4202560 101703 0 1 0 112 13 0 0 15 0 22 0 830640466 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=10564720 CPUtime=1.42 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 19222 0 -1 4202560 8640 0 0 0 141 1 0 0 15 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=10564720 CPUtime=1.19 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 19222 0 -1 4202560 2796 0 0 0 118 1 0 0 16 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=10564720 CPUtime=1.31 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 19222 0 -1 4202560 7152 0 0 0 131 0 0 0 15 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=10564720 CPUtime=1.35 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 19222 0 -1 4202560 5175 0 0 0 134 1 0 0 16 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=10564720 CPUtime=1.35 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 19222 0 -1 4202560 405 0 0 0 135 0 0 0 15 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=10564720 CPUtime=1.51 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 19222 0 -1 4202560 527 0 0 0 151 0 0 0 16 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=10564720 CPUtime=1.11 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 19222 0 -1 4202560 158 0 0 0 111 0 0 0 15 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=10564720 CPUtime=1.29 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 19222 0 -1 4202560 480 0 0 0 129 0 0 0 16 0 22 0 830640468 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=10564720 CPUtime=151.28 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 19222 0 -1 4202560 89503 0 0 0 15117 11 0 0 15 0 22 0 830640469 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 0 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830640469 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830640470 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820989361 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=10564720 CPUtime=1.68 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 19222 0 -1 4202560 5790 0 0 0 168 0 0 0 15 0 22 0 830640472 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=10564720 CPUtime=1.59 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 19222 0 -1 4202560 9147 0 0 0 159 0 0 0 15 0 22 0 830640472 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830640472 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=10564720 CPUtime=726.47 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) R 21986 21988 19222 0 -1 4202560 2451 0 0 0 72646 1 0 0 17 0 22 0 830640592 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505944070 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21988/tid=22008] ppid=21986 vsize=10564720 CPUtime=726.1 cores=1,3,5,7
/proc/21988/task/22008/stat : 22008 (java) R 21986 21988 19222 0 -1 4202560 469314 0 0 0 72564 46 0 0 17 0 22 0 830640592 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505907162 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21988/tid=22009] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22009/stat : 22009 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640603 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22010] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22010/stat : 22010 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640608 10818273280 698517 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1619.04
Current children cumulated vsize (KiB) 10564720
[startup+942.301 s]
/proc/loadavg: 3.69 3.77 3.64 5/416 22089
/proc/meminfo: memFree=17130628/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10564720 CPUtime=1724.89 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 706748 0 1 0 172408 81 0 0 25 0 22 0 830640466 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2641180 700783 2264 9 0 2631914 0
[pid=21988/tid=21989] ppid=21986 vsize=10564720 CPUtime=1.25 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) S 21986 21988 19222 0 -1 4202560 101726 0 1 0 112 13 0 0 15 0 22 0 830640466 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=10564720 CPUtime=1.52 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 19222 0 -1 4202560 8657 0 0 0 151 1 0 0 16 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=10564720 CPUtime=1.31 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 19222 0 -1 4202560 2810 0 0 0 130 1 0 0 16 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=10564720 CPUtime=1.42 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 19222 0 -1 4202560 7168 0 0 0 142 0 0 0 15 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=10564720 CPUtime=1.46 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 19222 0 -1 4202560 5191 0 0 0 145 1 0 0 16 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=10564720 CPUtime=1.46 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 19222 0 -1 4202560 420 0 0 0 146 0 0 0 15 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=10564720 CPUtime=1.69 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 19222 0 -1 4202560 539 0 0 0 169 0 0 0 16 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=10564720 CPUtime=1.26 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 19222 0 -1 4202560 188 0 0 0 126 0 0 0 15 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=10564720 CPUtime=1.41 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 19222 0 -1 4202560 512 0 0 0 141 0 0 0 15 0 22 0 830640468 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=10564720 CPUtime=165.86 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 19222 0 -1 4202560 91621 0 0 0 16575 11 0 0 15 0 22 0 830640469 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 0 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830640469 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830640470 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820989361 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=10564720 CPUtime=1.7 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 19222 0 -1 4202560 5791 0 0 0 170 0 0 0 15 0 22 0 830640472 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=10564720 CPUtime=1.59 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 19222 0 -1 4202560 9147 0 0 0 159 0 0 0 15 0 22 0 830640472 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 19222 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830640472 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=10564720 CPUtime=771.61 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) R 21986 21988 19222 0 -1 4202560 2451 0 0 0 77160 1 0 0 18 0 22 0 830640592 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912506188919 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21988/tid=22008] ppid=21986 vsize=10564720 CPUtime=771.24 cores=1,3,5,7
/proc/21988/task/22008/stat : 22008 (java) R 21986 21988 19222 0 -1 4202560 469314 0 0 0 77078 46 0 0 17 0 22 0 830640592 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912506271407 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21988/tid=22009] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22009/stat : 22009 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640603 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22010] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22010/stat : 22010 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640608 10818273280 700783 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.89
Current children cumulated vsize (KiB) 10564720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+984.602 s]
/proc/loadavg: 3.84 3.80 3.65 5/416 22091
/proc/meminfo: memFree=17096756/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=10564720 CPUtime=1800.19 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 19222 0 -1 4202496 708699 0 1 0 179937 82 0 0 25 0 22 0 830640466 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 2641180 702715 2264 9 0 2631914 0
[pid=21988/tid=21989] ppid=21986 vsize=10564720 CPUtime=1.25 cores=1,3,5,7
/proc/21988/task/21989/stat : 21989 (java) S 21986 21988 19222 0 -1 4202560 101741 0 1 0 112 13 0 0 15 0 22 0 830640466 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=10564720 CPUtime=1.6 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 19222 0 -1 4202560 8677 0 0 0 159 1 0 0 16 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=10564720 CPUtime=1.36 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 19222 0 -1 4202560 2820 0 0 0 135 1 0 0 15 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=10564720 CPUtime=1.51 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 19222 0 -1 4202560 7179 0 0 0 150 1 0 0 15 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=10564720 CPUtime=1.54 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 19222 0 -1 4202560 5209 0 0 0 153 1 0 0 16 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=10564720 CPUtime=1.53 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 19222 0 -1 4202560 436 0 0 0 153 0 0 0 15 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=10564720 CPUtime=1.82 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 19222 0 -1 4202560 539 0 0 0 182 0 0 0 16 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=10564720 CPUtime=1.32 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 19222 0 -1 4202560 192 0 0 0 132 0 0 0 15 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 1 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=10564720 CPUtime=1.51 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 19222 0 -1 4202560 522 0 0 0 151 0 0 0 16 0 22 0 830640468 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=10564720 CPUtime=175.46 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 19222 0 -1 4202560 93466 0 0 0 17534 12 0 0 15 0 22 0 830640469 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 0 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830640469 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830640470 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820989361 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=10564720 CPUtime=1.7 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 19222 0 -1 4202560 5791 0 0 0 170 0 0 0 15 0 22 0 830640472 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=10564720 CPUtime=1.59 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 19222 0 -1 4202560 9147 0 0 0 159 0 0 0 15 0 22 0 830640472 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 5 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830640472 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820981657 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 19222 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830640472 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=10564720 CPUtime=804.12 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) R 21986 21988 19222 0 -1 4202560 2451 0 0 0 80411 1 0 0 17 0 22 0 830640592 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505880240 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21988/tid=22008] ppid=21986 vsize=10564720 CPUtime=803.76 cores=1,3,5,7
/proc/21988/task/22008/stat : 22008 (java) R 21986 21988 19222 0 -1 4202560 469314 0 0 0 80330 46 0 0 17 0 22 0 830640592 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 46912505907152 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21988/tid=22009] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22009/stat : 22009 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640603 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 3 0 0 0
[pid=21988/tid=22010] ppid=21986 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22010/stat : 22010 (java) S 21986 21988 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830640608 10818273280 702715 33554432000 1073741824 1073778376 140733675608944 18446744073709551615 230820982272 0 4 0 16800975 18446604456247173504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10564720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+984.721 s]
/proc/loadavg: 3.84 3.80 3.65 5/416 22091
/proc/meminfo: memFree=17096756/32951124 swapFree=37148216/67111528
[pid=21988] ppid=21986 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/21988/stat : 21988 (java) Z 21986 21988 19222 0 -1 4203548 708732 0 1 0 179943 90 0 0 17 0 2 0 830640466 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21988/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 984.733
CPU time (s): 1800.36
CPU user time (s): 1799.44
CPU system time (s): 0.91886
CPU usage (%): 182.827
Max. virtual memory (cumulated for all children) (KiB): 10564720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.91886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708732
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= 32043
involuntary context switches= 13502
runsolver used 3.72243 second user time and 8.81766 second system time
The end