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-3453768-1307194196/watcher-3453768-1307194196 -o /tmp/evaluation-result-3453768-1307194196/solver-3453768-1307194196 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453768-1307194196.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.51 3.25 3.44 4/445 4022
/proc/meminfo: memFree=25013448/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 1339 0 1 0 0 0 0 0 25 0 2 0 831017779 36679680 1041 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 8955 1048 811 9 0 386 0
[pid=4022/tid=4023] ppid=4020 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) R 4020 4022 31765 0 -1 4202560 5345 0 1 0 0 0 0 0 25 0 2 0 831017779 10694979584 6161 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0934869 s]
/proc/loadavg: 3.51 3.25 3.44 4/445 4022
/proc/meminfo: memFree=25013448/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10540364 CPUtime=0.09 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 13014 0 1 0 8 1 0 0 25 0 18 0 831017779 10793332736 12691 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2635091 12691 2093 9 0 2625825 0
[pid=4022/tid=4023] ppid=4020 vsize=10540364 CPUtime=0.08 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) R 4020 4022 31765 0 -1 4202560 11078 0 1 0 7 1 0 0 18 0 18 0 831017779 10793332736 12692 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 47167908494163 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540364
[startup+0.1005 s]
/proc/loadavg: 3.51 3.25 3.44 4/445 4022
/proc/meminfo: memFree=25013448/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10540364 CPUtime=0.1 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 13142 0 1 0 9 1 0 0 25 0 18 0 831017779 10793332736 12819 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2635091 12819 2093 9 0 2625825 0
[pid=4022/tid=4023] ppid=4020 vsize=10540364 CPUtime=0.09 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) R 4020 4022 31765 0 -1 4202560 11205 0 1 0 8 1 0 0 18 0 18 0 831017779 10793332736 12819 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 47167907810121 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540364
[startup+0.300474 s]
/proc/loadavg: 3.51 3.25 3.44 4/445 4022
/proc/meminfo: memFree=25013448/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10551728 CPUtime=0.71 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 19525 0 1 0 68 3 0 0 25 0 19 0 831017779 10804969472 16991 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2637932 16991 2196 9 0 2628666 0
[pid=4022/tid=4023] ppid=4020 vsize=10551728 CPUtime=0.13 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) S 4020 4022 31765 0 -1 4202560 11626 0 1 0 12 1 0 0 19 0 19 0 831017779 10804969472 16991 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 10551728
[startup+0.704382 s]
/proc/loadavg: 3.51 3.25 3.44 4/445 4022
/proc/meminfo: memFree=25013448/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10551416 CPUtime=1.02 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 22563 0 1 0 99 3 0 0 25 0 22 0 831017779 10804649984 18714 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2637854 18715 2211 9 0 2628588 0
[pid=4022/tid=4023] ppid=4020 vsize=10551416 CPUtime=0.13 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) S 4020 4022 31765 0 -1 4202560 11628 0 1 0 12 1 0 0 16 0 22 0 831017779 10804649984 18717 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10551416
[startup+1.50124 s]
/proc/loadavg: 3.51 3.25 3.44 3/464 4047
/proc/meminfo: memFree=24944180/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10551416 CPUtime=1.22 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 27057 0 1 0 118 4 0 0 25 0 19 0 831017779 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2637854 21323 2211 9 0 2628588 0
[pid=4022/tid=4023] ppid=4020 vsize=10551416 CPUtime=0.13 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) S 4020 4022 31765 0 -1 4202560 11630 0 1 0 12 1 0 0 16 0 19 0 831017779 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4025] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4026] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4027] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4028] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4029] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4030] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4031] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4031/stat : 4031 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4032] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4032/stat : 4032 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4033] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4033/stat : 4033 (java) S 4020 4022 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017782 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 0 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4034] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4034/stat : 4034 (java) S 4020 4022 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017782 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4035] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4035/stat : 4035 (java) S 4020 4022 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017782 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4036] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4036/stat : 4036 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017784 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528657841 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4037] ppid=4020 vsize=10551416 CPUtime=0.27 cores=0,2,4,6
/proc/4022/task/4037/stat : 4037 (java) S 4020 4022 31765 0 -1 4202560 4076 0 0 0 27 0 0 0 15 0 19 0 831017784 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4038] ppid=4020 vsize=10551416 CPUtime=0.39 cores=0,2,4,6
/proc/4022/task/4038/stat : 4038 (java) S 4020 4022 31765 0 -1 4202560 6902 0 0 0 38 1 0 0 15 0 19 0 831017784 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4039] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4039/stat : 4039 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017784 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4040] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4040/stat : 4040 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017784 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 6 0 0 0
[pid=4022/tid=4044] ppid=4020 vsize=10551416 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4044/stat : 4044 (java) S 4020 4022 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831017794 10804649984 21323 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10551416
Solver just ended. Dumping a history of the last processes samples
[startup+1.9012 s]
/proc/loadavg: 3.51 3.25 3.44 3/464 4047
/proc/meminfo: memFree=24944180/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10556476 CPUtime=1.58 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 33288 0 1 0 153 5 0 0 25 0 19 0 831017779 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2639119 26100 2214 9 0 2629853 0
[pid=4022/tid=4023] ppid=4020 vsize=10556476 CPUtime=0.13 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) S 4020 4022 31765 0 -1 4202560 11632 0 1 0 12 1 0 0 16 0 19 0 831017779 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 6 0 0 0
[pid=4022/tid=4025] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4026] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4027] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4028] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4029] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4030] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4031] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4031/stat : 4031 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4032] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4032/stat : 4032 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4033] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4033/stat : 4033 (java) S 4020 4022 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017782 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 0 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4034] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4034/stat : 4034 (java) S 4020 4022 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017782 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4035] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4035/stat : 4035 (java) S 4020 4022 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017782 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4036] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4036/stat : 4036 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528657841 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4037] ppid=4020 vsize=10556476 CPUtime=0.45 cores=0,2,4,6
/proc/4022/task/4037/stat : 4037 (java) S 4020 4022 31765 0 -1 4202560 6778 0 0 0 45 0 0 0 16 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4038] ppid=4020 vsize=10556476 CPUtime=0.43 cores=0,2,4,6
/proc/4022/task/4038/stat : 4038 (java) S 4020 4022 31765 0 -1 4202560 6953 0 0 0 42 1 0 0 15 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4039] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4039/stat : 4039 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4040] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4040/stat : 4040 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 6 0 0 0
[pid=4022/tid=4044] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4044/stat : 4044 (java) S 4020 4022 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831017794 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10556476
[startup+2.10116 s]
/proc/loadavg: 3.51 3.25 3.44 3/464 4053
/proc/meminfo: memFree=24914916/32951124 swapFree=44043516/67111528
[pid=4022] ppid=4020 vsize=10556476 CPUtime=1.58 cores=0,2,4,6
/proc/4022/stat : 4022 (java) S 4020 4022 31765 0 -1 4202496 33288 0 1 0 153 5 0 0 25 0 19 0 831017779 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4022/statm: 2639119 26100 2214 9 0 2629853 0
[pid=4022/tid=4023] ppid=4020 vsize=10556476 CPUtime=0.13 cores=0,2,4,6
/proc/4022/task/4023/stat : 4023 (java) S 4020 4022 31765 0 -1 4202560 11632 0 1 0 12 1 0 0 16 0 19 0 831017779 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 6 0 0 0
[pid=4022/tid=4025] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4026] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4027] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4028] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4029] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4030] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4031] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4031/stat : 4031 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4032] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4032/stat : 4032 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017781 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4033] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4033/stat : 4033 (java) S 4020 4022 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017782 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 0 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4034] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4034/stat : 4034 (java) S 4020 4022 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017782 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4035] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4035/stat : 4035 (java) S 4020 4022 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017782 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4036] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4036/stat : 4036 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528657841 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4037] ppid=4020 vsize=10556476 CPUtime=0.45 cores=0,2,4,6
/proc/4022/task/4037/stat : 4037 (java) S 4020 4022 31765 0 -1 4202560 6778 0 0 0 45 0 0 0 16 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 4 0 0 0
[pid=4022/tid=4038] ppid=4020 vsize=10556476 CPUtime=0.43 cores=0,2,4,6
/proc/4022/task/4038/stat : 4038 (java) S 4020 4022 31765 0 -1 4202560 6953 0 0 0 42 1 0 0 15 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4039] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4039/stat : 4039 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650137 0 4 0 16800975 18446604453635614784 0 0 -1 2 0 0 0
[pid=4022/tid=4040] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4040/stat : 4040 (java) S 4020 4022 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017784 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 6 0 0 0
[pid=4022/tid=4044] ppid=4020 vsize=10556476 CPUtime=0 cores=0,2,4,6
/proc/4022/task/4044/stat : 4044 (java) S 4020 4022 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831017794 10809831424 26100 33554432000 1073741824 1073778376 140736210946576 18446744073709551615 246528650752 0 4 0 16800975 18446604453635614784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10556476
Child status: 30
Real time (s): 2.17815
CPU time (s): 1.60276
CPU user time (s): 1.54577
CPU system time (s): 0.056991
CPU usage (%): 73.5833
Max. virtual memory (cumulated for all children) (KiB): 10556476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.54576
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33305
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= 253
involuntary context switches= 73
runsolver used 0.018997 second user time and 0.029995 second system time
The end