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-3730138-1338731397/watcher-3730138-1338731397 -o /tmp/evaluation-result-3730138-1338731397/solver-3730138-1338731397 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730138-1338731397.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.02 2.01 2.00 5/194 10514
/proc/meminfo: memFree=26123412/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 1165 0 0 0 0 0 0 0 20 0 2 0 339264139 91893760 886 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 22435 893 676 9 0 16770 0
[pid=10514/tid=10515] ppid=10512 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 339264140 91889664 894 33554432000 1073741824 1073778376 140734223124720 140734223113784 213410475303 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.029583 s]
/proc/loadavg: 2.02 2.01 2.00 5/194 10514
/proc/meminfo: memFree=26123412/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2182588 CPUtime=0.01 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 3583 0 1 0 1 0 0 0 20 0 11 0 339264139 2234970112 4794 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 545647 4794 1645 9 0 536348 0
[pid=10514/tid=10515] ppid=10512 vsize=2182588 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2425 0 1 0 0 0 0 0 20 0 11 0 339264140 2234970112 4794 33554432000 1073741824 1073778376 140734223124720 139726171593480 213423023373 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2182588
[startup+0.100265 s]
/proc/loadavg: 2.02 2.01 2.00 5/194 10514
/proc/meminfo: memFree=26123412/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 4752 0 1 0 10 1 0 0 20 0 18 0 339264139 2712133632 6982 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 662142 6982 2134 9 0 652835 0
[pid=10514/tid=10515] ppid=10512 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2734 0 1 0 7 0 0 0 20 0 18 0 339264140 2712133632 6982 33554432000 1073741824 1073778376 140734223124720 139726171574472 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300225 s]
/proc/loadavg: 2.02 2.01 2.00 5/194 10514
/proc/meminfo: memFree=26123412/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 6184 0 1 0 51 1 0 0 20 0 18 0 339264139 2712133632 9880 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 662142 9880 2221 9 0 652835 0
[pid=10514/tid=10515] ppid=10512 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2746 0 1 0 26 1 0 0 20 0 18 0 339264140 2712133632 9880 33554432000 1073741824 1073778376 140734223124720 139726171574472 139726040745153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.700356 s]
/proc/loadavg: 2.02 2.01 2.00 5/194 10514
/proc/meminfo: memFree=26123412/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2648568 CPUtime=1.13 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 9044 0 1 0 107 6 0 0 20 0 18 0 339264139 2712133632 53060 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 662142 53060 2233 9 0 652835 0
[pid=10514/tid=10515] ppid=10512 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2827 0 1 0 63 4 0 0 20 0 18 0 339264140 2712133632 53060 33554432000 1073741824 1073778376 140734223124720 139726171582432 139726040785980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2648568
[startup+1.5008 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 10532
/proc/meminfo: memFree=25770704/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2648568 CPUtime=2.02 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 9167 0 1 0 191 11 0 0 20 0 18 0 339264139 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 662142 95577 2249 9 0 652835 0
[pid=10514/tid=10515] ppid=10512 vsize=2648568 CPUtime=1.44 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2907 0 1 0 137 7 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726171582672 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10514/tid=10517] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10512 10514 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726038551336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10514/tid=10518] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10512 10514 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726037498536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10519] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10512 10514 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726036446248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10520] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10512 10514 3621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726035393448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10514/tid=10521] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10512 10514 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726034340136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10522] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10512 10514 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339264140 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726033287336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10523] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10512 10514 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339264141 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726032235048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10524] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10512 10514 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339264141 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139726031182248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10525] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) S 10512 10514 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339264142 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725548526312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10526] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) S 10512 10514 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339264142 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725547472376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10527] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10512 10514 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339264142 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725546419976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10528] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339264144 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725545368464 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10529] ppid=10512 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) S 10512 10514 3621 0 -1 4202560 2353 0 0 0 20 0 0 0 20 0 18 0 339264144 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725544315064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10530] ppid=10512 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/10514/task/10530/stat : 10530 (java) S 10512 10514 3621 0 -1 4202560 2680 0 0 0 22 0 0 0 20 0 18 0 339264144 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725543262264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10531] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10531/stat : 10531 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339264144 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725542210168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10532] ppid=10512 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10532/stat : 10532 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339264144 2712133632 95577 33554432000 1073741824 1073778376 140734223124720 139725541157576 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2648568
Solver just ended. Dumping a history of the last processes samples
[startup+1.90711 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 10532
/proc/meminfo: memFree=25770704/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2715132 CPUtime=2.79 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 14494 0 1 0 264 15 0 0 20 0 19 0 339264139 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 678783 104750 2259 9 0 669476 0
[pid=10514/tid=10515] ppid=10512 vsize=2715132 CPUtime=1.81 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2918 0 1 0 174 7 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726171591440 139726040358200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10514/tid=10517] ppid=10512 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10512 10514 3621 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726038551336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10518] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10512 10514 3621 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726037498536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10519] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10512 10514 3621 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726036446248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10520] ppid=10512 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10512 10514 3621 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726035393448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10521] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10512 10514 3621 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726034340136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10522] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10512 10514 3621 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726033287336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10523] ppid=10512 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10512 10514 3621 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 339264141 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726032235048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10524] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10512 10514 3621 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 339264141 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139726031182248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10525] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) S 10512 10514 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339264142 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725548526312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10526] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) S 10512 10514 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339264142 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725547472376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10527] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10512 10514 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339264142 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725546419976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10528] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339264144 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725545368464 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10529] ppid=10512 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) R 10512 10514 3621 0 -1 4202560 5842 0 0 0 31 2 0 0 20 0 19 0 339264144 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725544292408 139726174201191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10530] ppid=10512 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/10514/task/10530/stat : 10530 (java) R 10512 10514 3621 0 -1 4202560 4448 0 0 0 34 1 0 0 20 0 19 0 339264144 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725543262144 139726174197849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10531] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10531/stat : 10531 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339264144 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725542210168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10532] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10532/stat : 10532 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339264144 2780295168 104750 33554432000 1073741824 1073778376 140734223124720 139725541157576 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 2715132
[startup+2.00079 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 10532
/proc/meminfo: memFree=25770704/32873844 swapFree=6608/6608
[pid=10514] ppid=10512 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/10514/stat : 10514 (java) S 10512 10514 3621 0 -1 4202496 16895 0 1 0 291 15 0 0 20 0 19 0 339264139 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 140734223115856 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10514/statm: 678783 105434 2264 9 0 669476 0
[pid=10514/tid=10515] ppid=10512 vsize=2715132 CPUtime=1.9 cores=1,3,5,7
/proc/10514/task/10515/stat : 10515 (java) R 10512 10514 3621 0 -1 4202560 2919 0 1 0 183 7 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726171591000 139726179018864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10514/tid=10517] ppid=10512 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/10514/task/10517/stat : 10517 (java) S 10512 10514 3621 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726038551336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10518] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10518/stat : 10518 (java) S 10512 10514 3621 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726037498536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10519] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10519/stat : 10519 (java) S 10512 10514 3621 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726036446248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10520] ppid=10512 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/10514/task/10520/stat : 10520 (java) S 10512 10514 3621 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726035393448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10521] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10521/stat : 10521 (java) S 10512 10514 3621 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726034340136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10522] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10522/stat : 10522 (java) S 10512 10514 3621 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 339264140 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726033287336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10523] ppid=10512 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/10514/task/10523/stat : 10523 (java) S 10512 10514 3621 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 339264141 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726032235048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10524] ppid=10512 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/10514/task/10524/stat : 10524 (java) S 10512 10514 3621 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 339264141 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139726031182248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10525] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10525/stat : 10525 (java) S 10512 10514 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339264142 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725548526312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10526] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10526/stat : 10526 (java) S 10512 10514 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339264142 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725547472376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10527] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10527/stat : 10527 (java) S 10512 10514 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339264142 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725546419976 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10528] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10528/stat : 10528 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339264144 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725545368464 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10529] ppid=10512 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/10514/task/10529/stat : 10529 (java) R 10512 10514 3621 0 -1 4202560 7140 0 0 0 40 2 0 0 20 0 19 0 339264144 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725544292408 139726175680586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10514/tid=10530] ppid=10512 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/10514/task/10530/stat : 10530 (java) R 10512 10514 3621 0 -1 4202560 5549 0 0 0 43 2 0 0 20 0 19 0 339264144 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725543239512 139726178053264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10514/tid=10531] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10531/stat : 10531 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339264144 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725542210168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10514/tid=10532] ppid=10512 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10514/task/10532/stat : 10532 (java) S 10512 10514 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339264144 2780295168 105434 33554432000 1073741824 1073778376 140734223124720 139725541157576 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 2715132
Child status: 10
Real time (s): 2.06811
CPU time (s): 3.3155
CPU user time (s): 3.08153
CPU system time (s): 0.233964
CPU usage (%): 160.315
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.08153
system time used= 0.233964
maximum resident set size= 424476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18408
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= 375
involuntary context switches= 186
runsolver used 0.009998 second user time and 0.021996 second system time
The end