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-3454146-1307193709/watcher-3454146-1307193709 -o /tmp/evaluation-result-3454146-1307193709/solver-3454146-1307193709 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454146-1307193709.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: 1.85 2.25 2.96 2/535 20061
/proc/meminfo: memFree=21471288/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 5961 0 1 0 0 0 0 0 25 0 2 0 830967632 10694979584 5664 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2611079 5679 917 9 0 2602235 0
[pid=20061/tid=20062] ppid=20059 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) R 20059 20061 15618 0 -1 4202560 8091 0 1 0 0 0 0 0 25 0 2 0 830967633 10694979584 8907 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.112704 s]
/proc/loadavg: 1.85 2.25 2.96 2/535 20061
/proc/meminfo: memFree=21471288/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10540432 CPUtime=0.12 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 13352 0 1 0 11 1 0 0 25 0 18 0 830967632 10793402368 13050 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2635108 13050 2133 9 0 2625842 0
[pid=20061/tid=20062] ppid=20059 vsize=10540432 CPUtime=0.1 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) R 20059 20061 15618 0 -1 4202560 11337 0 1 0 9 1 0 0 18 0 18 0 830967633 10793402368 13050 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 47917413369752 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540432
[startup+0.200713 s]
/proc/loadavg: 1.85 2.25 2.96 2/535 20061
/proc/meminfo: memFree=21471288/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10540772 CPUtime=0.26 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 14024 0 1 0 25 1 0 0 25 0 18 0 830967632 10793750528 13722 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2635193 13722 2181 9 0 2625927 0
[pid=20061/tid=20062] ppid=20059 vsize=10540772 CPUtime=0.18 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) R 20059 20061 15618 0 -1 4202560 11876 0 1 0 17 1 0 0 18 0 18 0 830967633 10793750528 13723 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540772
[startup+0.300668 s]
/proc/loadavg: 1.85 2.25 2.96 2/535 20061
/proc/meminfo: memFree=21471288/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10548072 CPUtime=0.53 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 17561 0 1 0 51 2 0 0 25 0 18 0 830967632 10801225728 16510 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2637018 16515 2201 9 0 2627752 0
[pid=20061/tid=20062] ppid=20059 vsize=10548072 CPUtime=0.28 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) R 20059 20061 15618 0 -1 4202560 13101 0 1 0 27 1 0 0 18 0 18 0 830967633 10801225728 16516 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10548072
[startup+0.700658 s]
/proc/loadavg: 1.85 2.25 2.96 2/535 20061
/proc/meminfo: memFree=21471288/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10551536 CPUtime=0.78 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 19256 0 1 0 76 2 0 0 25 0 19 0 830967632 10804772864 17937 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2637884 17937 2225 9 0 2628618 0
[pid=20061/tid=20062] ppid=20059 vsize=10551536 CPUtime=0.33 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) S 20059 20061 15618 0 -1 4202560 14211 0 1 0 32 1 0 0 19 0 19 0 830967633 10804772864 17937 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 10551536
[startup+1.50144 s]
/proc/loadavg: 1.85 2.25 2.96 4/533 20111
/proc/meminfo: memFree=21422780/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10568172 CPUtime=1.95 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 30308 0 1 0 192 3 0 0 25 0 19 0 830967632 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2642043 25138 2238 9 0 2632777 0
[pid=20061/tid=20062] ppid=20059 vsize=10568172 CPUtime=0.33 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) S 20059 20061 15618 0 -1 4202560 14281 0 1 0 32 1 0 0 16 0 19 0 830967633 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20064] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20064/stat : 20064 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20065] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20065/stat : 20065 (java) S 20059 20061 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20066] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20066/stat : 20066 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20067] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20067/stat : 20067 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20068] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20068/stat : 20068 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20069] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20069/stat : 20069 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20070] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20070/stat : 20070 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20071] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20071/stat : 20071 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20072] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20072/stat : 20072 (java) S 20059 20061 15618 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 830967635 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20073] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20073/stat : 20073 (java) S 20059 20061 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830967636 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20074] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20074/stat : 20074 (java) S 20059 20061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830967636 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20075] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20075/stat : 20075 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20076] ppid=20059 vsize=10568172 CPUtime=0.5 cores=0,2,4,6
/proc/20061/task/20076/stat : 20076 (java) S 20059 20061 15618 0 -1 4202560 4502 0 0 0 50 0 0 0 19 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=20061/tid=20077] ppid=20059 vsize=10568172 CPUtime=0.65 cores=0,2,4,6
/proc/20061/task/20077/stat : 20077 (java) S 20059 20061 15618 0 -1 4202560 8889 0 0 0 65 0 0 0 15 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=20061/tid=20078] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20078/stat : 20078 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20079] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20079/stat : 20079 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20083] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20083/stat : 20083 (java) S 20059 20061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830967668 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10568172
Solver just ended. Dumping a history of the last processes samples
[startup+1.60147 s]
/proc/loadavg: 1.85 2.25 2.96 4/533 20111
/proc/meminfo: memFree=21422780/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10568172 CPUtime=1.95 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 30308 0 1 0 192 3 0 0 25 0 19 0 830967632 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2642043 25138 2238 9 0 2632777 0
[pid=20061/tid=20062] ppid=20059 vsize=10568172 CPUtime=0.33 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) S 20059 20061 15618 0 -1 4202560 14281 0 1 0 32 1 0 0 16 0 19 0 830967633 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20064] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20064/stat : 20064 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20065] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20065/stat : 20065 (java) S 20059 20061 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20066] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20066/stat : 20066 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20067] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20067/stat : 20067 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20068] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20068/stat : 20068 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20069] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20069/stat : 20069 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20070] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20070/stat : 20070 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20071] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20071/stat : 20071 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20072] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20072/stat : 20072 (java) S 20059 20061 15618 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 830967635 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20073] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20073/stat : 20073 (java) S 20059 20061 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830967636 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20074] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20074/stat : 20074 (java) S 20059 20061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830967636 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20075] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20075/stat : 20075 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20076] ppid=20059 vsize=10568172 CPUtime=0.5 cores=0,2,4,6
/proc/20061/task/20076/stat : 20076 (java) S 20059 20061 15618 0 -1 4202560 4502 0 0 0 50 0 0 0 19 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=20061/tid=20077] ppid=20059 vsize=10568172 CPUtime=0.65 cores=0,2,4,6
/proc/20061/task/20077/stat : 20077 (java) S 20059 20061 15618 0 -1 4202560 8889 0 0 0 65 0 0 0 15 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=20061/tid=20078] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20078/stat : 20078 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20079] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20079/stat : 20079 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20083] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20083/stat : 20083 (java) S 20059 20061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830967668 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10568172
[startup+1.80143 s]
/proc/loadavg: 1.85 2.25 2.96 4/533 20111
/proc/meminfo: memFree=21422780/32950928 swapFree=34259960/67111528
[pid=20061] ppid=20059 vsize=10568172 CPUtime=1.95 cores=0,2,4,6
/proc/20061/stat : 20061 (java) S 20059 20061 15618 0 -1 4202496 30308 0 1 0 192 3 0 0 25 0 19 0 830967632 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20061/statm: 2642043 25138 2238 9 0 2632777 0
[pid=20061/tid=20062] ppid=20059 vsize=10568172 CPUtime=0.33 cores=0,2,4,6
/proc/20061/task/20062/stat : 20062 (java) S 20059 20061 15618 0 -1 4202560 14281 0 1 0 32 1 0 0 16 0 19 0 830967633 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20064] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20064/stat : 20064 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20065] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20065/stat : 20065 (java) S 20059 20061 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20066] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20066/stat : 20066 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20067] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20067/stat : 20067 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20068] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20068/stat : 20068 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20069] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20069/stat : 20069 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20070] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20070/stat : 20070 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20071] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20071/stat : 20071 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967634 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20072] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20072/stat : 20072 (java) S 20059 20061 15618 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 830967635 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20073] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20073/stat : 20073 (java) S 20059 20061 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830967636 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20074] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20074/stat : 20074 (java) S 20059 20061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830967636 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20075] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20075/stat : 20075 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20076] ppid=20059 vsize=10568172 CPUtime=0.5 cores=0,2,4,6
/proc/20061/task/20076/stat : 20076 (java) S 20059 20061 15618 0 -1 4202560 4502 0 0 0 50 0 0 0 19 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=20061/tid=20077] ppid=20059 vsize=10568172 CPUtime=0.65 cores=0,2,4,6
/proc/20061/task/20077/stat : 20077 (java) S 20059 20061 15618 0 -1 4202560 8889 0 0 0 65 0 0 0 15 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=20061/tid=20078] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20078/stat : 20078 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=20061/tid=20079] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20079/stat : 20079 (java) S 20059 20061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830967638 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=20061/tid=20083] ppid=20059 vsize=10568172 CPUtime=0 cores=0,2,4,6
/proc/20061/task/20083/stat : 20083 (java) S 20059 20061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830967668 10821808128 25138 33554432000 1073741824 1073778376 140733470669712 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10568172
Child status: 30
Real time (s): 1.8832
CPU time (s): 1.9897
CPU user time (s): 1.9447
CPU system time (s): 0.044993
CPU usage (%): 105.655
Max. virtual memory (cumulated for all children) (KiB): 10568172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9447
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30341
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= 294
involuntary context switches= 100
runsolver used 0.012998 second user time and 0.026995 second system time
The end