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-3458227-1307158393/watcher-3458227-1307158393 -o /tmp/evaluation-result-3458227-1307158393/solver-3458227-1307158393 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458227-1307158393.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.14 2.10 2.04 5/568 28164
/proc/meminfo: memFree=21089268/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 8089 0 1 0 0 0 0 0 25 0 2 0 827439717 13850947584 7791 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3381579 7805 917 9 0 3372735 0
[pid=28164/tid=28165] ppid=28162 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) R 28162 28164 24519 0 -1 4202560 7040 0 1 0 0 0 0 0 25 0 2 0 827439718 13850947584 7856 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0815581 s]
/proc/loadavg: 2.14 2.10 2.04 5/568 28164
/proc/meminfo: memFree=21089268/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 14457 0 1 0 5 1 0 0 25 0 18 0 827439717 13880410112 14154 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3388772 14155 1755 9 0 3379506 0
[pid=28164/tid=28165] ppid=28162 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) R 28162 28164 24519 0 -1 4202560 13285 0 1 0 5 1 0 0 25 0 18 0 827439718 13880410112 14155 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 47305181621075 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.100565 s]
/proc/loadavg: 2.14 2.10 2.04 5/568 28164
/proc/meminfo: memFree=21089268/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13621652 CPUtime=0.1 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 15517 0 1 0 8 2 0 0 25 0 18 0 827439717 13948571648 15178 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3405413 15178 2092 9 0 3396147 0
[pid=28164/tid=28165] ppid=28162 vsize=13621652 CPUtime=0.08 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) R 28162 28164 24519 0 -1 4202560 13576 0 1 0 7 1 0 0 18 0 18 0 827439718 13948571648 15179 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 47305181621075 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621652
[startup+0.300519 s]
/proc/loadavg: 2.14 2.10 2.04 5/568 28164
/proc/meminfo: memFree=21089268/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13624836 CPUtime=0.52 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 18312 0 1 0 50 2 0 0 25 0 19 0 827439717 13951832064 17232 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3406209 17232 2203 9 0 3396943 0
[pid=28164/tid=28165] ppid=28162 vsize=13624836 CPUtime=0.28 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) R 28162 28164 24519 0 -1 4202560 14271 0 1 0 27 1 0 0 19 0 19 0 827439718 13951832064 17232 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 46912505565396 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624836
[startup+0.700446 s]
/proc/loadavg: 2.14 2.10 2.04 5/568 28164
/proc/meminfo: memFree=21089268/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13624836 CPUtime=1.01 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 19711 0 1 0 99 2 0 0 25 0 19 0 827439717 13951832064 18521 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3406209 18521 2242 9 0 3396943 0
[pid=28164/tid=28165] ppid=28162 vsize=13624836 CPUtime=0.66 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) S 28162 28164 24519 0 -1 4202560 14582 0 1 0 64 2 0 0 19 0 19 0 827439718 13951832064 18521 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13624836
[startup+1.5013 s]
/proc/loadavg: 2.14 2.10 2.04 3/587 28183
/proc/meminfo: memFree=21021736/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13624836 CPUtime=1.84 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 20067 0 1 0 182 2 0 0 25 0 19 0 827439717 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3406209 18874 2247 9 0 3396943 0
[pid=28164/tid=28165] ppid=28162 vsize=13624836 CPUtime=1.42 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) R 28162 28164 24519 0 -1 4202560 14590 0 1 0 140 2 0 0 20 0 19 0 827439718 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 46912505530368 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28164/tid=28167] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28167/stat : 28167 (java) S 28162 28164 24519 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28168] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28168/stat : 28168 (java) S 28162 28164 24519 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28169] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28169/stat : 28169 (java) S 28162 28164 24519 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28170] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28170/stat : 28170 (java) S 28162 28164 24519 0 -1 4202560 129 0 0 0 0 0 0 0 16 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28171] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28171/stat : 28171 (java) S 28162 28164 24519 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28172] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28172/stat : 28172 (java) S 28162 28164 24519 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28173] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28173/stat : 28173 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28174] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28174/stat : 28174 (java) S 28162 28164 24519 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28175] ppid=28162 vsize=13624836 CPUtime=0.05 cores=1,3,5,7
/proc/28164/task/28175/stat : 28175 (java) S 28162 28164 24519 0 -1 4202560 655 0 0 0 5 0 0 0 16 0 19 0 827439721 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652676096 0 0 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28176] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28176/stat : 28176 (java) S 28162 28164 24519 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 827439721 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28177] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28177/stat : 28177 (java) S 28162 28164 24519 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827439721 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28178] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28178/stat : 28178 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827439723 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652683185 0 4 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28179] ppid=28162 vsize=13624836 CPUtime=0.16 cores=1,3,5,7
/proc/28164/task/28179/stat : 28179 (java) S 28162 28164 24519 0 -1 4202560 1222 0 0 0 16 0 0 0 15 0 19 0 827439723 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28180] ppid=28162 vsize=13624836 CPUtime=0.18 cores=1,3,5,7
/proc/28164/task/28180/stat : 28180 (java) S 28162 28164 24519 0 -1 4202560 1811 0 0 0 18 0 0 0 15 0 19 0 827439723 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28181] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28181/stat : 28181 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827439723 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28182] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28182/stat : 28182 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827439723 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652676096 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28183] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28183/stat : 28183 (java) S 28162 28164 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827439734 13951832064 18874 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652676096 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13624836
Solver just ended. Dumping a history of the last processes samples
[startup+1.90123 s]
/proc/loadavg: 2.14 2.10 2.04 3/587 28183
/proc/meminfo: memFree=21021736/32951124 swapFree=53733252/67111528
[pid=28164] ppid=28162 vsize=13624836 CPUtime=2.59 cores=1,3,5,7
/proc/28164/stat : 28164 (java) S 28162 28164 24519 0 -1 4202496 28525 0 1 0 255 4 0 0 25 0 19 0 827439717 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28164/statm: 3406209 22749 2248 9 0 3396943 0
[pid=28164/tid=28165] ppid=28162 vsize=13624836 CPUtime=1.79 cores=1,3,5,7
/proc/28164/task/28165/stat : 28165 (java) R 28162 28164 24519 0 -1 4202560 14593 0 1 0 177 2 0 0 18 0 19 0 827439718 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 46912505541119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28164/tid=28167] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28167/stat : 28167 (java) S 28162 28164 24519 0 -1 4202560 150 0 0 0 0 0 0 0 16 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28168] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28168/stat : 28168 (java) S 28162 28164 24519 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28169] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28169/stat : 28169 (java) S 28162 28164 24519 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 5 0 0 0
[pid=28164/tid=28170] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28170/stat : 28170 (java) S 28162 28164 24519 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28171] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28171/stat : 28171 (java) S 28162 28164 24519 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28172] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28172/stat : 28172 (java) S 28162 28164 24519 0 -1 4202560 139 0 0 0 0 0 0 0 16 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28173] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28173/stat : 28173 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28174] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28174/stat : 28174 (java) S 28162 28164 24519 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827439720 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28175] ppid=28162 vsize=13624836 CPUtime=0.08 cores=1,3,5,7
/proc/28164/task/28175/stat : 28175 (java) S 28162 28164 24519 0 -1 4202560 806 0 0 0 8 0 0 0 16 0 19 0 827439721 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652676096 0 0 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28176] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28176/stat : 28176 (java) S 28162 28164 24519 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 827439721 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28177] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28177/stat : 28177 (java) S 28162 28164 24519 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827439721 13951832064 22749 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28178] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28178/stat : 28178 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827439723 13951832064 22752 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652683185 0 4 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28179] ppid=28162 vsize=13624836 CPUtime=0.47 cores=1,3,5,7
/proc/28164/task/28179/stat : 28179 (java) R 28162 28164 24519 0 -1 4202560 9523 0 0 0 46 1 0 0 15 0 19 0 827439723 13951832064 22752 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253640556736 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28164/tid=28180] ppid=28162 vsize=13624836 CPUtime=0.2 cores=1,3,5,7
/proc/28164/task/28180/stat : 28180 (java) S 28162 28164 24519 0 -1 4202560 1811 0 0 0 20 0 0 0 16 0 19 0 827439723 13951832064 22752 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
[pid=28164/tid=28181] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28181/stat : 28181 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827439723 13951832064 22752 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652675481 0 4 0 16800975 18446604470860330112 0 0 -1 1 0 0 0
[pid=28164/tid=28182] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28182/stat : 28182 (java) S 28162 28164 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827439723 13951832064 22752 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652676096 0 4 0 16800975 18446604470860330112 0 0 -1 7 0 0 0
[pid=28164/tid=28183] ppid=28162 vsize=13624836 CPUtime=0 cores=1,3,5,7
/proc/28164/task/28183/stat : 28183 (java) S 28162 28164 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827439734 13951832064 22752 33554432000 1073741824 1073778376 140733685134080 18446744073709551615 253652676096 0 4 0 16800975 18446604470860330112 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 13624836
Child status: 30
Real time (s): 1.96717
CPU time (s): 2.70259
CPU user time (s): 2.6516
CPU system time (s): 0.050992
CPU usage (%): 137.384
Max. virtual memory (cumulated for all children) (KiB): 13624836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6516
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31021
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= 420
involuntary context switches= 98
runsolver used 0.017997 second user time and 0.024996 second system time
The end