0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206410-1168172648/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.57
1.57 constraints being loaded...
2.33 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.33 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.33 nbSharedBinaryRepresentations=0 maxDegree=18 maxArity=3
2.33 => wckTime=2.002 cpuTime=1.59 mem=58M42
2.48
2.48 solver IterativeSystematicSolver being built...
2.66 => wckTime=2.331 cpuTime=1.74 mem=65M643
2.81
2.81 preprocessing
2.81 nbConstraintChecks=52053 nbValidityChecks=82401 nbPropagations=288 nbRevisions=2944 nbUselessRevisions=2565
2.81 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.81 => wckTime=0.147 cpuTime=0.11 mem=65M643
2.87
2.87 search
2.87 run=0 nbConstraintChecks=29318 nbValidityChecks=56012 nbPropagations=576 nbRevisions=6246
2.87 nbUselessRevisions=5215 nbAssignments=29 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=46
2.87 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=0.215 cpuTime=0.17 mem=66M661
3.02
3.02 search
3.02 run=1 nbConstraintChecks=104420 nbValidityChecks=209424 nbPropagations=1857 nbRevisions=21349
3.02 nbUselessRevisions=17545 nbAssignments=89 nbFailedAssignments=49 nbBacktracks=26 nbVisitedNodes=156
3.02 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
3.02 => wckTime=0.357 cpuTime=0.3 mem=66M661
3.15
3.15 search
3.15 run=2 nbConstraintChecks=171077 nbValidityChecks=343979 nbPropagations=3891 nbRevisions=44410
3.15 nbUselessRevisions=36105 nbAssignments=151 nbFailedAssignments=79 nbBacktracks=51 nbVisitedNodes=264
3.15 nbRestartNogoods=4 mapSize=44 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.489 cpuTime=0.43 mem=66M661
3.40
3.40 search
3.40 run=3 nbConstraintChecks=313000 nbValidityChecks=629084 nbPropagations=7132 nbRevisions=83766
3.40 nbUselessRevisions=67819 nbAssignments=247 nbFailedAssignments=132 nbBacktracks=86 nbVisitedNodes=438
3.40 nbRestartNogoods=6 mapSize=79 nbInferences=0 nbTooLargeKeys=0
3.40 => wckTime=0.739 cpuTime=0.67 mem=66M661
3.81
3.81 search
3.81 run=4 nbConstraintChecks=552083 nbValidityChecks=1125446 nbPropagations=12337 nbRevisions=147573
3.81 nbUselessRevisions=119148 nbAssignments=423 nbFailedAssignments=200 nbBacktracks=137 nbVisitedNodes=669
3.81 nbRestartNogoods=16 mapSize=128 nbInferences=0 nbTooLargeKeys=0
3.81 => wckTime=1.147 cpuTime=1.07 mem=66M661
4.11
4.11 search
4.11 run=5 nbConstraintChecks=728909 nbValidityChecks=1475449 nbPropagations=19541 nbRevisions=234266
4.11 nbUselessRevisions=188410 nbAssignments=579 nbFailedAssignments=274 nbBacktracks=212 nbVisitedNodes=938
4.11 nbRestartNogoods=18 mapSize=190 nbInferences=0 nbTooLargeKeys=0
4.11 => wckTime=1.452 cpuTime=1.37 mem=66M661
4.72
4.72 search
4.72 run=6 nbConstraintChecks=1082684 nbValidityChecks=2192530 nbPropagations=30982 nbRevisions=372187
4.72 nbUselessRevisions=297917 nbAssignments=891 nbFailedAssignments=463 nbBacktracks=325 nbVisitedNodes=1526
4.72 nbRestartNogoods=23 mapSize=295 nbInferences=0 nbTooLargeKeys=0
4.72 => wckTime=2.059 cpuTime=1.97 mem=66M661
5.68
5.68 search
5.68 run=7 nbConstraintChecks=1655735 nbValidityChecks=3355188 nbPropagations=47988 nbRevisions=575500
5.68 nbUselessRevisions=459117 nbAssignments=1344 nbFailedAssignments=718 nbBacktracks=495 nbVisitedNodes=2323
5.68 nbRestartNogoods=30 mapSize=446 nbInferences=0 nbTooLargeKeys=0
5.68 => wckTime=3.019 cpuTime=2.92 mem=66M661
7.79
7.79 search
7.79 run=8 nbConstraintChecks=2947000 nbValidityChecks=5882030 nbPropagations=75263 nbRevisions=913803
7.79 nbUselessRevisions=727338 nbAssignments=2100 nbFailedAssignments=1202 nbBacktracks=752 nbVisitedNodes=3750
7.79 nbRestartNogoods=39 mapSize=691 nbInferences=0 nbTooLargeKeys=0
7.79 => wckTime=5.128 cpuTime=4.99 mem=66M661
9.73
9.73 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=66M661)
9.91
9.91 search
9.91 run=9 nbConstraintChecks=4238564 nbValidityChecks=8453838 nbPropagations=114852 nbRevisions=1407086
9.91 nbUselessRevisions=1118271 nbAssignments=3007 nbFailedAssignments=1717 nbBacktracks=1136 nbVisitedNodes=5434
9.91 nbRestartNogoods=47
9.91 => wckTime=7.253 cpuTime=7.08 mem=66M661
12.10
12.10 search
12.10 run=10 nbConstraintChecks=5563558 nbValidityChecks=11224904 nbPropagations=170954 nbRevisions=2080597
12.10 nbUselessRevisions=1648552 nbAssignments=4415 nbFailedAssignments=2526 nbBacktracks=1715 nbVisitedNodes=7973
12.10 nbRestartNogoods=56
12.10 => wckTime=9.445 cpuTime=9.25 mem=66M661
17.25
17.25 search
17.25 run=11 nbConstraintChecks=8803381 nbValidityChecks=17812225 nbPropagations=258260 nbRevisions=3133997
17.25 nbUselessRevisions=2478061 nbAssignments=6841 nbFailedAssignments=4079 nbBacktracks=2581 nbVisitedNodes=12585
17.25 nbRestartNogoods=64
17.25 => wckTime=14.594 cpuTime=14.36 mem=66M661
22.51
22.51 search
22.51 run=12 nbConstraintChecks=12047014 nbValidityChecks=24477655 nbPropagations=383401 nbRevisions=4628158
22.51 nbUselessRevisions=3656269 nbAssignments=9639 nbFailedAssignments=5571 nbBacktracks=3879 nbVisitedNodes=17687
22.51 nbRestartNogoods=76
22.51 => wckTime=19.855 cpuTime=19.6 mem=66M661
31.78
31.79 search
31.79 run=13 nbConstraintChecks=17828699 nbValidityChecks=36415181 nbPropagations=570166 nbRevisions=6849770
31.79 nbUselessRevisions=5402570 nbAssignments=14085 nbFailedAssignments=8046 nbBacktracks=5826 nbVisitedNodes=25846
31.79 nbRestartNogoods=90
31.79 => wckTime=29.125 cpuTime=28.83 mem=66M661
47.30
47.30 search
47.30 run=14 nbConstraintChecks=27513895 nbValidityChecks=56492304 nbPropagations=863466 nbRevisions=10393494
47.30 nbUselessRevisions=8183446 nbAssignments=23285 nbFailedAssignments=14304 nbBacktracks=8745 nbVisitedNodes=43341
47.30 nbRestartNogoods=100
47.30 => wckTime=44.638 cpuTime=44.27 mem=66M661
74.76
74.76 search
74.76 run=15 nbConstraintChecks=44764389 nbValidityChecks=91060411 nbPropagations=1300844 nbRevisions=15894123
74.76 nbUselessRevisions=12540116 nbAssignments=34581 nbFailedAssignments=21216 nbBacktracks=13124
74.76 nbVisitedNodes=64568 nbRestartNogoods=111
74.76 => wckTime=72.099 cpuTime=71.6 mem=66M661
107.37
107.38 search
107.38 run=16 nbConstraintChecks=64928380 nbValidityChecks=132961715 nbPropagations=1961280 nbRevisions=23924709
107.38 nbUselessRevisions=18860975 nbAssignments=52080 nbFailedAssignments=32139 nbBacktracks=19692
107.38 nbVisitedNodes=97327 nbRestartNogoods=122
107.38 => wckTime=104.717 cpuTime=104.07 mem=66M661
148.41
148.41 search
148.41 run=17 nbConstraintChecks=90561098 nbValidityChecks=184346539 nbPropagations=2896989 nbRevisions=35282618
148.41 nbUselessRevisions=27823549 nbAssignments=72911 nbFailedAssignments=43070 nbBacktracks=29547
148.41 nbVisitedNodes=134945 nbRestartNogoods=150
148.41 => wckTime=145.748 cpuTime=144.91 mem=66M661
233.31
233.31 search
233.31 run=18 nbConstraintChecks=143866420 nbValidityChecks=292900385 nbPropagations=4361687 nbRevisions=53224656
233.31 nbUselessRevisions=41995356 nbAssignments=112576 nbFailedAssignments=67948 nbBacktracks=44326
233.31 nbVisitedNodes=210286 nbRestartNogoods=166
233.31 => wckTime=230.652 cpuTime=229.42 mem=66M661
363.42
363.42 search
363.42 run=19 nbConstraintChecks=224971526 nbValidityChecks=457485221 nbPropagations=6575744 nbRevisions=80923735
363.42 nbUselessRevisions=63942412 nbAssignments=165018 nbFailedAssignments=98213 nbBacktracks=66494
363.42 nbVisitedNodes=308386 nbRestartNogoods=170
363.42 => wckTime=360.765 cpuTime=358.93 mem=66M661
524.57
524.57 search
524.57 run=20 nbConstraintChecks=324707571 nbValidityChecks=665606282 nbPropagations=9937865 nbRevisions=122748950
524.57 nbUselessRevisions=96951316 nbAssignments=261614 nbFailedAssignments=161547 nbBacktracks=99747
524.57 nbVisitedNodes=490915 nbRestartNogoods=184
524.57 => wckTime=521.914 cpuTime=519.32 mem=66M661
859.79
859.79 search
859.79 run=21 nbConstraintChecks=532657408 nbValidityChecks=1083392647 nbPropagations=14962692 nbRevisions=187294089
859.79 nbUselessRevisions=148238188 nbAssignments=392518 nbFailedAssignments=242511 nbBacktracks=149625
859.79 nbVisitedNodes=736662 nbRestartNogoods=200
859.79 => wckTime=857.129 cpuTime=852.98 mem=66M661
1186.83
1186.83 search
1186.83 run=22 nbConstraintChecks=733886028 nbValidityChecks=1481157289 nbPropagations=22097872 nbRevisions=277813552
1186.83 nbUselessRevisions=220217192 nbAssignments=550613 nbFailedAssignments=325739 nbBacktracks=224443
1186.83 nbVisitedNodes=1023282 nbRestartNogoods=217
1186.83 => wckTime=1184.171 cpuTime=1178.53 mem=66M661
1731.83
1731.83 search
1731.83 run=23 nbConstraintChecks=1065241423 nbValidityChecks=2170061535 nbPropagations=33000303 nbRevisions=412210037
1731.83 nbUselessRevisions=326235943 nbAssignments=861263 nbFailedAssignments=524154 nbBacktracks=336671
1731.83 nbVisitedNodes=1604576 nbRestartNogoods=226
1731.83 => wckTime=1729.175 cpuTime=1723.32 mem=66M661
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-206410-1168172648 -o ROOT/results/node58/solver-206410-1168172648 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206410-1168172648/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: 2.04 2.01 1.91 4/81 23602
/proc/meminfo: memFree=1346632/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=18540 CPUtime=0
/proc/23601/stat : 23601 (runsolver) R 23599 23601 22602 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165662830 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23601/statm: 4635 279 244 17 0 2626 0
[startup+0.107128 s]
/proc/loadavg: 2.04 2.01 1.91 4/81 23602
/proc/meminfo: memFree=1346632/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=913228 CPUtime=0.08
/proc/23601/stat : 23601 (java) S 23599 23601 22602 0 -1 0 2918 0 1 0 6 2 0 0 19 0 8 0 165662830 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.515168 s]
/proc/loadavg: 2.04 2.01 1.91 4/81 23602
/proc/meminfo: memFree=1346632/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915328 CPUtime=0.48
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 7462 0 1 0 44 4 0 0 18 0 8 0 165662830 937295872 7201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228832 7201 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33623 s]
/proc/loadavg: 2.04 2.01 1.91 3/88 23609
/proc/meminfo: memFree=1279504/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915328 CPUtime=1.3
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 19099 0 1 0 120 10 0 0 25 0 8 0 165662830 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228832 18837 2149 14 0 215302 0
[pid=23601/tid=23603] ppid=23599 vsize=915328 CPUtime=0.05
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165662834 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915328 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915328 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915328 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915328 CPUtime=0.08
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 165662839 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915328 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915328 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.97437 s]
/proc/loadavg: 2.03 2.01 1.91 3/88 23609
/proc/meminfo: memFree=1238736/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=2.93
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32571 0 1 0 277 16 0 0 25 0 8 0 165662830 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32306 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 17 0 8 0 165662834 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.19
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 373 0 0 0 19 0 0 0 16 0 8 0 165662839 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.17665 s]
/proc/loadavg: 2.03 2.01 1.91 3/88 23609
/proc/meminfo: memFree=1226832/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=6.09
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32589 0 1 0 593 16 0 0 25 0 8 0 165662830 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32321 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 17 0 8 0 165662834 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.23
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 390 0 0 0 23 0 0 0 15 0 8 0 165662839 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915440
[startup+12.6502 s]
/proc/loadavg: 2.03 2.01 1.91 3/88 23609
/proc/meminfo: memFree=1226904/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=12.5
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32603 0 1 0 1233 17 0 0 25 0 8 0 165662830 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32331 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.26
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165662839 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915440
[startup+25.4781 s]
/proc/loadavg: 2.02 2.01 1.91 3/88 23609
/proc/meminfo: memFree=1227096/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=25.27
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32605 0 1 0 2510 17 0 0 25 0 8 0 165662830 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32333 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.26
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915440
[startup+51.0873 s]
/proc/loadavg: 2.01 2.01 1.91 3/88 23609
/proc/meminfo: memFree=1227160/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=50.75
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32605 0 1 0 5058 17 0 0 25 0 8 0 165662830 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32333 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.26
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915440
[startup+102.305 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 23609
/proc/meminfo: memFree=1227224/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=101.73
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32605 0 1 0 10156 17 0 0 25 0 8 0 165662830 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32333 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.26
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 915440
[startup+162.366 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 23609
/proc/meminfo: memFree=1227224/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=161.51
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32607 0 1 0 16134 17 0 0 25 0 8 0 165662830 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073667060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.91
Current children cumulated vsize (KiB) 915440
[startup+1483.54 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 23664
/proc/meminfo: memFree=964792/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1477.9
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 147765 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.9
Current children cumulated vsize (KiB) 915440
[startup+1543.65 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 23664
/proc/meminfo: memFree=964728/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1537.99
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 153774 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.99
Current children cumulated vsize (KiB) 915440
[startup+1603.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 23664
/proc/meminfo: memFree=936888/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1598
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 159775 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598
Current children cumulated vsize (KiB) 915440
[startup+1663.77 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 23664
/proc/meminfo: memFree=936824/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1658.06
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 165781 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.06
Current children cumulated vsize (KiB) 915440
[startup+1723.83 s]
/proc/loadavg: 2.04 2.01 1.95 3/92 23664
/proc/meminfo: memFree=908408/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1718.04
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 171779 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.04
Current children cumulated vsize (KiB) 915440
[startup+1783.9 s]
/proc/loadavg: 2.01 2.01 1.95 3/92 23664
/proc/meminfo: memFree=908344/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1778.09
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 177784 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.09
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.83 s]
/proc/loadavg: 2.01 2.00 1.95 4/92 23664
/proc/meminfo: memFree=908280/2055920 swapFree=4192812/4192956
[pid=23601] ppid=23599 vsize=915440 CPUtime=1800.02
/proc/23601/stat : 23601 (java) R 23599 23601 22602 0 -1 0 32608 0 1 0 179977 25 0 0 25 0 8 0 165662830 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23601/statm: 228860 32335 2531 14 0 215330 0
[pid=23601/tid=23603] ppid=23599 vsize=915440 CPUtime=0.44
/proc/23601/task/23603/stat : 23603 (java) S 23599 23601 22602 0 -1 64 15582 0 0 0 39 5 0 0 16 0 8 0 165662834 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23604] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23604/stat : 23604 (java) S 23599 23601 22602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23605] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23605/stat : 23605 (java) S 23599 23601 22602 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165662835 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23606] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23606/stat : 23606 (java) S 23599 23601 22602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23607] ppid=23599 vsize=915440 CPUtime=0.27
/proc/23601/task/23607/stat : 23607 (java) S 23599 23601 22602 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23608] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23608/stat : 23608 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165662839 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23601/tid=23609] ppid=23599 vsize=915440 CPUtime=0
/proc/23601/task/23609/stat : 23609 (java) S 23599 23601 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165662839 937410560 32335 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) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.87
CPU time (s): 1800.07
CPU user time (s): 1799.79
CPU system time (s): 0.277957
CPU usage (%): 99.6788
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32626
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= 37696
involuntary context switches= 54915
runsolver used 2.38164 s user time and 5.61515 s system time
The end
Begin job on node58 on Sun Jan 7 12:24:09 UTC 2007
IDJOB= 206410
IDBENCH= 4206
FILE ID= node58/206410-1168172648
PBS_JOBID= 3479066
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206410-1168172648/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-206410-1168172648 -o ROOT/results/node58/solver-206410-1168172648 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206410-1168172648/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91e3fef88b9ca05ef4e5572a690d863f
RANDOM SEED= 51120086
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.223
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.223
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: 1347112 kB
Buffers: 36296 kB
Cached: 522732 kB
SwapCached: 0 kB
Active: 143348 kB
Inactive: 497988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1347112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7476 kB
Writeback: 0 kB
Mapped: 100080 kB
Slab: 52752 kB
Committed_AS: 2719144 kB
PageTables: 1916 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= 66542 MiB
End job on node58 on Sun Jan 7 12:54:15 UTC 2007