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-3729667-1338678717/watcher-3729667-1338678717 -o /tmp/evaluation-result-3729667-1338678717/solver-3729667-1338678717 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729667-1338678717.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.44 0.62 1.02 3/194 1961
/proc/meminfo: memFree=29128060/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/1961/stat : 1961 (java) R 1959 1961 1585 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 333997163 23793664 791 33554432000 1073741824 1073778376 140734155586544 140734155575608 140063568797673 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 5809 811 605 9 0 128 0
[startup+0.0318711 s]
/proc/loadavg: 1.44 0.62 1.02 3/194 1961
/proc/meminfo: memFree=29128060/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=2623916 CPUtime=0.01 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 3879 0 1 0 1 0 0 0 20 0 13 0 333997163 2686889984 5089 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 655979 5090 1662 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916
[startup+0.100218 s]
/proc/loadavg: 1.44 0.62 1.02 3/194 1961
/proc/meminfo: memFree=29128060/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 4919 0 1 0 9 1 0 0 20 0 18 0 333997163 3028844544 7142 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 739464 7142 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300226 s]
/proc/loadavg: 1.44 0.62 1.02 3/194 1961
/proc/meminfo: memFree=29128060/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 5892 0 1 0 44 1 0 0 20 0 18 0 333997163 3028844544 9295 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 739464 9295 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856
[startup+0.700233 s]
/proc/loadavg: 1.44 0.62 1.02 3/194 1961
/proc/meminfo: memFree=29128060/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=3024420 CPUtime=1.4 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 11795 0 1 0 138 2 0 0 20 0 19 0 333997163 3097006080 12487 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 756105 12487 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 3024420
[startup+1.50063 s]
/proc/loadavg: 1.44 0.62 1.02 3/213 1980
/proc/meminfo: memFree=29083004/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=3024420 CPUtime=2.24 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 11803 0 1 0 222 2 0 0 20 0 19 0 333997163 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 756105 14538 2266 9 0 746526 0
[pid=1961/tid=1963] ppid=1959 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/1961/task/1963/stat : 1963 (java) R 1959 1961 1585 0 -1 4202560 3040 0 1 0 147 0 0 0 20 0 19 0 333997163 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063562271248 140063397149177 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1964] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1964/stat : 1964 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063545699240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1965] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1965/stat : 1965 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063544646696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1966] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1966/stat : 1966 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063543593640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1961/tid=1967] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1967/stat : 1967 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063542541096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1968] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1968/stat : 1968 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063541488040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1969] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1969/stat : 1969 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063540435496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1970] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1970/stat : 1970 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063539382440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1971] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1971/stat : 1971 (java) S 1959 1961 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063538329896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1972] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1972/stat : 1972 (java) S 1959 1961 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997165 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063525919592 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1973] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1973/stat : 1973 (java) S 1959 1961 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997166 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063524865912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1974] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1974/stat : 1974 (java) S 1959 1961 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997166 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063523812744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1975] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1975/stat : 1975 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063522761488 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1976] ppid=1959 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/1961/task/1976/stat : 1976 (java) S 1959 1961 1585 0 -1 4202560 3405 0 0 0 41 0 0 0 20 0 19 0 333997168 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063521708344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1977] ppid=1959 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/1961/task/1977/stat : 1977 (java) S 1959 1961 1585 0 -1 4202560 4159 0 0 0 33 0 0 0 20 0 19 0 333997168 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063520655800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1978] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1978/stat : 1978 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063519602936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1979] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1979/stat : 1979 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063518550600 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1980] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1980/stat : 1980 (java) S 1959 1961 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997193 3097006080 14538 33554432000 1073741824 1073778376 140734155586544 140063516349992 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+1.90068 s]
/proc/loadavg: 1.44 0.62 1.02 3/213 1980
/proc/meminfo: memFree=29083004/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=3024420 CPUtime=2.64 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 11805 0 1 0 262 2 0 0 20 0 19 0 333997163 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 756105 15562 2266 9 0 746526 0
[pid=1961/tid=1963] ppid=1959 vsize=3024420 CPUtime=1.87 cores=0,2,4,6
/proc/1961/task/1963/stat : 1963 (java) R 1959 1961 1585 0 -1 4202560 3042 0 1 0 187 0 0 0 20 0 19 0 333997163 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063562271248 140063397148274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1964] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1964/stat : 1964 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063545699240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1965] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1965/stat : 1965 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063544646696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1966] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1966/stat : 1966 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063543593640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1961/tid=1967] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1967/stat : 1967 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063542541096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1968] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1968/stat : 1968 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063541488040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1969] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1969/stat : 1969 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063540435496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1970] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1970/stat : 1970 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063539382440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1971] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1971/stat : 1971 (java) S 1959 1961 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063538329896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1972] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1972/stat : 1972 (java) S 1959 1961 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997165 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063525919592 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1973] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1973/stat : 1973 (java) S 1959 1961 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997166 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063524865912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1974] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1974/stat : 1974 (java) S 1959 1961 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997166 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063523812744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1975] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1975/stat : 1975 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063522761488 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1976] ppid=1959 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/1961/task/1976/stat : 1976 (java) S 1959 1961 1585 0 -1 4202560 3405 0 0 0 41 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063521708344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1977] ppid=1959 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/1961/task/1977/stat : 1977 (java) S 1959 1961 1585 0 -1 4202560 4159 0 0 0 33 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063520655800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1978] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1978/stat : 1978 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063519602936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1979] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1979/stat : 1979 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063518550600 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1980] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1980/stat : 1980 (java) S 1959 1961 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997193 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063516349992 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 3024420
[startup+2.1007 s]
/proc/loadavg: 1.49 0.64 1.02 3/213 1980
/proc/meminfo: memFree=29074192/32873648 swapFree=7116/7116
[pid=1961] ppid=1959 vsize=3024420 CPUtime=2.84 cores=0,2,4,6
/proc/1961/stat : 1961 (java) S 1959 1961 1585 0 -1 4202496 11805 0 1 0 282 2 0 0 20 0 19 0 333997163 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140734155577680 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1961/statm: 756105 15562 2266 9 0 746526 0
[pid=1961/tid=1963] ppid=1959 vsize=3024420 CPUtime=2.08 cores=0,2,4,6
/proc/1961/task/1963/stat : 1963 (java) R 1959 1961 1585 0 -1 4202560 3042 0 1 0 208 0 0 0 20 0 19 0 333997163 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063562271248 140063397179915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1964] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1964/stat : 1964 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063545699240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1965] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1965/stat : 1965 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063544646696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1966] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1966/stat : 1966 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063543593640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1961/tid=1967] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1967/stat : 1967 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063542541096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1968] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1968/stat : 1968 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063541488040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1969] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1969/stat : 1969 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063540435496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1970] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1970/stat : 1970 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063539382440 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1961/tid=1971] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1971/stat : 1971 (java) S 1959 1961 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997164 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063538329896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1972] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1972/stat : 1972 (java) S 1959 1961 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997165 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063525919592 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1973] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1973/stat : 1973 (java) S 1959 1961 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997166 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063524865912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1974] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1974/stat : 1974 (java) S 1959 1961 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997166 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063523812744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1975] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1975/stat : 1975 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063522761488 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1976] ppid=1959 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/1961/task/1976/stat : 1976 (java) S 1959 1961 1585 0 -1 4202560 3405 0 0 0 41 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063521708344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1977] ppid=1959 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/1961/task/1977/stat : 1977 (java) S 1959 1961 1585 0 -1 4202560 4159 0 0 0 33 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063520655800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1978] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1978/stat : 1978 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063519602936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1961/tid=1979] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1979/stat : 1979 (java) S 1959 1961 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997168 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063518550600 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1961/tid=1980] ppid=1959 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/1961/task/1980/stat : 1980 (java) S 1959 1961 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997193 3097006080 15562 33554432000 1073741824 1073778376 140734155586544 140063516349992 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 3024420
Child status: 20
Real time (s): 2.20276
CPU time (s): 2.97255
CPU user time (s): 2.94155
CPU system time (s): 0.030995
CPU usage (%): 134.947
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.94155
system time used= 0.030995
maximum resident set size= 66376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11820
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= 284
involuntary context switches= 31
runsolver used 0.006998 second user time and 0.014997 second system time
The end