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-3737247-1338762828/watcher-3737247-1338762828 -o /tmp/evaluation-result-3737247-1338762828/solver-3737247-1338762828 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3737247-1338762828.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: 2.02 2.01 2.00 3/194 29355
/proc/meminfo: memFree=25597308/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29355/stat : 29355 (java6) D 29353 29355 26477 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342408230 9515008 182 33554432000 1073741824 1073778376 140737165172864 140737165163896 270707539637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29355/statm: 2323 182 140 9 0 71 0
[startup+0.00769695 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 29355
/proc/meminfo: memFree=25597308/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29355/stat : 29355 (java) D 29353 29355 26477 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 342408230 9515008 185 33554432000 1073741824 1073778376 140737192245328 140737192234392 270698376487 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 2323 185 143 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292
[startup+0.100213 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 29355
/proc/meminfo: memFree=25597308/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 4689 0 1 0 8 1 0 0 20 0 18 0 342408230 2712133632 6407 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 662142 6407 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300225 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 29355
/proc/meminfo: memFree=25597308/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2648568 CPUtime=0.43 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 5630 0 1 0 41 2 0 0 20 0 18 0 342408230 2712133632 8121 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 662142 8121 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2648568
[startup+0.700272 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 29355
/proc/meminfo: memFree=25597308/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=1.22 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 9682 0 1 0 119 3 0 0 20 0 19 0 342408230 2780295168 16891 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 16891 2241 9 0 669476 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2715132
[startup+1.50069 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 29374
/proc/meminfo: memFree=25511252/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=2.11 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 9752 0 1 0 207 4 0 0 20 0 19 0 342408230 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 33823 2247 9 0 669476 0
[pid=29355/tid=29357] ppid=29353 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/29355/task/29357/stat : 29357 (java) R 29353 29355 26477 0 -1 4202560 2806 0 1 0 144 2 0 0 20 0 19 0 342408231 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992817205736 139992664451253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29358] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29358/stat : 29358 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992801655464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29359] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29359/stat : 29359 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992800602920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29360] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29360/stat : 29360 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992799550376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29361] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29361/stat : 29361 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992798497832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29362] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29362/stat : 29362 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992797444264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2869 0 0 0 27 0 0 0 20 0 19 0 342408237 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 2882 0 0 0 33 0 0 0 20 0 19 0 342408237 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 33823 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 2715132
[startup+3.1007 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 29374
/proc/meminfo: memFree=25420396/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=3.72 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 9814 0 1 0 366 6 0 0 20 0 19 0 342408230 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 65055 2247 9 0 669476 0
[pid=29355/tid=29357] ppid=29353 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/29355/task/29357/stat : 29357 (java) R 29353 29355 26477 0 -1 4202560 2868 0 1 0 301 5 0 0 20 0 19 0 342408231 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992817203712 139992664432239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29358] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29358/stat : 29358 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992801655464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29359] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29359/stat : 29359 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992800602920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29360] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29360/stat : 29360 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992799550376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29361] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29361/stat : 29361 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992798497832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29362] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29362/stat : 29362 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992797444264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2869 0 0 0 27 0 0 0 20 0 19 0 342408237 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 2882 0 0 0 34 0 0 0 20 0 19 0 342408237 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 65055 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 2715132
[startup+6.30071 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 29374
/proc/meminfo: memFree=25193192/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=7.04 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 9975 0 1 0 691 13 0 0 20 0 19 0 342408230 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 102722 2261 9 0 669476 0
[pid=29355/tid=29357] ppid=29353 vsize=2715132 CPUtime=6.23 cores=0,2,4,6
/proc/29355/task/29357/stat : 29357 (java) R 29353 29355 26477 0 -1 4202560 2925 0 1 0 616 7 0 0 20 0 19 0 342408231 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992817204744 139992664450506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29358] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29358/stat : 29358 (java) S 29353 29355 26477 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992801655464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29359] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29359/stat : 29359 (java) S 29353 29355 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992800602920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29360] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29360/stat : 29360 (java) S 29353 29355 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992799550376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29361] ppid=29353 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/29355/task/29361/stat : 29361 (java) S 29353 29355 26477 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992798497832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29362] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29362/stat : 29362 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992797444264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342408233 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2869 0 0 0 28 0 0 0 20 0 19 0 342408237 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 2882 0 0 0 36 0 0 0 20 0 19 0 342408237 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 102722 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
################
# More data... #
################
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0.88 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 436 0 0 0 77 11 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0.95 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 388 0 0 0 85 10 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0.83 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 356 0 0 0 73 10 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 89 0 0 0 48 0 0 0 20 0 19 0 342408234 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2876 0 0 0 31 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.45 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 3102 0 0 0 45 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 100 0 0 0 27 25 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1728.37
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/213 29469
/proc/meminfo: memFree=23594368/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=1788.38 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 13467 0 1 0 178716 122 0 0 20 0 19 0 342408230 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 331963 2274 9 0 669476 0
[pid=29355/tid=29357] ppid=29353 vsize=2715132 CPUtime=1779.84 cores=0,2,4,6
/proc/29355/task/29357/stat : 29357 (java) R 29353 29355 26477 0 -1 4202560 2965 0 1 0 177947 37 0 0 20 0 19 0 342408231 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992817205784 139992664119184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29358] ppid=29353 vsize=2715132 CPUtime=0.96 cores=0,2,4,6
/proc/29355/task/29358/stat : 29358 (java) S 29353 29355 26477 0 -1 4202560 388 0 0 0 83 13 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992801655464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29359] ppid=29353 vsize=2715132 CPUtime=0.9 cores=0,2,4,6
/proc/29355/task/29359/stat : 29359 (java) S 29353 29355 26477 0 -1 4202560 396 0 0 0 79 11 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992800602920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29360] ppid=29353 vsize=2715132 CPUtime=0.81 cores=0,2,4,6
/proc/29355/task/29360/stat : 29360 (java) S 29353 29355 26477 0 -1 4202560 407 0 0 0 70 11 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992799550376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29361] ppid=29353 vsize=2715132 CPUtime=0.81 cores=0,2,4,6
/proc/29355/task/29361/stat : 29361 (java) S 29353 29355 26477 0 -1 4202560 433 0 0 0 72 9 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992798497832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29362] ppid=29353 vsize=2715132 CPUtime=0.86 cores=0,2,4,6
/proc/29355/task/29362/stat : 29362 (java) S 29353 29355 26477 0 -1 4202560 346 0 0 0 75 11 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992797444264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0.88 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 436 0 0 0 77 11 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0.95 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 388 0 0 0 85 10 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0.83 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 356 0 0 0 73 10 0 0 20 0 19 0 342408233 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 89 0 0 0 48 0 0 0 20 0 19 0 342408234 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2876 0 0 0 31 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.45 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 3102 0 0 0 45 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 104 0 0 0 27 26 0 0 20 0 19 0 342408237 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 331963 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.9 s]
/proc/loadavg: 2.09 2.06 2.01 3/213 29470
/proc/meminfo: memFree=23588104/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=1800.1 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 13550 0 1 0 179888 122 0 0 20 0 19 0 342408230 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 333568 2274 9 0 669476 0
[pid=29355/tid=29357] ppid=29353 vsize=2715132 CPUtime=1790.93 cores=0,2,4,6
/proc/29355/task/29357/stat : 29357 (java) R 29353 29355 26477 0 -1 4202560 2966 0 1 0 179056 37 0 0 20 0 19 0 342408231 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992817205640 139992664449562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29358] ppid=29353 vsize=2715132 CPUtime=1 cores=0,2,4,6
/proc/29355/task/29358/stat : 29358 (java) S 29353 29355 26477 0 -1 4202560 391 0 0 0 87 13 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992801655464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29359] ppid=29353 vsize=2715132 CPUtime=0.92 cores=0,2,4,6
/proc/29355/task/29359/stat : 29359 (java) S 29353 29355 26477 0 -1 4202560 398 0 0 0 81 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992800602920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29360] ppid=29353 vsize=2715132 CPUtime=0.82 cores=0,2,4,6
/proc/29355/task/29360/stat : 29360 (java) S 29353 29355 26477 0 -1 4202560 409 0 0 0 71 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992799550376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29361] ppid=29353 vsize=2715132 CPUtime=0.83 cores=0,2,4,6
/proc/29355/task/29361/stat : 29361 (java) S 29353 29355 26477 0 -1 4202560 434 0 0 0 74 9 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992798497832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29362] ppid=29353 vsize=2715132 CPUtime=0.87 cores=0,2,4,6
/proc/29355/task/29362/stat : 29362 (java) S 29353 29355 26477 0 -1 4202560 387 0 0 0 76 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992797444264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0.89 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 438 0 0 0 78 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0.96 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 389 0 0 0 86 10 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0.85 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 384 0 0 0 75 10 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0.96 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 91 0 0 0 95 1 0 0 20 0 19 0 342408234 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2876 0 0 0 31 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.45 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 3102 0 0 0 45 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 104 0 0 0 27 26 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.9 s]
/proc/loadavg: 2.09 2.06 2.01 3/213 29470
/proc/meminfo: memFree=23588104/32873648 swapFree=6864/6864
[pid=29355] ppid=29353 vsize=2715132 CPUtime=1800.1 cores=0,2,4,6
/proc/29355/stat : 29355 (java) S 29353 29355 26477 0 -1 4202496 13550 0 1 0 179888 122 0 0 20 0 19 0 342408230 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 140737192236464 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29355/statm: 678783 333568 2274 9 0 669476 0
[pid=29355/tid=29357] ppid=29353 vsize=2715132 CPUtime=1790.93 cores=0,2,4,6
/proc/29355/task/29357/stat : 29357 (java) R 29353 29355 26477 0 -1 4202560 2966 0 1 0 179056 37 0 0 20 0 19 0 342408231 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992817205640 139992664449562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29355/tid=29358] ppid=29353 vsize=2715132 CPUtime=1 cores=0,2,4,6
/proc/29355/task/29358/stat : 29358 (java) S 29353 29355 26477 0 -1 4202560 391 0 0 0 87 13 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992801655464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29359] ppid=29353 vsize=2715132 CPUtime=0.92 cores=0,2,4,6
/proc/29355/task/29359/stat : 29359 (java) S 29353 29355 26477 0 -1 4202560 398 0 0 0 81 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992800602920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29360] ppid=29353 vsize=2715132 CPUtime=0.82 cores=0,2,4,6
/proc/29355/task/29360/stat : 29360 (java) S 29353 29355 26477 0 -1 4202560 409 0 0 0 71 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992799550376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29361] ppid=29353 vsize=2715132 CPUtime=0.83 cores=0,2,4,6
/proc/29355/task/29361/stat : 29361 (java) S 29353 29355 26477 0 -1 4202560 434 0 0 0 74 9 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992798497832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29362] ppid=29353 vsize=2715132 CPUtime=0.87 cores=0,2,4,6
/proc/29355/task/29362/stat : 29362 (java) S 29353 29355 26477 0 -1 4202560 387 0 0 0 76 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992797444264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29363] ppid=29353 vsize=2715132 CPUtime=0.89 cores=0,2,4,6
/proc/29355/task/29363/stat : 29363 (java) S 29353 29355 26477 0 -1 4202560 438 0 0 0 78 11 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992796391720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29364] ppid=29353 vsize=2715132 CPUtime=0.96 cores=0,2,4,6
/proc/29355/task/29364/stat : 29364 (java) S 29353 29355 26477 0 -1 4202560 389 0 0 0 86 10 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992795339176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29365] ppid=29353 vsize=2715132 CPUtime=0.85 cores=0,2,4,6
/proc/29355/task/29365/stat : 29365 (java) S 29353 29355 26477 0 -1 4202560 384 0 0 0 75 10 0 0 20 0 19 0 342408233 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992794286632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29355/tid=29366] ppid=29353 vsize=2715132 CPUtime=0.96 cores=0,2,4,6
/proc/29355/task/29366/stat : 29366 (java) S 29353 29355 26477 0 -1 4202560 91 0 0 0 95 1 0 0 20 0 19 0 342408234 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992663845480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29367] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29367/stat : 29367 (java) S 29353 29355 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992662791800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29368] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29368/stat : 29368 (java) S 29353 29355 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342408234 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992661739144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29369] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29369/stat : 29369 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992660687888 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29370] ppid=29353 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/29355/task/29370/stat : 29370 (java) S 29353 29355 26477 0 -1 4202560 2876 0 0 0 31 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992659634232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29371] ppid=29353 vsize=2715132 CPUtime=0.45 cores=0,2,4,6
/proc/29355/task/29371/stat : 29371 (java) S 29353 29355 26477 0 -1 4202560 3102 0 0 0 45 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992658581688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29372] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29372/stat : 29372 (java) S 29353 29355 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992657529336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29355/tid=29373] ppid=29353 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/29355/task/29373/stat : 29373 (java) S 29353 29355 26477 0 -1 4202560 104 0 0 0 27 26 0 0 20 0 19 0 342408237 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992656477000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29355/tid=29374] ppid=29353 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29374/stat : 29374 (java) S 29353 29355 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342408265 2780295168 333568 33554432000 1073741824 1073778376 140737192245328 139992655422760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1793.97
CPU time (s): 1800.71
CPU user time (s): 1799.07
CPU system time (s): 1.64275
CPU usage (%): 100.376
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.64275
maximum resident set size= 1334404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13586
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39167
involuntary context switches= 18716
runsolver used 6.28104 second user time and 14.3318 second system time
The end