runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709816-1338125475/watcher-3709816-1338125475 -o /tmp/evaluation-result-3709816-1338125475/solver-3709816-1338125475 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709816-1338125475.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 2.11 2.06 3/194 20386
/proc/meminfo: memFree=29280676/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 1189 0 0 0 0 0 0 0 20 0 2 0 278672435 94085120 906 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 22954 906 686 9 0 16769 0
[pid=20386/tid=20387] ppid=20384 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 278672435 94019584 917 33554432000 1073741824 1073778376 140736438100736 140736438089800 240556010791 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0493651 s]
/proc/loadavg: 2.26 2.11 2.06 3/194 20386
/proc/meminfo: memFree=29280676/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 3075 0 1 0 3 1 0 0 20 0 13 0 278672435 9446973440 3771 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2306390 3771 1708 9 0 2297091 0
[pid=20386/tid=20387] ppid=20384 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) D 20384 20386 19004 0 -1 4202560 1892 0 1 0 2 0 0 0 20 0 13 0 278672435 9446973440 3771 33554432000 1073741824 1073778376 140736438100736 140190117992168 240565175184 0 4 0 16800971 18446744072100609316 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100373 s]
/proc/loadavg: 2.26 2.11 2.06 3/194 20386
/proc/meminfo: memFree=29280676/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 4286 0 1 0 9 1 0 0 20 0 18 0 278672435 9787842560 6003 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2389610 6003 2116 9 0 2380296 0
[pid=20386/tid=20387] ppid=20384 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2413 0 1 0 6 1 0 0 20 0 18 0 278672435 9787842560 6003 33554432000 1073741824 1073778376 140736438100736 140190117993472 240568558861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300201 s]
/proc/loadavg: 2.26 2.11 2.06 3/194 20386
/proc/meminfo: memFree=29280676/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 7126 0 1 0 51 2 0 0 20 0 19 0 278672435 9856004096 8043 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2406251 8043 2238 9 0 2396937 0
[pid=20386/tid=20387] ppid=20384 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2504 0 1 0 26 1 0 0 20 0 19 0 278672435 9856004096 8043 33554432000 1073741824 1073778376 140736438100736 140190117995280 140189963935235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625004
[startup+0.700326 s]
/proc/loadavg: 2.26 2.11 2.06 3/194 20386
/proc/meminfo: memFree=29280676/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 8234 0 1 0 112 3 0 0 20 0 19 0 278672435 9856004096 10665 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2406251 10665 2277 9 0 2396937 0
[pid=20386/tid=20387] ppid=20384 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2509 0 1 0 64 1 0 0 20 0 19 0 278672435 9856004096 10665 33554432000 1073741824 1073778376 140736438100736 140190117994920 140189964429222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625004
[startup+1.50079 s]
/proc/loadavg: 2.26 2.11 2.06 3/213 20405
/proc/meminfo: memFree=29246536/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 15011 0 1 0 213 5 0 0 20 0 19 0 278672435 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2406251 15331 2278 9 0 2396937 0
[pid=20386/tid=20387] ppid=20384 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2509 0 1 0 139 1 0 0 20 0 19 0 278672435 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190117994800 140189964338220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20389] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20389/stat : 20389 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190090447656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20390] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20390/stat : 20390 (java) S 20384 20386 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190089394856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20391] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20391/stat : 20391 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190088342568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20392] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20392/stat : 20392 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190087289768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20393] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20393/stat : 20393 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190086236456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20394] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20394/stat : 20394 (java) S 20384 20386 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190085183656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20395] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20395/stat : 20395 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190084131368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20396] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20396/stat : 20396 (java) S 20384 20386 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140190083078568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20397] ppid=20384 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/20386/task/20397/stat : 20397 (java) S 20384 20386 19004 0 -1 4202560 54 0 0 0 4 0 0 0 20 0 19 0 278672437 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189471050472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20398] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20398/stat : 20398 (java) S 20384 20386 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189469996536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20399] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20399/stat : 20399 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189468944136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20400] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20400/stat : 20400 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189467892624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20401] ppid=20384 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/20386/task/20401/stat : 20401 (java) R 20384 20386 19004 0 -1 4202560 8957 0 0 0 37 2 0 0 20 0 19 0 278672440 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189466826792 140190122111440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20402] ppid=20384 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/20386/task/20402/stat : 20402 (java) S 20384 20386 19004 0 -1 4202560 2260 0 0 0 24 0 0 0 20 0 19 0 278672440 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189465786424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20403] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20403/stat : 20403 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189464734328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20404] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20404/stat : 20404 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189463681736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20405] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20405/stat : 20405 (java) S 20384 20386 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278672453 9856004096 15331 33554432000 1073741824 1073778376 140736438100736 140189462627752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+2.30078 s]
/proc/loadavg: 2.26 2.11 2.06 4/213 20405
/proc/meminfo: memFree=29222664/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9625004 CPUtime=3.56 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 18843 0 1 0 350 6 0 0 20 0 19 0 278672435 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2406251 16641 2278 9 0 2396937 0
[pid=20386/tid=20387] ppid=20384 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2510 0 1 0 216 1 0 0 20 0 19 0 278672435 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190117993896 140189964433217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20389] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20389/stat : 20389 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190090447656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20390] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20390/stat : 20390 (java) S 20384 20386 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190089394856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20391] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20391/stat : 20391 (java) S 20384 20386 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190088342568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20392] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20392/stat : 20392 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190087289768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20393] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20393/stat : 20393 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190086236456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20394] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20394/stat : 20394 (java) S 20384 20386 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190085183656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20395] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20395/stat : 20395 (java) S 20384 20386 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190084131368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20396] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20396/stat : 20396 (java) S 20384 20386 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190083078568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20397] ppid=20384 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/20386/task/20397/stat : 20397 (java) S 20384 20386 19004 0 -1 4202560 56 0 0 0 6 0 0 0 20 0 19 0 278672437 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189471050472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20398] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20398/stat : 20398 (java) S 20384 20386 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189469996536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20399] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20399/stat : 20399 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189468944136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20400] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20400/stat : 20400 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189467892624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20401] ppid=20384 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20386/task/20401/stat : 20401 (java) S 20384 20386 19004 0 -1 4202560 12342 0 0 0 90 3 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189466839224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20402] ppid=20384 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20386/task/20402/stat : 20402 (java) S 20384 20386 19004 0 -1 4202560 2698 0 0 0 27 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189465786424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20403] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20403/stat : 20403 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189464734328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20404] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20404/stat : 20404 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189463681736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20405] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20405/stat : 20405 (java) S 20384 20386 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278672453 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189462627752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625004
[startup+2.50069 s]
/proc/loadavg: 2.26 2.11 2.06 4/213 20405
/proc/meminfo: memFree=29222664/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 18843 0 1 0 370 6 0 0 20 0 19 0 278672435 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2406251 16641 2278 9 0 2396937 0
[pid=20386/tid=20387] ppid=20384 vsize=9625004 CPUtime=2.37 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2510 0 1 0 236 1 0 0 20 0 19 0 278672435 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190117994760 140189964007763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20389] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20389/stat : 20389 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190090447656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20390] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20390/stat : 20390 (java) S 20384 20386 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190089394856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20391] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20391/stat : 20391 (java) S 20384 20386 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190088342568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20392] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20392/stat : 20392 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190087289768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20393] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20393/stat : 20393 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190086236456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20394] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20394/stat : 20394 (java) S 20384 20386 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190085183656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20395] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20395/stat : 20395 (java) S 20384 20386 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190084131368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20396] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20396/stat : 20396 (java) S 20384 20386 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190083078568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20397] ppid=20384 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/20386/task/20397/stat : 20397 (java) S 20384 20386 19004 0 -1 4202560 56 0 0 0 6 0 0 0 20 0 19 0 278672437 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189471050472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20398] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20398/stat : 20398 (java) S 20384 20386 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189469996536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20399] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20399/stat : 20399 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189468944136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20400] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20400/stat : 20400 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189467892624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20401] ppid=20384 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20386/task/20401/stat : 20401 (java) S 20384 20386 19004 0 -1 4202560 12342 0 0 0 90 3 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189466839224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20402] ppid=20384 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20386/task/20402/stat : 20402 (java) S 20384 20386 19004 0 -1 4202560 2698 0 0 0 27 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189465786424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20403] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20403/stat : 20403 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189464734328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20404] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20404/stat : 20404 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189463681736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20405] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20405/stat : 20405 (java) S 20384 20386 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278672453 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189462627752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625004
[startup+2.60078 s]
/proc/loadavg: 2.26 2.11 2.06 4/213 20405
/proc/meminfo: memFree=29222664/32873844 swapFree=7116/7116
[pid=20386] ppid=20384 vsize=9625004 CPUtime=3.87 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20384 20386 19004 0 -1 4202496 18844 0 1 0 381 6 0 0 20 0 19 0 278672435 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140736438091872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20386/statm: 2406251 16641 2278 9 0 2396937 0
[pid=20386/tid=20387] ppid=20384 vsize=9625004 CPUtime=2.45 cores=1,3,5,7
/proc/20386/task/20387/stat : 20387 (java) R 20384 20386 19004 0 -1 4202560 2511 0 1 0 244 1 0 0 20 0 19 0 278672435 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190117994920 140189964396927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20389] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20389/stat : 20389 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190090447656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20390] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20390/stat : 20390 (java) S 20384 20386 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190089394856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20391] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20391/stat : 20391 (java) S 20384 20386 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190088342568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20392] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20392/stat : 20392 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190087289768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20393] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20393/stat : 20393 (java) S 20384 20386 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190086236456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20394] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20394/stat : 20394 (java) S 20384 20386 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190085183656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20395] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20395/stat : 20395 (java) S 20384 20386 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190084131368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20386/tid=20396] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20396/stat : 20396 (java) S 20384 20386 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278672436 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140190083078568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20397] ppid=20384 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20397/stat : 20397 (java) S 20384 20386 19004 0 -1 4202560 56 0 0 0 7 0 0 0 20 0 19 0 278672437 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189471050472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20398] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20398/stat : 20398 (java) S 20384 20386 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189469996536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20399] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20399/stat : 20399 (java) S 20384 20386 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278672438 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189468944136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20400] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20400/stat : 20400 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189467892624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20386/tid=20401] ppid=20384 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/20386/task/20401/stat : 20401 (java) S 20384 20386 19004 0 -1 4202560 12342 0 0 0 90 3 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189466839224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20402] ppid=20384 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20386/task/20402/stat : 20402 (java) S 20384 20386 19004 0 -1 4202560 2698 0 0 0 27 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189465786424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20403] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20403/stat : 20403 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189464734328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20386/tid=20404] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20404/stat : 20404 (java) S 20384 20386 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278672440 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189463681736 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20386/tid=20405] ppid=20384 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20386/task/20405/stat : 20405 (java) S 20384 20386 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278672453 9856004096 16641 33554432000 1073741824 1073778376 140736438100736 140189462627752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625004
Child status: 20
Real time (s): 2.63538
CPU time (s): 3.9134
CPU user time (s): 3.79142
CPU system time (s): 0.121981
CPU usage (%): 148.495
Max. virtual memory (cumulated for all children) (KiB): 9626608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.79142
system time used= 0.121981
maximum resident set size= 68388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18862
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 518
involuntary context switches= 289
runsolver used 0.001999 second user time and 0.025996 second system time
The end