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-3730580-1338735038/watcher-3730580-1338735038 -o /tmp/evaluation-result-3730580-1338735038/solver-3730580-1338735038 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730580-1338735038.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.01 2.01 2.06 3/177 5222
/proc/meminfo: memFree=28093028/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5222/stat : 5222 (java) R 5220 5222 30903 0 -1 4202496 692 0 0 0 0 0 0 0 20 0 1 0 339629220 23793664 418 33554432000 1073741824 1073778376 140736203164272 140736203153336 273896487475 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 5809 428 327 9 0 128 0
[startup+0.072239 s]
/proc/loadavg: 2.01 2.01 2.06 3/177 5222
/proc/meminfo: memFree=28093028/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 3835 0 1 0 5 1 0 0 20 0 18 0 339629220 2712133632 5553 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 662142 5553 1760 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.100322 s]
/proc/loadavg: 2.01 2.01 2.06 3/177 5222
/proc/meminfo: memFree=28093028/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 4689 0 1 0 9 1 0 0 20 0 18 0 339629220 2712133632 6403 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 662142 6403 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300155 s]
/proc/loadavg: 2.01 2.01 2.06 3/177 5222
/proc/meminfo: memFree=28093028/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2648568 CPUtime=0.51 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 6280 0 1 0 49 2 0 0 20 0 18 0 339629220 2712133632 9146 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 662142 9146 2221 9 0 652835 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2648568
[startup+0.700158 s]
/proc/loadavg: 2.01 2.01 2.06 3/177 5222
/proc/meminfo: memFree=28093028/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=1.59 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15427 0 1 0 154 5 0 0 20 0 19 0 339629220 2780295168 24220 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 24220 2253 9 0 669476 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 2715132
[startup+1.50074 s]
/proc/loadavg: 2.01 2.01 2.06 5/215 5296
/proc/meminfo: memFree=27942748/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=2.53 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15503 0 1 0 248 5 0 0 20 0 19 0 339629220 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 28849 2253 9 0 669476 0
[pid=5222/tid=5224] ppid=5220 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/5222/task/5224/stat : 5224 (java) R 5220 5222 30903 0 -1 4202560 2793 0 1 0 144 3 0 0 20 0 19 0 339629221 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812405469672 139812275935152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5225] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 47 1 0 0 20 0 19 0 339629226 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 5987 0 0 0 52 2 0 0 20 0 19 0 339629226 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 28849 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 2715132
[startup+3.10076 s]
/proc/loadavg: 2.09 2.02 2.06 5/215 5353
/proc/meminfo: memFree=27831412/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=4.16 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15534 0 1 0 410 6 0 0 20 0 19 0 339629220 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 42676 2256 9 0 669476 0
[pid=5222/tid=5224] ppid=5220 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/5222/task/5224/stat : 5224 (java) R 5220 5222 30903 0 -1 4202560 2821 0 1 0 303 3 0 0 20 0 19 0 339629221 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812405469816 139812275976303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5225] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 47 1 0 0 20 0 19 0 339629226 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.57 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 5990 0 0 0 55 2 0 0 20 0 19 0 339629226 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 42676 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 2715132
[startup+6.30072 s]
/proc/loadavg: 2.09 2.02 2.06 3/216 5524
/proc/meminfo: memFree=27725252/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=7.46 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15604 0 1 0 738 8 0 0 20 0 19 0 339629220 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 68704 2256 9 0 669476 0
[pid=5222/tid=5224] ppid=5220 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/5222/task/5224/stat : 5224 (java) R 5220 5222 30903 0 -1 4202560 2875 0 1 0 621 5 0 0 20 0 19 0 339629221 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812405467752 139812275975926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5225] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 49 1 0 0 20 0 19 0 339629226 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 6006 0 0 0 63 2 0 0 20 0 19 0 339629226 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 68704 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 49 1 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 6006 0 0 0 63 2 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.71
Current children cumulated vsize (KiB) 2715132
[startup+10.3008 s]
/proc/loadavg: 2.08 2.02 2.06 3/208 5629
/proc/meminfo: memFree=27695272/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=11.51 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15688 0 1 0 1140 11 0 0 20 0 19 0 339629220 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 95859 2269 9 0 669476 0
[pid=5222/tid=5224] ppid=5220 vsize=2715132 CPUtime=10.22 cores=1,3,5,7
/proc/5222/task/5224/stat : 5224 (java) R 5220 5222 30903 0 -1 4202560 2926 0 1 0 1015 7 0 0 20 0 19 0 339629221 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812405468584 139812275975878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5225] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 49 1 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 6006 0 0 0 63 2 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 2715132
[startup+10.7008 s]
/proc/loadavg: 2.08 2.02 2.06 3/208 5629
/proc/meminfo: memFree=27695272/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=11.91 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15688 0 1 0 1180 11 0 0 20 0 19 0 339629220 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 95859 2269 9 0 669476 0
[pid=5222/tid=5224] ppid=5220 vsize=2715132 CPUtime=10.62 cores=1,3,5,7
/proc/5222/task/5224/stat : 5224 (java) R 5220 5222 30903 0 -1 4202560 2926 0 1 0 1055 7 0 0 20 0 19 0 339629221 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812405469608 139812275897344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5225] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 49 1 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 6006 0 0 0 63 2 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 2715132
[startup+10.9008 s]
/proc/loadavg: 2.08 2.02 2.06 3/215 5636
/proc/meminfo: memFree=27319748/32873844 swapFree=7124/7124
[pid=5222] ppid=5220 vsize=2715132 CPUtime=12.12 cores=1,3,5,7
/proc/5222/stat : 5222 (java) S 5220 5222 30903 0 -1 4202496 15688 0 1 0 1201 11 0 0 20 0 19 0 339629220 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 140736203155408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5222/statm: 678783 95859 2269 9 0 669476 0
[pid=5222/tid=5224] ppid=5220 vsize=2715132 CPUtime=10.83 cores=1,3,5,7
/proc/5222/task/5224/stat : 5224 (java) R 5220 5222 30903 0 -1 4202560 2926 0 1 0 1076 7 0 0 20 0 19 0 339629221 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812405469608 139812275903353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5222/tid=5225] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5225/stat : 5225 (java) S 5220 5222 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812272384296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5226] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5226/stat : 5226 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812271331496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5227] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5227/stat : 5227 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812270279208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5228] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5228/stat : 5228 (java) S 5220 5222 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812269226408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5229] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5229/stat : 5229 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812268174120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5230] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5230/stat : 5230 (java) S 5220 5222 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812267121320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5231] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5231/stat : 5231 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812266069032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5232] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5232/stat : 5232 (java) S 5220 5222 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339629222 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139812265016232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5233] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5233/stat : 5233 (java) S 5220 5222 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339629223 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811782363368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5234] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5234/stat : 5234 (java) S 5220 5222 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811781309432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5235] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5235/stat : 5235 (java) S 5220 5222 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339629224 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811780257032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5236] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5236/stat : 5236 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811779205520 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5237] ppid=5220 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/5222/task/5237/stat : 5237 (java) S 5220 5222 30903 0 -1 4202560 5526 0 0 0 49 1 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811778153144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5238] ppid=5220 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/5222/task/5238/stat : 5238 (java) S 5220 5222 30903 0 -1 4202560 6006 0 0 0 63 2 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811777100344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5222/tid=5239] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5239/stat : 5239 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811776048248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5222/tid=5240] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5240/stat : 5240 (java) S 5220 5222 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339629226 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811774995656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5222/tid=5265] ppid=5220 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5222/task/5265/stat : 5265 (java) S 5220 5222 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339629270 2780295168 95859 33554432000 1073741824 1073778376 140736203164272 139811773940648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 2715132
Child status: 20
Real time (s): 10.9656
CPU time (s): 12.1422
CPU user time (s): 11.9812
CPU system time (s): 0.160975
CPU usage (%): 110.73
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9812
system time used= 0.160975
maximum resident set size= 383512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15712
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 570
involuntary context switches= 148
runsolver used 0.042993 second user time and 0.116982 second system time
The end