0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/195780-1168069878/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.091 cpuTime=0.07 mem=6M951
0.42
0.42 relations being loaded...
1.02
1.02 constraints being loaded...
1.27 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.27 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
1.27 => wckTime=0.948 cpuTime=0.82 mem=48M628
1.39
1.39 solver IterativeSystematicSolver being built...
1.54 => wckTime=1.221 cpuTime=0.94 mem=34M664
1.55
1.55 preprocessing
1.55 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.55 detectedInconsistency=no
1.55 => wckTime=0.0040 cpuTime=0.01 mem=34M664
1.67
1.67 search
1.67 run=0 nbConstraintChecks=34205 nbValidityChecks=64195 nbPropagations=425 nbRevisions=4694
1.67 nbUselessRevisions=3753 nbAssignments=40 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=70
1.67 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.12 cpuTime=0.1 mem=34M664
1.73
1.73 search
1.73 run=1 nbConstraintChecks=67712 nbValidityChecks=135844 nbPropagations=1364 nbRevisions=15062
1.73 nbUselessRevisions=12037 nbAssignments=85 nbFailedAssignments=45 nbBacktracks=25 nbVisitedNodes=148
1.73 nbRestartNogoods=6 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.185 cpuTime=0.16 mem=34M664
1.86
1.86 search
1.86 run=2 nbConstraintChecks=147217 nbValidityChecks=291034 nbPropagations=3279 nbRevisions=36434
1.86 nbUselessRevisions=28862 nbAssignments=165 nbFailedAssignments=97 nbBacktracks=47 nbVisitedNodes=298
1.86 nbRestartNogoods=12 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.316 cpuTime=0.27 mem=34M664
1.98
1.98 search
1.98 run=3 nbConstraintChecks=225666 nbValidityChecks=456413 nbPropagations=6268 nbRevisions=69914
1.98 nbUselessRevisions=55367 nbAssignments=250 nbFailedAssignments=143 nbBacktracks=80 nbVisitedNodes=451
1.98 nbRestartNogoods=17 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.431 cpuTime=0.39 mem=34M664
2.19
2.19 search
2.19 run=4 nbConstraintChecks=374558 nbValidityChecks=759779 nbPropagations=11104 nbRevisions=126549
2.19 nbUselessRevisions=100404 nbAssignments=395 nbFailedAssignments=232 nbBacktracks=131 nbVisitedNodes=723
2.19 nbRestartNogoods=20 mapSize=125 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=0.639 cpuTime=0.59 mem=34M664
2.44
2.44 search
2.44 run=5 nbConstraintChecks=546716 nbValidityChecks=1113446 nbPropagations=18230 nbRevisions=210529
2.44 nbUselessRevisions=166927 nbAssignments=602 nbFailedAssignments=358 nbBacktracks=206 nbVisitedNodes=1106
2.44 nbRestartNogoods=25 mapSize=194 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=0.889 cpuTime=0.83 mem=34M664
2.80
2.80 search
2.80 run=6 nbConstraintChecks=805913 nbValidityChecks=1642231 nbPropagations=29162 nbRevisions=338954
2.80 nbUselessRevisions=268319 nbAssignments=946 nbFailedAssignments=582 nbBacktracks=321 nbVisitedNodes=1753
2.80 nbRestartNogoods=29 mapSize=297 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.254 cpuTime=1.19 mem=34M664
3.37
3.37 search
3.37 run=7 nbConstraintChecks=1206869 nbValidityChecks=2493382 nbPropagations=45765 nbRevisions=532247
3.37 nbUselessRevisions=420915 nbAssignments=1416 nbFailedAssignments=875 nbBacktracks=491 nbVisitedNodes=2643
3.37 nbRestartNogoods=34 mapSize=459 nbInferences=0 nbTooLargeKeys=0
3.37 => wckTime=1.819 cpuTime=1.76 mem=34M664
4.38
4.38 search
4.38 run=8 nbConstraintChecks=1914470 nbValidityChecks=3981507 nbPropagations=70460 nbRevisions=828048
4.38 nbUselessRevisions=654573 nbAssignments=2202 nbFailedAssignments=1400 nbBacktracks=747 nbVisitedNodes=4130
4.38 nbRestartNogoods=44 mapSize=696 nbInferences=0 nbTooLargeKeys=0
4.38 => wckTime=2.835 cpuTime=2.75 mem=34M664
5.41
5.41 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=34M664)
5.51
5.51 search
5.51 run=9 nbConstraintChecks=2760108 nbValidityChecks=5712386 nbPropagations=106871 nbRevisions=1257712
5.51 nbUselessRevisions=993179 nbAssignments=3187 nbFailedAssignments=1992 nbBacktracks=1132 nbVisitedNodes=5954
5.51 nbRestartNogoods=56
5.51 => wckTime=3.967 cpuTime=3.87 mem=34M664
7.59
7.59 search
7.59 run=10 nbConstraintChecks=4331462 nbValidityChecks=8898699 nbPropagations=164000 nbRevisions=1926055
7.59 nbUselessRevisions=1517756 nbAssignments=4987 nbFailedAssignments=3211 nbBacktracks=1708 nbVisitedNodes=9366
7.59 nbRestartNogoods=61
7.59 => wckTime=6.046 cpuTime=5.91 mem=34M664
10.13
10.13 search
10.13 run=11 nbConstraintChecks=6224989 nbValidityChecks=12883313 nbPropagations=248131 nbRevisions=2909384
10.13 nbUselessRevisions=2291805 nbAssignments=7335 nbFailedAssignments=4689 nbBacktracks=2572 nbVisitedNodes=13794
10.13 nbRestartNogoods=66
10.13 => wckTime=8.579 cpuTime=8.43 mem=34M664
14.53
14.53 search
14.53 run=12 nbConstraintChecks=9526742 nbValidityChecks=19616887 nbPropagations=376419 nbRevisions=4403126
14.53 nbUselessRevisions=3464695 nbAssignments=11100 nbFailedAssignments=7150 nbBacktracks=3869 nbVisitedNodes=20916
14.53 nbRestartNogoods=75
14.53 => wckTime=12.984 cpuTime=12.82 mem=34M664
21.58
21.58 search
21.58 run=13 nbConstraintChecks=14718188 nbValidityChecks=30317875 nbPropagations=568046 nbRevisions=6658007
21.58 nbUselessRevisions=5238231 nbAssignments=16320 nbFailedAssignments=10419 nbBacktracks=5815 nbVisitedNodes=30771
21.58 nbRestartNogoods=83
21.58 => wckTime=20.037 cpuTime=19.84 mem=34M664
31.70
31.70 search
31.70 run=14 nbConstraintChecks=22403340 nbValidityChecks=45862623 nbPropagations=859609 nbRevisions=10080554
31.70 nbUselessRevisions=7928737 nbAssignments=24471 nbFailedAssignments=15646 nbBacktracks=8734 nbVisitedNodes=46157
31.70 nbRestartNogoods=93
31.70 => wckTime=30.155 cpuTime=29.9 mem=35M652
47.56
47.56 search
47.56 run=15 nbConstraintChecks=34137278 nbValidityChecks=69870424 nbPropagations=1294408 nbRevisions=15216182
47.56 nbUselessRevisions=11966979 nbAssignments=36050 nbFailedAssignments=22841 nbBacktracks=13112
47.56 nbVisitedNodes=68025 nbRestartNogoods=101
47.56 => wckTime=46.011 cpuTime=45.7 mem=35M652
70.57
70.57 search
70.57 run=16 nbConstraintChecks=51598779 nbValidityChecks=105061429 nbPropagations=1953592 nbRevisions=22987909
70.57 nbUselessRevisions=18074901 nbAssignments=53886 nbFailedAssignments=34104 nbBacktracks=19680
70.57 nbVisitedNodes=101656 nbRestartNogoods=117
70.57 => wckTime=69.018 cpuTime=68.58 mem=35M652
107.50
107.50 search
107.50 run=17 nbConstraintChecks=78792553 nbValidityChecks=160465663 nbPropagations=2944902 nbRevisions=34708549
107.50 nbUselessRevisions=27283453 nbAssignments=80327 nbFailedAssignments=50690 nbBacktracks=29532
107.50 nbVisitedNodes=151545 nbRestartNogoods=138
107.50 => wckTime=105.954 cpuTime=105.32 mem=35M652
157.02
157.02 search
157.02 run=18 nbConstraintChecks=115965161 nbValidityChecks=235246343 nbPropagations=4422783 nbRevisions=51935051
157.02 nbUselessRevisions=40775185 nbAssignments=118429 nbFailedAssignments=74009 nbBacktracks=44311
157.02 nbVisitedNodes=223047 nbRestartNogoods=146
157.02 => wckTime=155.469 cpuTime=154.61 mem=35M652
227.49
227.49 search
227.49 run=19 nbConstraintChecks=167250233 nbValidityChecks=341355141 nbPropagations=6590754 nbRevisions=76984183
227.49 nbUselessRevisions=60381915 nbAssignments=170630 nbFailedAssignments=104035 nbBacktracks=66482
227.49 nbVisitedNodes=319993 nbRestartNogoods=156
227.49 => wckTime=225.939 cpuTime=224.74 mem=35M652
330.85
330.85 search
330.85 run=20 nbConstraintChecks=242315965 nbValidityChecks=495312507 nbPropagations=9781746 nbRevisions=113412913
330.85 nbUselessRevisions=88823385 nbAssignments=246455 nbFailedAssignments=146603 nbBacktracks=99735
330.85 nbVisitedNodes=459947 nbRestartNogoods=187
330.85 => wckTime=329.302 cpuTime=327.59 mem=35M652
487.35
487.35 search
487.35 run=21 nbConstraintChecks=355422267 nbValidityChecks=727571161 nbPropagations=14507195 nbRevisions=166681607
487.35 nbUselessRevisions=130288909 nbAssignments=357633 nbFailedAssignments=207897 nbBacktracks=149613
487.35 nbVisitedNodes=664543 nbRestartNogoods=214
487.35 => wckTime=485.805 cpuTime=483.34 mem=35M652
589.75
589.75 search
589.75 run=22 nbConstraintChecks=429201652 nbValidityChecks=881461684 nbPropagations=20187008 nbRevisions=230910507
589.75 nbUselessRevisions=180283824 nbAssignments=433942 nbFailedAssignments=253058 nbBacktracks=180737
589.75 nbVisitedNodes=806133 nbRestartNogoods=254
589.75 => wckTime=588.206 cpuTime=585.24 mem=35M652
589.76
589.76 global
589.76 nbConstraintChecks=429201652 nbValidityChecks=881461684 nbPropagations=20187032 nbRevisions=230910507
589.76 nbUselessRevisions=180283824 nbRestartNogoods=254 solvingWckTime=588.208 solvingCpuTime=585.24 expiredTime=no
589.76 totalExploration=no nbFoundSolutions=1 globalCpuTime=586.23
589.76 => wckTime=589.431 cpuTime=586.18 mem=35M652
589.76
589.76 s SATISFIABLE
589.76 v 17 17 9 10 12 11 11 13 10 5 9 4 8 10 8 2 1 13 13 12 19 6 1 8
589.76 d NODES 433942
589.76 d CHECKS 429201652
589.76
589.76 totalWckTime=589.508 totalCpuTime=586.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-195780-1168069878 -o ROOT/results/node38/solver-195780-1168069878 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195780-1168069878/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.82 0.94 1.16 5/80 14648
/proc/meminfo: memFree=1586768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=18540 CPUtime=0
/proc/14647/stat : 14647 (runsolver) R 14645 14647 14224 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155387450 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14647/statm: 4635 279 244 17 0 2626 0
[startup+0.103945 s]
/proc/loadavg: 0.82 0.94 1.16 5/80 14648
/proc/meminfo: memFree=1586768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=909872 CPUtime=0.05
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 2535 0 1 0 4 1 0 0 23 0 8 0 155387450 931708928 2282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924424 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 227468 2282 1242 14 0 215051 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 909872
[startup+0.512025 s]
/proc/loadavg: 0.82 0.94 1.16 5/80 14648
/proc/meminfo: memFree=1586768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915328 CPUtime=0.45
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 7632 0 1 0 41 4 0 0 25 0 8 0 155387450 937295872 7371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073559872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228832 7371 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33319 s]
/proc/loadavg: 0.91 0.96 1.16 3/87 14655
/proc/meminfo: memFree=1519640/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=1.27
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 19141 0 1 0 118 9 0 0 25 0 8 0 155387450 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 18878 2169 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.1
/proc/14647/task/14649/stat : 14649 (java) R 14645 14647 14224 0 -1 64 2654 0 0 0 9 1 0 0 16 0 8 0 155387457 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525079 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.1
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155387461 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915416
[startup+2.97651 s]
/proc/loadavg: 0.91 0.96 1.16 3/87 14655
/proc/meminfo: memFree=1503576/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=2.91
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23463 0 1 0 278 13 0 0 25 0 8 0 155387450 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23198 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 17 0 8 0 155387457 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.2
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 155387461 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915416
[startup+6.27215 s]
/proc/loadavg: 0.91 0.96 1.16 3/87 14655
/proc/meminfo: memFree=1503512/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=6.19
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23478 0 1 0 605 14 0 0 25 0 8 0 155387450 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23211 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 17 0 8 0 155387457 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416
[startup+12.7514 s]
/proc/loadavg: 1.08 0.99 1.17 3/87 14655
/proc/meminfo: memFree=1503512/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=12.62
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23482 0 1 0 1248 14 0 0 25 0 8 0 155387450 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23214 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416
[startup+25.6169 s]
/proc/loadavg: 1.22 1.02 1.18 3/87 14655
/proc/meminfo: memFree=1503704/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=25.43
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23482 0 1 0 2529 14 0 0 25 0 8 0 155387450 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757065 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23214 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915416
[startup+51.2309 s]
/proc/loadavg: 1.53 1.12 1.20 3/87 14655
/proc/meminfo: memFree=1503768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=50.93
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 5079 14 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915416
[startup+102.461 s]
/proc/loadavg: 1.79 1.25 1.24 3/87 14655
/proc/meminfo: memFree=1503832/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=101.89
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 10174 15 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915416
[startup+162.539 s]
/proc/loadavg: 1.92 1.39 1.29 3/87 14655
/proc/meminfo: memFree=1503832/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=161.69
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 16154 15 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 915416
[startup+222.616 s]
/proc/loadavg: 1.97 1.49 1.33 3/87 14655
/proc/meminfo: memFree=1503832/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=221.47
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 22132 15 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757130 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) R 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 915416
[startup+282.688 s]
/proc/loadavg: 1.99 1.58 1.37 3/87 14655
/proc/meminfo: memFree=1503768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=281.26
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 28110 16 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.26
Current children cumulated vsize (KiB) 915416
[startup+342.764 s]
/proc/loadavg: 1.99 1.66 1.40 3/87 14655
/proc/meminfo: memFree=1503768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=341.04
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 34088 16 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.04
Current children cumulated vsize (KiB) 915416
[startup+402.841 s]
/proc/loadavg: 2.03 1.73 1.45 3/87 14655
/proc/meminfo: memFree=1503768/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=400.83
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 40067 16 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (KiB) 915416
[startup+462.928 s]
/proc/loadavg: 2.01 1.78 1.48 3/87 14655
/proc/meminfo: memFree=1503704/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=460.6
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 46044 16 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.6
Current children cumulated vsize (KiB) 915416
[startup+523.007 s]
/proc/loadavg: 2.05 1.83 1.51 3/87 14655
/proc/meminfo: memFree=1503704/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=520.42
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 52025 17 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.42
Current children cumulated vsize (KiB) 915416
[startup+583.082 s]
/proc/loadavg: 2.02 1.86 1.54 3/93 14681
/proc/meminfo: memFree=1502488/2055920 swapFree=4192812/4192956
[pid=14647] ppid=14645 vsize=915416 CPUtime=580.2
/proc/14647/stat : 14647 (java) R 14645 14647 14224 0 -1 0 23484 0 1 0 58003 17 0 0 25 0 8 0 155387450 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14647/statm: 228854 23215 2521 14 0 215324 0
[pid=14647/tid=14649] ppid=14645 vsize=915416 CPUtime=0.15
/proc/14647/task/14649/stat : 14649 (java) S 14645 14647 14224 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155387457 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14650] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14650/stat : 14650 (java) S 14645 14647 14224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14651] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14651/stat : 14651 (java) S 14645 14647 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155387458 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14652] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14652/stat : 14652 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14653] ppid=14645 vsize=915416 CPUtime=0.23
/proc/14647/task/14653/stat : 14653 (java) S 14645 14647 14224 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14654] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14654/stat : 14654 (java) S 14645 14647 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14647/tid=14655] ppid=14645 vsize=915416 CPUtime=0
/proc/14647/task/14655/stat : 14655 (java) S 14645 14647 14224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155387461 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 580.2
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 589.791
CPU time (s): 586.865
CPU user time (s): 586.655
CPU system time (s): 0.209968
CPU usage (%): 99.5039
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.655
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23490
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13059
involuntary context switches= 32038
runsolver used 0.538918 s user time and 1.67075 s system time
The end
Begin job on node38 on Sat Jan 6 07:51:18 UTC 2007
IDJOB= 195780
IDBENCH= 3301
FILE ID= node38/195780-1168069878
PBS_JOBID= 3475936
Free space on /tmp= 66509 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-38_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195780-1168069878/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-195780-1168069878 -o ROOT/results/node38/solver-195780-1168069878 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195780-1168069878/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 915ffb10afaffa7b121056e55d9bf943
RANDOM SEED= 234015372
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1587184 kB
Buffers: 24076 kB
Cached: 270364 kB
SwapCached: 0 kB
Active: 146108 kB
Inactive: 251032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1587184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9144 kB
Writeback: 0 kB
Mapped: 122892 kB
Slab: 56784 kB
Committed_AS: 3905700 kB
PageTables: 2064 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66509 MiB
End job on node38 on Sat Jan 6 08:01:09 UTC 2007