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-3687209-1337871884/watcher-3687209-1337871884 -o /tmp/evaluation-result-3687209-1337871884/solver-3687209-1337871884 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687209-1337871884.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: 0.08 0.02 0.01 2/171 23096
/proc/meminfo: memFree=27788776/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23096/stat : 23096 (runsolver) D 23094 23096 23066 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 253313537 12095488 55 33554432000 4194304 5436572 140734846937856 140734846933736 5057063 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/23096/statm: 2953 55 36 304 0 2645 0
[startup+0.024988 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 23096
/proc/meminfo: memFree=27788776/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/23096/stat : 23096 (java) D 23094 23096 23066 0 -1 4202496 79 0 1 0 0 0 0 0 20 0 1 0 253313537 278528 33 33554432000 1073741824 1073778376 140735946086528 140735946083704 227132140839 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/23096/statm: 68 33 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.100257 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 23096
/proc/meminfo: memFree=27788776/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=20596 CPUtime=0 cores=0,2,4,6
/proc/23096/stat : 23096 (java) D 23094 23096 23066 0 -1 4202496 456 0 4 0 0 0 0 0 20 0 1 0 253313537 21090304 189 33554432000 1073741824 1073778376 140734462630752 140734462618712 227132140839 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 2 0 0
/proc/23096/statm: 5149 189 145 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596
[startup+0.300226 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 23096
/proc/meminfo: memFree=27788776/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=97336 CPUtime=0.01 cores=0,2,4,6
/proc/23096/stat : 23096 (java) S 23094 23096 23066 0 -1 4202496 1295 0 26 0 0 1 0 0 20 0 2 0 253313537 99672064 1021 33554432000 1073741824 1073778376 140734462630752 140734462621888 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/23096/statm: 24334 1021 781 9 0 16774 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 97336
[startup+0.700224 s]
/proc/loadavg: 0.08 0.02 0.01 2/171 23096
/proc/meminfo: memFree=27788776/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/23096/stat : 23096 (java) S 23094 23096 23066 0 -1 4202496 5739 0 32 0 25 3 0 0 20 0 19 0 253313537 9855975424 6981 33554432000 1073741824 1073778376 140734462630752 140734462621888 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/23096/statm: 2406244 7003 2208 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9624976
[startup+1.50066 s]
/proc/loadavg: 0.08 0.02 0.01 3/213 23147
/proc/meminfo: memFree=27712220/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/23096/stat : 23096 (java) S 23094 23096 23066 0 -1 4202496 7226 0 32 0 138 3 0 0 20 0 19 0 253313537 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140734462621888 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/23096/statm: 2406244 10248 2269 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 23066 0 -1 4202560 2446 0 7 0 92 2 0 0 20 0 19 0 253313564 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329240908184 140329081084134 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329202400296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329201347496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329200294696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329199241896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 23066 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329080580648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329079527848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329078475048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23096/tid=23115] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23115/stat : 23115 (java) S 23094 23096 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329077422248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23122] ppid=23094 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23096/task/23122/stat : 23122 (java) S 23094 23096 23066 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 253313576 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140329065012200 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23131] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23131/stat : 23131 (java) S 23094 23096 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313577 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328459822840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23132] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23132/stat : 23132 (java) S 23094 23096 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313577 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328458769928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23136] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23136/stat : 23136 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313583 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328457718416 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23137] ppid=23094 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/23096/task/23137/stat : 23137 (java) S 23094 23096 23066 0 -1 4202560 2079 0 1 0 20 0 0 0 20 0 19 0 253313583 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328456665528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23138] ppid=23094 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/23096/task/23138/stat : 23138 (java) S 23094 23096 23066 0 -1 4202560 1474 0 1 0 18 0 0 0 20 0 19 0 253313583 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328455612728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23139] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23139/stat : 23139 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313583 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328454560120 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23140] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23140/stat : 23140 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313584 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328453507528 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23146] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23146/stat : 23146 (java) S 23094 23096 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313604 9855975424 10248 33554432000 1073741824 1073778376 140734462630752 140328452454056 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.90075 s]
/proc/loadavg: 0.08 0.02 0.01 3/213 23147
/proc/meminfo: memFree=27712220/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23096/stat : 23096 (java) S 23094 23096 23066 0 -1 4202496 12580 0 32 0 198 5 0 0 20 0 19 0 253313537 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140734462621888 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/23096/statm: 2406244 14059 2270 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=1.33 cores=0,2,4,6
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 23066 0 -1 4202560 2447 0 7 0 131 2 0 0 20 0 19 0 253313564 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329240908184 140329081011480 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329202400296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329201347496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329200294696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 23066 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329199241896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 23066 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329080580648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329079527848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329078475048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23096/tid=23115] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23115/stat : 23115 (java) S 23094 23096 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329077422248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23122] ppid=23094 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23096/task/23122/stat : 23122 (java) S 23094 23096 23066 0 -1 4202560 52 0 0 0 3 0 0 0 20 0 19 0 253313576 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140329065012200 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23131] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23131/stat : 23131 (java) S 23094 23096 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313577 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328459822840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23132] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23132/stat : 23132 (java) S 23094 23096 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313577 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328458769928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23136] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23136/stat : 23136 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313583 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328457718416 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23137] ppid=23094 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/23096/task/23137/stat : 23137 (java) S 23094 23096 23066 0 -1 4202560 2079 0 1 0 21 0 0 0 20 0 19 0 253313583 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328456665528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23138] ppid=23094 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23096/task/23138/stat : 23138 (java) S 23094 23096 23066 0 -1 4202560 6802 0 1 0 37 1 0 0 20 0 19 0 253313583 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328455612728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23139] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23139/stat : 23139 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313583 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328454560120 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23140] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23140/stat : 23140 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313584 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328453507528 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23146] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23146/stat : 23146 (java) S 23094 23096 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313604 9855975424 14059 33554432000 1073741824 1073778376 140734462630752 140328452454056 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9624976
[startup+2.10074 s]
/proc/loadavg: 0.23 0.05 0.02 4/213 23147
/proc/meminfo: memFree=27665828/32873844 swapFree=7108/7108
[pid=23096] ppid=23094 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/23096/stat : 23096 (java) S 23094 23096 23066 0 -1 4202496 15370 0 32 0 238 5 0 0 20 0 19 0 253313537 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140734462621888 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/23096/statm: 2406244 15135 2270 9 0 2396937 0
[pid=23096/tid=23098] ppid=23094 vsize=9624976 CPUtime=1.52 cores=0,2,4,6
/proc/23096/task/23098/stat : 23098 (java) R 23094 23096 23066 0 -1 4202560 2448 0 7 0 150 2 0 0 20 0 19 0 253313564 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329240908184 140329081011730 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0
[pid=23096/tid=23108] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23108/stat : 23108 (java) S 23094 23096 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329202400296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23109] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23109/stat : 23109 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329201347496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23110] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23110/stat : 23110 (java) S 23094 23096 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329200294696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23096/tid=23111] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23111/stat : 23111 (java) S 23094 23096 23066 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329199241896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23112] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23112/stat : 23112 (java) S 23094 23096 23066 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329080580648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23113] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23113/stat : 23113 (java) S 23094 23096 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329079527848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23114] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23114/stat : 23114 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329078475048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23096/tid=23115] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23115/stat : 23115 (java) S 23094 23096 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253313571 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329077422248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23122] ppid=23094 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23096/task/23122/stat : 23122 (java) S 23094 23096 23066 0 -1 4202560 53 0 0 0 4 0 0 0 20 0 19 0 253313576 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140329065012200 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23131] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23131/stat : 23131 (java) S 23094 23096 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313577 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328459822840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23132] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23132/stat : 23132 (java) S 23094 23096 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313577 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328458769928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23136] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23136/stat : 23136 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313583 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328457718416 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23096/tid=23137] ppid=23094 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/23096/task/23137/stat : 23137 (java) S 23094 23096 23066 0 -1 4202560 2082 0 1 0 23 0 0 0 20 0 19 0 253313583 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328456665528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23138] ppid=23094 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23096/task/23138/stat : 23138 (java) R 23094 23096 23066 0 -1 4202560 9581 0 1 0 53 2 0 0 20 0 19 0 253313583 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328455590088 140329245002866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23139] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23139/stat : 23139 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313583 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328454560120 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23096/tid=23140] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23140/stat : 23140 (java) S 23094 23096 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313584 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328453507528 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23096/tid=23146] ppid=23094 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23096/task/23146/stat : 23146 (java) S 23094 23096 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313604 9855975424 15135 33554432000 1073741824 1073778376 140734462630752 140328452454056 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 2.18569
CPU time (s): 2.52062
CPU user time (s): 2.43063
CPU system time (s): 0.089986
CPU usage (%): 115.324
Max. virtual memory (cumulated for all children) (KiB): 9626400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.43063
system time used= 0.089986
maximum resident set size= 61728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15418
page faults= 32
swaps= 0
block input operations= 27568
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 785
involuntary context switches= 99
runsolver used 0.000999 second user time and 0.024996 second system time
The end