0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215054-1168233311/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.53 nbVariables=1518 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.217 cpuTime=0.15 mem=8M869
0.53
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
3.81 nbConstraints=21621 nbConvertedConstraints=18999 nbConvertConstraintsChecks=16 nbExtensionStructures=2
3.81 nbSharedExtensionStructures=18997 nbConflictsStructures=3 nbSharedConflictsStructures=19185
3.81 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
3.81 nbSharedEvaluationManagers=2620 maxDegree=492 maxArity=32
3.81 => wckTime=3.497 cpuTime=3.08 mem=60M48
4.00
4.00 solver IterativeSystematicSolver being built...
4.75 => wckTime=4.436 cpuTime=3.6 mem=89M891
11.80
11.80 preprocessing
11.80 nbConstraintChecks=178096 nbValidityChecks=1159269 nbPropagations=4848 nbRevisions=657514
11.80 nbUselessRevisions=655710 nbSingletonTests=1529 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
11.80 detectedInconsistency=no
11.80 => wckTime=7.031 cpuTime=6.93 mem=101M92
13.44
13.44 search
13.44 run=0 nbConstraintChecks=291766 nbValidityChecks=1046653 nbPropagations=10004 nbRevisions=1318649
13.44 nbUselessRevisions=1311685 nbAssignments=157 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=168
13.44 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
13.44 => wckTime=8.677 cpuTime=8.55 mem=102M127
15.47
15.47 search
15.47 run=1 nbConstraintChecks=745613 nbValidityChecks=2183749 nbPropagations=28492 nbRevisions=3427922
15.47 nbUselessRevisions=3405422 nbAssignments=320 nbFailedAssignments=9 nbBacktracks=27 nbVisitedNodes=347
15.47 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
15.47 => wckTime=10.709 cpuTime=10.57 mem=102M127
17.93
17.93 search
17.93 run=2 nbConstraintChecks=1386910 nbValidityChecks=3401215 nbPropagations=58028 nbRevisions=6449050
17.93 nbUselessRevisions=6399727 nbAssignments=486 nbFailedAssignments=16 nbBacktracks=51 nbVisitedNodes=537
17.93 nbRestartNogoods=4 mapSize=44 nbInferences=0 nbTooLargeKeys=0
17.93 => wckTime=13.17 cpuTime=13.0 mem=102M127
21.02
21.02 search
21.02 run=3 nbConstraintChecks=2281159 nbValidityChecks=4739016 nbPropagations=102385 nbRevisions=10554974
21.02 nbUselessRevisions=10463658 nbAssignments=664 nbFailedAssignments=23 nbBacktracks=84 nbVisitedNodes=749
21.02 nbRestartNogoods=6 mapSize=76 nbInferences=0 nbTooLargeKeys=0
21.02 => wckTime=16.26 cpuTime=16.07 mem=102M127
25.23
25.23 search
25.23 run=4 nbConstraintChecks=3602692 nbValidityChecks=6294257 nbPropagations=170221 nbRevisions=16081936
25.23 nbUselessRevisions=15924607 nbAssignments=866 nbFailedAssignments=33 nbBacktracks=136 nbVisitedNodes=1002
25.23 nbRestartNogoods=8 mapSize=125 nbInferences=0 nbTooLargeKeys=0
25.23 => wckTime=20.469 cpuTime=20.25 mem=102M127
30.86
30.86 search
30.86 run=5 nbConstraintChecks=5650807 nbValidityChecks=8235721 nbPropagations=280384 nbRevisions=23647234
30.86 nbUselessRevisions=23380577 nbAssignments=1092 nbFailedAssignments=55 nbBacktracks=212 nbVisitedNodes=1300
30.86 nbRestartNogoods=10 mapSize=196 nbInferences=0 nbTooLargeKeys=0
30.86 => wckTime=26.097 cpuTime=25.85 mem=102M127
40.51
40.51 search
40.51 run=6 nbConstraintChecks=9147245 nbValidityChecks=11352656 nbPropagations=465582 nbRevisions=34533509
40.51 nbUselessRevisions=34080209 nbAssignments=1350 nbFailedAssignments=101 nbBacktracks=325 nbVisitedNodes=1660
40.51 nbRestartNogoods=11 mapSize=296 nbInferences=0 nbTooLargeKeys=0
40.51 => wckTime=35.747 cpuTime=35.45 mem=102M127
59.18
59.18 search
59.18 run=7 nbConstraintChecks=14319855 nbValidityChecks=17271696 nbPropagations=739264 nbRevisions=50597598
59.18 nbUselessRevisions=49861677 nbAssignments=1649 nbFailedAssignments=139 nbBacktracks=501 nbVisitedNodes=2103
59.18 nbRestartNogoods=13 mapSize=439 nbInferences=0 nbTooLargeKeys=0
59.18 => wckTime=54.42 cpuTime=54.01 mem=103M145
87.40
87.40 search
87.40 run=8 nbConstraintChecks=21557090 nbValidityChecks=26644762 nbPropagations=1130421 nbRevisions=74334171
87.40 nbUselessRevisions=73188771 nbAssignments=2044 nbFailedAssignments=187 nbBacktracks=759 nbVisitedNodes=2695
87.40 nbRestartNogoods=14 mapSize=634 nbInferences=0 nbTooLargeKeys=0
87.40 => wckTime=82.635 cpuTime=82.08 mem=103M145
114.34
114.34 search
114.34 run=9 nbConstraintChecks=30381706 nbValidityChecks=37909329 nbPropagations=1691388 nbRevisions=108055928
114.34 nbUselessRevisions=106321057 nbAssignments=2578 nbFailedAssignments=268 nbBacktracks=1145 nbVisitedNodes=3532
114.34 nbRestartNogoods=16 mapSize=936 nbInferences=0 nbTooLargeKeys=0
114.34 => wckTime=109.577 cpuTime=108.86 mem=103M145
120.87
120.87 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=103M145)
146.87
146.87 search
146.87 run=10 nbConstraintChecks=42664743 nbValidityChecks=50183628 nbPropagations=2478651 nbRevisions=154065288
146.87 nbUselessRevisions=151498940 nbAssignments=3329 nbFailedAssignments=366 nbBacktracks=1739 nbVisitedNodes=4759
146.87 nbRestartNogoods=17
146.87 => wckTime=142.109 cpuTime=141.23 mem=103M145
220.97
220.97 search
220.97 run=11 nbConstraintChecks=63606119 nbValidityChecks=79219199 nbPropagations=3602133 nbRevisions=223939913
220.97 nbUselessRevisions=220178352 nbAssignments=4420 nbFailedAssignments=509 nbBacktracks=2623 nbVisitedNodes=6589
220.97 nbRestartNogoods=19
220.97 => wckTime=216.21 cpuTime=214.93 mem=103M145
332.90
332.90 search
332.90 run=12 nbConstraintChecks=96693124 nbValidityChecks=118102932 nbPropagations=5254942 nbRevisions=328176043
332.90 nbUselessRevisions=322651837 nbAssignments=6000 nbFailedAssignments=711 nbBacktracks=3926 nbVisitedNodes=9361
332.91 nbRestartNogoods=20
332.91 => wckTime=328.146 cpuTime=326.25 mem=103M145
497.42
497.42 search
497.42 run=13 nbConstraintChecks=143793561 nbValidityChecks=173224457 nbPropagations=7624471 nbRevisions=480594613
497.42 nbUselessRevisions=472538727 nbAssignments=8283 nbFailedAssignments=969 nbBacktracks=5874 nbVisitedNodes=13338
497.42 nbRestartNogoods=22
497.42 => wckTime=492.657 cpuTime=489.91 mem=103M145
740.61
740.61 search
740.61 run=14 nbConstraintChecks=213183050 nbValidityChecks=252029981 nbPropagations=11063447 nbRevisions=702916014
740.61 nbUselessRevisions=691187088 nbAssignments=11828 nbFailedAssignments=1491 nbBacktracks=8797
740.61 nbVisitedNodes=19371 nbRestartNogoods=24
740.61 => wckTime=735.852 cpuTime=731.77 mem=103M145
1092.58
1092.58 search
1092.58 run=15 nbConstraintChecks=319299239 nbValidityChecks=357181534 nbPropagations=16122074 nbRevisions=1024239538
1092.58 nbUselessRevisions=1007129150 nbAssignments=17203 nbFailedAssignments=2389 nbBacktracks=13182
1092.58 nbVisitedNodes=28561 nbRestartNogoods=27
1092.58 => wckTime=1087.816 cpuTime=1081.89 mem=103M145
1500.50
1500.50 search
1500.50 run=16 nbConstraintChecks=462028724 nbValidityChecks=479409851 nbPropagations=23482829 nbRevisions=1472909618
1500.50 nbUselessRevisions=1447957025 nbAssignments=24968 nbFailedAssignments=3494 nbBacktracks=19764
1500.50 nbVisitedNodes=41786 nbRestartNogoods=30
1500.50 => wckTime=1495.743 cpuTime=1487.63 mem=103M145
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-215054-1168233311 -o ROOT/results/node55/solver-215054-1168233311 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215054-1168233311/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.86 0.98 1.26 4/72 28462
/proc/meminfo: memFree=1625336/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=1784 CPUtime=0
/proc/28461/stat : 28461 (java) D 28459 28461 28040 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 171729733 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28461/statm: 446 140 106 14 0 91 0
[startup+0.103878 s]
/proc/loadavg: 0.86 0.98 1.26 4/72 28462
/proc/meminfo: memFree=1625336/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=911488 CPUtime=0.06
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 2622 0 1 0 5 1 0 0 23 0 8 0 171729733 933363712 2369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 227872 2369 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.515919 s]
/proc/loadavg: 0.86 0.98 1.26 4/72 28462
/proc/meminfo: memFree=1625336/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915328 CPUtime=0.48
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 6616 0 1 0 42 6 0 0 25 0 8 0 171729733 937295872 6355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228832 6355 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.344 s]
/proc/loadavg: 0.86 0.98 1.26 3/79 28469
/proc/meminfo: memFree=1616384/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915648 CPUtime=1.28
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 18336 0 1 0 116 12 0 0 25 0 8 0 171729733 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228912 18070 2157 14 0 215382 0
[pid=28461/tid=28463] ppid=28459 vsize=915648 CPUtime=0.05
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 1800 0 0 0 5 0 0 0 16 0 8 0 171729739 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171729740 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915648 CPUtime=0.14
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 405 0 0 0 13 1 0 0 16 0 8 0 171729743 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937623552 18070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915648
[startup+2.98015 s]
/proc/loadavg: 0.95 1.00 1.26 3/79 28469
/proc/meminfo: memFree=1569344/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915648 CPUtime=2.91
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 24835 0 1 0 224 67 0 0 25 0 8 0 171729733 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7311653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228912 24567 2178 14 0 215382 0
[pid=28461/tid=28463] ppid=28459 vsize=915648 CPUtime=0.21
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 8209 0 0 0 18 3 0 0 16 0 8 0 171729739 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171729740 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915648 CPUtime=0.19
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 429 0 0 0 18 1 0 0 16 0 8 0 171729743 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937623552 24567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915648 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937623552 24567 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) 915648
[startup+6.26248 s]
/proc/loadavg: 0.95 1.00 1.26 3/79 28469
/proc/meminfo: memFree=1531664/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=6.17
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34434 0 1 0 522 95 0 0 25 0 8 0 171729733 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074207289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34142 2546 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 17 0 8 0 171729739 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.32
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 516 0 0 0 30 2 0 0 16 0 8 0 171729743 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915876
[startup+12.7501 s]
/proc/loadavg: 1.11 1.03 1.27 4/80 28476
/proc/meminfo: memFree=1618120/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=12.61
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34448 0 1 0 1165 96 0 0 25 0 8 0 171729733 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34154 2546 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 17 0 8 0 171729739 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.35
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 529 0 0 0 33 2 0 0 15 0 8 0 171729743 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915876
[startup+25.6204 s]
/proc/loadavg: 1.25 1.06 1.28 3/81 28477
/proc/meminfo: memFree=1613376/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=25.4
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34458 0 1 0 2444 96 0 0 25 0 8 0 171729733 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074190790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34162 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.36
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 535 0 0 0 34 2 0 0 16 0 8 0 171729743 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915876
[startup+51.2419 s]
/proc/loadavg: 1.51 1.14 1.30 3/81 28477
/proc/meminfo: memFree=1613568/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=50.88
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34463 0 1 0 4992 96 0 0 25 0 8 0 171729733 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074180619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34164 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.37
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 539 0 0 0 35 2 0 0 16 0 8 0 171729743 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915876
[startup+102.488 s]
/proc/loadavg: 1.78 1.27 1.33 3/81 28477
/proc/meminfo: memFree=1613504/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=101.85
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34464 0 1 0 10089 96 0 0 25 0 8 0 171729733 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074181324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34165 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.37
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 540 0 0 0 35 2 0 0 15 0 8 0 171729743 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915876
[startup+162.579 s]
/proc/loadavg: 1.92 1.40 1.37 3/81 28477
/proc/meminfo: memFree=1613440/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=161.61
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34475 0 1 0 16065 96 0 0 25 0 8 0 171729733 937857024 34172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.7
Current children cumulated vsize (KiB) 915876
[startup+1484.48 s]
/proc/loadavg: 2.00 1.97 1.82 3/88 28629
/proc/meminfo: memFree=1639560/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1476.46
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34478 0 1 0 147541 105 0 0 25 0 8 0 171729733 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182917 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34173 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 550 0 0 0 37 2 0 0 17 0 8 0 171729743 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.46
Current children cumulated vsize (KiB) 915876
[startup+1544.56 s]
/proc/loadavg: 2.05 1.99 1.83 3/88 28629
/proc/meminfo: memFree=1639496/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1536.23
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34479 0 1 0 153518 105 0 0 25 0 8 0 171729733 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074184731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34174 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.23
Current children cumulated vsize (KiB) 915876
[startup+1604.64 s]
/proc/loadavg: 2.02 1.99 1.84 3/88 28629
/proc/meminfo: memFree=1639496/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1595.98
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34479 0 1 0 159493 105 0 0 25 0 8 0 171729733 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34174 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.98
Current children cumulated vsize (KiB) 915876
[startup+1664.72 s]
/proc/loadavg: 2.00 1.99 1.85 3/88 28629
/proc/meminfo: memFree=1639432/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1655.74
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34479 0 1 0 165469 105 0 0 25 0 8 0 171729733 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34174 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.74
Current children cumulated vsize (KiB) 915876
[startup+1724.8 s]
/proc/loadavg: 2.00 1.99 1.85 3/88 28629
/proc/meminfo: memFree=1639368/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1715.5
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34479 0 1 0 171445 105 0 0 25 0 8 0 171729733 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34174 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.5
Current children cumulated vsize (KiB) 915876
[startup+1784.88 s]
/proc/loadavg: 2.00 1.99 1.86 3/88 28629
/proc/meminfo: memFree=1639368/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1775.25
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34479 0 1 0 177420 105 0 0 25 0 8 0 171729733 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34174 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.25
Current children cumulated vsize (KiB) 915876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.79 s]
/proc/loadavg: 2.07 2.00 1.87 3/88 28629
/proc/meminfo: memFree=1639368/2055920 swapFree=4192192/4192956
[pid=28461] ppid=28459 vsize=915876 CPUtime=1800.02
/proc/28461/stat : 28461 (java) R 28459 28461 28040 0 -1 0 34479 0 1 0 179897 105 0 0 25 0 8 0 171729733 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074184756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228969 34174 2547 14 0 215439 0
[pid=28461/tid=28463] ppid=28459 vsize=915876 CPUtime=0.54
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28040 0 -1 64 17252 0 0 0 48 6 0 0 16 0 8 0 171729739 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171729740 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915876 CPUtime=0.39
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28040 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28040 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915876 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28040 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171729743 937857024 34174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.87
CPU time (s): 1800.11
CPU user time (s): 1799.03
CPU system time (s): 1.08083
CPU usage (%): 99.4607
Max. virtual memory (cumulated for all children) (KiB): 915876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.08083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34494
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= 38431
involuntary context switches= 40173
runsolver used 2.11268 s user time and 5.83411 s system time
The end
Begin job on node55 on Mon Jan 8 05:15:13 UTC 2007
IDJOB= 215054
IDBENCH= 4972
FILE ID= node55/215054-1168233311
PBS_JOBID= 3481410
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215054-1168233311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-215054-1168233311 -o ROOT/results/node55/solver-215054-1168233311 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215054-1168233311/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f756a64a086b1e66d9d87aeff8d1d6e5
RANDOM SEED= 114915446
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.218
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 : 5931.00
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.218
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: 1737816 kB
Buffers: 40684 kB
Cached: 127668 kB
SwapCached: 424 kB
Active: 180212 kB
Inactive: 81176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1737816 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 9928 kB
Writeback: 0 kB
Mapped: 103052 kB
Slab: 42116 kB
Committed_AS: 3787856 kB
PageTables: 1904 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= 66556 MiB
End job on node55 on Mon Jan 8 05:45:25 UTC 2007