0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/196364-1168122691/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.46 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.46
0.46 relations being loaded...
1.11
1.11 constraints being loaded...
1.39 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.39 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.39 => wckTime=1.033 cpuTime=0.89 mem=50M841
1.51
1.51 solver IterativeSystematicSolver being built...
1.68 => wckTime=1.325 cpuTime=1.03 mem=35M597
1.80
1.80 preprocessing
1.80 nbConstraintChecks=34547 nbValidityChecks=58254 nbPropagations=257 nbRevisions=2546 nbUselessRevisions=2206
1.80 nbSingletonTests=36 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.80 => wckTime=0.108 cpuTime=0.08 mem=35M597
1.86
1.86 search
1.86 run=0 nbConstraintChecks=32604 nbValidityChecks=68452 nbPropagations=663 nbRevisions=7363
1.86 nbUselessRevisions=6058 nbAssignments=34 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=61
1.86 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.178 cpuTime=0.14 mem=35M597
1.94
1.94 search
1.94 run=1 nbConstraintChecks=77676 nbValidityChecks=153720 nbPropagations=1749 nbRevisions=19981
1.94 nbUselessRevisions=16309 nbAssignments=79 nbFailedAssignments=41 nbBacktracks=26 nbVisitedNodes=139
1.94 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.252 cpuTime=0.21 mem=35M597
2.04
2.04 search
2.04 run=2 nbConstraintChecks=135071 nbValidityChecks=259939 nbPropagations=3406 nbRevisions=39528
2.04 nbUselessRevisions=32055 nbAssignments=131 nbFailedAssignments=64 nbBacktracks=50 nbVisitedNodes=225
2.04 nbRestartNogoods=4 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.357 cpuTime=0.3 mem=35M597
2.12
2.12 search
2.12 run=3 nbConstraintChecks=185773 nbValidityChecks=362800 nbPropagations=5709 nbRevisions=66026
2.12 nbUselessRevisions=53278 nbAssignments=205 nbFailedAssignments=97 nbBacktracks=84 nbVisitedNodes=347
2.12 nbRestartNogoods=7 mapSize=68 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.435 cpuTime=0.38 mem=35M597
2.30
2.30 search
2.31 run=4 nbConstraintChecks=301500 nbValidityChecks=608388 nbPropagations=9496 nbRevisions=111657
2.31 nbUselessRevisions=89818 nbAssignments=359 nbFailedAssignments=193 nbBacktracks=135 nbVisitedNodes=627
2.31 nbRestartNogoods=9 mapSize=116 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=0.617 cpuTime=0.55 mem=35M597
2.76
2.76 search
2.76 run=5 nbConstraintChecks=603724 nbValidityChecks=1240727 nbPropagations=16515 nbRevisions=198274
2.76 nbUselessRevisions=159146 nbAssignments=675 nbFailedAssignments=373 nbBacktracks=210 nbVisitedNodes=1132
2.76 nbRestartNogoods=18 mapSize=190 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.073 cpuTime=1.0 mem=35M597
3.10
3.10 search
3.10 run=6 nbConstraintChecks=826472 nbValidityChecks=1725093 nbPropagations=26211 nbRevisions=315988
3.10 nbUselessRevisions=253492 nbAssignments=971 nbFailedAssignments=488 nbBacktracks=323 nbVisitedNodes=1542
3.10 nbRestartNogoods=34 mapSize=277 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=1.409 cpuTime=1.33 mem=35M597
4.00
4.00 search
4.00 run=7 nbConstraintChecks=1443640 nbValidityChecks=2971078 nbPropagations=42264 nbRevisions=515265
4.00 nbUselessRevisions=412301 nbAssignments=1544 nbFailedAssignments=858 nbBacktracks=493 nbVisitedNodes=2595
4.00 nbRestartNogoods=45 mapSize=437 nbInferences=0 nbTooLargeKeys=0
4.00 => wckTime=2.313 cpuTime=2.21 mem=35M597
5.11
5.11 search
5.11 run=8 nbConstraintChecks=2208934 nbValidityChecks=4479872 nbPropagations=66772 nbRevisions=821248
5.11 nbUselessRevisions=655363 nbAssignments=2252 nbFailedAssignments=1303 nbBacktracks=750 nbVisitedNodes=3941
5.11 nbRestartNogoods=51 mapSize=675 nbInferences=0 nbTooLargeKeys=0
5.11 => wckTime=3.428 cpuTime=3.3 mem=35M597
6.31
6.31 search
6.31 run=9 nbConstraintChecks=3055021 nbValidityChecks=6153116 nbPropagations=100621 nbRevisions=1240511
6.31 nbUselessRevisions=988279 nbAssignments=3100 nbFailedAssignments=1759 nbBacktracks=1134 nbVisitedNodes=5476
6.31 nbRestartNogoods=66 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
6.31 => wckTime=4.623 cpuTime=4.48 mem=35M597
6.36
6.36 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=35M597)
7.93
7.93 search
7.93 run=10 nbConstraintChecks=4221608 nbValidityChecks=8514477 nbPropagations=149137 nbRevisions=1827061
7.93 nbUselessRevisions=1453390 nbAssignments=4478 nbFailedAssignments=2555 nbBacktracks=1710 nbVisitedNodes=8005
7.93 nbRestartNogoods=81
7.93 => wckTime=6.244 cpuTime=6.07 mem=35M597
11.51
11.51 search
11.51 run=11 nbConstraintChecks=6781639 nbValidityChecks=13397967 nbPropagations=221369 nbRevisions=2713763
11.51 nbUselessRevisions=2156222 nbAssignments=6372 nbFailedAssignments=3581 nbBacktracks=2574 nbVisitedNodes=11500
11.51 nbRestartNogoods=91
11.51 => wckTime=9.827 cpuTime=9.64 mem=35M597
15.19
15.19 search
15.19 run=12 nbConstraintChecks=9440349 nbValidityChecks=18623844 nbPropagations=323620 nbRevisions=3958380
15.19 nbUselessRevisions=3140440 nbAssignments=9022 nbFailedAssignments=4926 nbBacktracks=3871 nbVisitedNodes=16223
15.19 nbRestartNogoods=97
15.19 => wckTime=13.5 cpuTime=13.28 mem=35M597
22.37
22.37 search
22.37 run=13 nbConstraintChecks=14640648 nbValidityChecks=29093425 nbPropagations=482702 nbRevisions=5933063
22.37 nbUselessRevisions=4705106 nbAssignments=14236 nbFailedAssignments=8186 nbBacktracks=5818 nbVisitedNodes=26127
22.37 nbRestartNogoods=109
22.37 => wckTime=20.685 cpuTime=20.4 mem=35M597
33.09
33.09 search
33.09 run=14 nbConstraintChecks=22541072 nbValidityChecks=44938634 nbPropagations=725692 nbRevisions=8985141
33.09 nbUselessRevisions=7134103 nbAssignments=21913 nbFailedAssignments=12928 nbBacktracks=8737 nbVisitedNodes=40587
33.09 nbRestartNogoods=124
33.09 => wckTime=31.408 cpuTime=31.02 mem=35M597
45.21
45.21 search
45.21 run=15 nbConstraintChecks=31335010 nbValidityChecks=62269760 nbPropagations=1066076 nbRevisions=13198183
45.21 nbUselessRevisions=10480677 nbAssignments=30714 nbFailedAssignments=17330 nbBacktracks=13116
45.21 nbVisitedNodes=56187 nbRestartNogoods=133
45.21 => wckTime=43.522 cpuTime=43.02 mem=35M597
64.46
64.46 search
64.46 run=16 nbConstraintChecks=45216455 nbValidityChecks=89499804 nbPropagations=1561827 nbRevisions=19283990
64.46 nbUselessRevisions=15306682 nbAssignments=44005 nbFailedAssignments=24046 nbBacktracks=19686
64.46 nbVisitedNodes=79970 nbRestartNogoods=140
64.46 => wckTime=62.773 cpuTime=62.1 mem=35M597
95.36
95.36 search
95.36 run=17 nbConstraintChecks=67081371 nbValidityChecks=133814986 nbPropagations=2291470 nbRevisions=28412967
95.36 nbUselessRevisions=22582626 nbAssignments=65688 nbFailedAssignments=35871 nbBacktracks=29538
95.36 nbVisitedNodes=119437 nbRestartNogoods=154
95.36 => wckTime=93.675 cpuTime=92.71 mem=35M597
141.23
141.23 search
141.23 run=18 nbConstraintChecks=100312792 nbValidityChecks=198704983 nbPropagations=3382469 nbRevisions=41939230
141.23 nbUselessRevisions=33336030 nbAssignments=96188 nbFailedAssignments=51587 nbBacktracks=44316
141.23 nbVisitedNodes=174523 nbRestartNogoods=169
141.23 => wckTime=139.542 cpuTime=138.17 mem=35M597
231.56
231.56 search
231.56 run=19 nbConstraintChecks=165717347 nbValidityChecks=331675406 nbPropagations=5153174 nbRevisions=64387219
231.56 nbUselessRevisions=51264809 nbAssignments=158419 nbFailedAssignments=91630 nbBacktracks=66487
231.56 nbVisitedNodes=291993 nbRestartNogoods=190
231.56 => wckTime=229.869 cpuTime=227.68 mem=35M597
350.09
350.09 search
350.09 run=20 nbConstraintChecks=251894550 nbValidityChecks=504010665 nbPropagations=7858897 nbRevisions=98484147
350.09 nbUselessRevisions=78415765 nbAssignments=242280 nbFailedAssignments=142232 nbBacktracks=99742
350.09 nbVisitedNodes=448513 nbRestartNogoods=207
350.09 => wckTime=348.404 cpuTime=345.14 mem=35M597
504.70
504.70 search
504.70 run=21 nbConstraintChecks=363376540 nbValidityChecks=720880135 nbPropagations=11773403 nbRevisions=147320330
504.70 nbUselessRevisions=117199552 nbAssignments=343302 nbFailedAssignments=193352 nbBacktracks=149620
504.70 nbVisitedNodes=630493 nbRestartNogoods=227
504.70 => wckTime=503.011 cpuTime=498.35 mem=35M597
786.55
786.55 search
786.55 run=22 nbConstraintChecks=562842991 nbValidityChecks=1113991065 nbPropagations=17766261 nbRevisions=222047149
786.55 nbUselessRevisions=176455230 nbAssignments=507441 nbFailedAssignments=282645 nbBacktracks=224438
786.55 nbVisitedNodes=933099 nbRestartNogoods=253
786.55 => wckTime=784.859 cpuTime=777.65 mem=35M597
1232.68
1232.68 search
1232.68 run=23 nbConstraintChecks=888730631 nbValidityChecks=1763867093 nbPropagations=27372850 nbRevisions=341646153
1232.68 nbUselessRevisions=271175851 nbAssignments=801260 nbFailedAssignments=464230 nbBacktracks=336665
1232.68 nbVisitedNodes=1488532 nbRestartNogoods=286
1232.68 => wckTime=1230.993 cpuTime=1220.99 mem=35M597
1662.26
1662.26 search
1662.26 run=24 nbConstraintChecks=1220530230 nbValidityChecks=2412348213 nbPropagations=40562937 nbRevisions=504521073
1662.26 nbUselessRevisions=400251399 nbAssignments=1123154 nbFailedAssignments=617778 nbBacktracks=505007
1662.26 nbVisitedNodes=2054048 nbRestartNogoods=307
1662.26 => wckTime=1660.576 cpuTime=1650.46 mem=35M597
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-196364-1168122691 -o ROOT/results/node30/solver-196364-1168122691 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196364-1168122691/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.03 2.03 2.00 4/86 13133
/proc/meminfo: memFree=1063176/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=1784 CPUtime=0
/proc/13132/stat : 13132 (java) D 13130 13132 11782 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 160663098 1826816 160 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13132/statm: 446 160 125 14 0 91 0
[startup+0.102741 s]
/proc/loadavg: 2.03 2.03 2.00 4/86 13133
/proc/meminfo: memFree=1063176/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=907808 CPUtime=0.04
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 2421 0 1 0 4 0 0 0 16 0 4 0 160663098 929595392 2168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020809 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 226952 2168 1196 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808
[startup+0.514765 s]
/proc/loadavg: 2.03 2.03 2.00 4/86 13133
/proc/meminfo: memFree=1063176/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915328 CPUtime=0.44
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 6792 0 1 0 41 3 0 0 18 0 8 0 160663098 937295872 6531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228832 6531 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.34282 s]
/proc/loadavg: 2.03 2.03 2.00 3/93 13140
/proc/meminfo: memFree=996048/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915328 CPUtime=1.26
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 19113 0 1 0 117 9 0 0 25 0 8 0 160663098 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228832 18851 2160 14 0 215302 0
[pid=13132/tid=13134] ppid=13130 vsize=915328 CPUtime=0.04
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 2650 0 0 0 4 0 0 0 17 0 8 0 160663106 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915328 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915328 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160663106 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915328 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915328 CPUtime=0.1
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 160663110 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915328 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915328 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915328
[startup+2.97992 s]
/proc/loadavg: 2.03 2.03 2.00 3/93 13140
/proc/meminfo: memFree=979600/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=2.88
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23565 0 1 0 276 12 0 0 25 0 8 0 160663098 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228855 23301 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 17 0 8 0 160663106 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.2
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 372 0 0 0 20 0 0 0 15 0 8 0 160663110 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915420
[startup+6.26513 s]
/proc/loadavg: 2.03 2.03 2.00 3/93 13140
/proc/meminfo: memFree=979344/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=6.14
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23581 0 1 0 601 13 0 0 25 0 8 0 160663098 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228855 23314 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 17 0 8 0 160663106 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.24
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 160663110 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915420
[startup+12.7565 s]
/proc/loadavg: 2.03 2.03 2.00 3/93 13140
/proc/meminfo: memFree=979544/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=12.57
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23585 0 1 0 1244 13 0 0 25 0 8 0 160663098 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228855 23317 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915420
[startup+25.6274 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 13140
/proc/meminfo: memFree=979672/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=25.32
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23585 0 1 0 2519 13 0 0 25 0 8 0 160663098 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228855 23317 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915420
[startup+51.257 s]
/proc/loadavg: 2.01 2.02 2.00 5/93 13140
/proc/meminfo: memFree=979736/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=50.71
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23587 0 1 0 5058 13 0 0 25 0 8 0 160663098 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228855 23318 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915420
[startup+102.515 s]
/proc/loadavg: 2.00 2.02 2.00 4/93 13140
/proc/meminfo: memFree=979800/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=101.51
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23587 0 1 0 10137 14 0 0 25 0 8 0 160663098 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13132/statm: 228855 23318 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915420
[startup+162.532 s]
/proc/loadavg: 2.00 2.01 2.00 4/93 13140
/proc/meminfo: memFree=979800/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=160.99
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23587 0 1 0 16084 15 0 0 25 0 8 0 160663098 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.05
Current children cumulated vsize (KiB) 915420
[startup+1483.11 s]
/proc/loadavg: 1.00 1.24 1.62 3/85 13206
/proc/meminfo: memFree=998704/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1473.07
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 147282 25 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.07
Current children cumulated vsize (KiB) 915420
[startup+1543.13 s]
/proc/loadavg: 1.00 1.19 1.58 2/85 13206
/proc/meminfo: memFree=998768/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1533.07
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 153282 25 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.07
Current children cumulated vsize (KiB) 915420
[startup+1603.15 s]
/proc/loadavg: 1.00 1.15 1.54 2/85 13206
/proc/meminfo: memFree=998768/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1593.08
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 159283 25 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.08
Current children cumulated vsize (KiB) 915420
[startup+1663.18 s]
/proc/loadavg: 1.00 1.12 1.50 2/85 13206
/proc/meminfo: memFree=998768/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1653.09
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 165284 25 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.09
Current children cumulated vsize (KiB) 915420
[startup+1723.2 s]
/proc/loadavg: 1.00 1.10 1.47 3/85 13206
/proc/meminfo: memFree=998704/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1713.1
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 171285 25 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.1
Current children cumulated vsize (KiB) 915420
[startup+1783.23 s]
/proc/loadavg: 1.00 1.08 1.44 2/91 13280
/proc/meminfo: memFree=997568/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1773.11
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 177283 28 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.11
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.17 s]
/proc/loadavg: 1.00 1.07 1.42 2/91 13344
/proc/meminfo: memFree=997504/2055920 swapFree=4191880/4192956
[pid=13132] ppid=13130 vsize=915420 CPUtime=1800.05
/proc/13132/stat : 13132 (java) R 13130 13132 11782 0 -1 0 23589 0 1 0 179972 33 0 0 25 0 8 0 160663098 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13132/statm: 228855 23320 2531 14 0 215325 0
[pid=13132/tid=13134] ppid=13130 vsize=915420 CPUtime=0.16
/proc/13132/task/13134/stat : 13134 (java) S 13130 13132 11782 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13135] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13135/stat : 13135 (java) S 13130 13132 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13136] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13136/stat : 13136 (java) S 13130 13132 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160663106 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13137] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13137/stat : 13137 (java) S 13130 13132 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13138] ppid=13130 vsize=915420 CPUtime=0.25
/proc/13132/task/13138/stat : 13138 (java) S 13130 13132 11782 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13139] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13139/stat : 13139 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13132/tid=13140] ppid=13130 vsize=915420 CPUtime=0
/proc/13132/task/13140/stat : 13140 (java) S 13130 13132 11782 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160663110 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.21
CPU time (s): 1800.09
CPU user time (s): 1799.74
CPU system time (s): 0.352946
CPU usage (%): 99.4412
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23606
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= 37710
involuntary context switches= 48648
runsolver used 2.13667 s user time and 5.2602 s system time
The end
Begin job on node30 on Sat Jan 6 22:31:32 UTC 2007
IDJOB= 196364
IDBENCH= 3346
FILE ID= node30/196364-1168122691
PBS_JOBID= 3477444
Free space on /tmp= 66475 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-10_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196364-1168122691/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-196364-1168122691 -o ROOT/results/node30/solver-196364-1168122691 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196364-1168122691/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3f9b8298c383f679f7ce2538272a55d3
RANDOM SEED= 811810085
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.234
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.234
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: 1063592 kB
Buffers: 54436 kB
Cached: 782716 kB
SwapCached: 268 kB
Active: 245816 kB
Inactive: 657452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1063592 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4600 kB
Writeback: 0 kB
Mapped: 87196 kB
Slab: 73960 kB
Committed_AS: 3250548 kB
PageTables: 2212 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= 66480 MiB
End job on node30 on Sat Jan 6 23:01:42 UTC 2007