0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/206215-1168170194/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
1.48
1.48 constraints being loaded...
2.16 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.16 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.16 => wckTime=1.852 cpuTime=1.5 mem=59M105
2.31
2.31 solver IterativeSystematicSolver being built...
2.48 => wckTime=2.171 cpuTime=1.63 mem=66M150
2.62
2.62 preprocessing
2.62 nbConstraintChecks=51003 nbValidityChecks=84575 nbPropagations=284 nbRevisions=3054 nbUselessRevisions=2669
2.62 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.62 => wckTime=0.14 cpuTime=0.11 mem=66M150
2.71
2.71 search
2.71 run=0 nbConstraintChecks=42545 nbValidityChecks=91727 nbPropagations=779 nbRevisions=8893
2.71 nbUselessRevisions=7298 nbAssignments=38 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=68
2.71 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.71 => wckTime=0.229 cpuTime=0.19 mem=67M158
2.85
2.85 search
2.85 run=1 nbConstraintChecks=117339 nbValidityChecks=239806 nbPropagations=2145 nbRevisions=25431
2.85 nbUselessRevisions=20780 nbAssignments=86 nbFailedAssignments=46 nbBacktracks=26 nbVisitedNodes=153
2.85 nbRestartNogoods=2 mapSize=26 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=0.368 cpuTime=0.32 mem=67M158
2.97
2.97 search
2.97 run=2 nbConstraintChecks=180581 nbValidityChecks=375348 nbPropagations=4134 nbRevisions=49654
2.97 nbUselessRevisions=40420 nbAssignments=142 nbFailedAssignments=73 nbBacktracks=48 nbVisitedNodes=248
2.97 nbRestartNogoods=5 mapSize=46 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=0.483 cpuTime=0.43 mem=67M158
3.08
3.08 search
3.08 run=3 nbConstraintChecks=247369 nbValidityChecks=517172 nbPropagations=7136 nbRevisions=85244
3.08 nbUselessRevisions=69117 nbAssignments=223 nbFailedAssignments=111 nbBacktracks=82 nbVisitedNodes=385
3.08 nbRestartNogoods=7 mapSize=71 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=0.6 cpuTime=0.54 mem=67M158
3.41
3.41 search
3.41 run=4 nbConstraintChecks=438654 nbValidityChecks=927528 nbPropagations=12330 nbRevisions=146733
3.41 nbUselessRevisions=118253 nbAssignments=380 nbFailedAssignments=195 nbBacktracks=133 nbVisitedNodes=648
3.41 nbRestartNogoods=12 mapSize=120 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=0.927 cpuTime=0.86 mem=67M158
3.91
3.91 search
3.91 run=5 nbConstraintChecks=738136 nbValidityChecks=1571665 nbPropagations=20187 nbRevisions=244389
3.91 nbUselessRevisions=196961 nbAssignments=607 nbFailedAssignments=300 nbBacktracks=208 nbVisitedNodes=995
3.91 nbRestartNogoods=21 mapSize=190 nbInferences=0 nbTooLargeKeys=0
3.91 => wckTime=1.432 cpuTime=1.36 mem=67M158
4.46
4.47 search
4.47 run=6 nbConstraintChecks=1075050 nbValidityChecks=2279858 nbPropagations=31735 nbRevisions=386644
4.47 nbUselessRevisions=311166 nbAssignments=868 nbFailedAssignments=440 nbBacktracks=322 nbVisitedNodes=1466
4.47 nbRestartNogoods=25 mapSize=285 nbInferences=0 nbTooLargeKeys=0
4.47 => wckTime=1.983 cpuTime=1.91 mem=67M158
5.33
5.33 search
5.33 run=7 nbConstraintChecks=1593583 nbValidityChecks=3346630 nbPropagations=48052 nbRevisions=592153
5.33 nbUselessRevisions=476026 nbAssignments=1249 nbFailedAssignments=642 nbBacktracks=492 nbVisitedNodes=2155
5.33 nbRestartNogoods=32 mapSize=429 nbInferences=0 nbTooLargeKeys=0
5.33 => wckTime=2.85 cpuTime=2.76 mem=67M158
6.37
6.37 search
6.37 run=8 nbConstraintChecks=2202607 nbValidityChecks=4686277 nbPropagations=72735 nbRevisions=892502
6.37 nbUselessRevisions=714960 nbAssignments=1892 nbFailedAssignments=1007 nbBacktracks=748 nbVisitedNodes=3321
6.37 nbRestartNogoods=43 mapSize=665 nbInferences=0 nbTooLargeKeys=0
6.37 => wckTime=3.89 cpuTime=3.78 mem=67M158
8.46
8.46 search
8.46 run=9 nbConstraintChecks=3493682 nbValidityChecks=7382913 nbPropagations=110109 nbRevisions=1359472
8.46 nbUselessRevisions=1086653 nbAssignments=2934 nbFailedAssignments=1656 nbBacktracks=1133 nbVisitedNodes=5280
8.46 nbRestartNogoods=54 mapSize=1001 nbInferences=0 nbTooLargeKeys=0
8.46 => wckTime=5.981 cpuTime=5.84 mem=67M158
8.60
8.60 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=67M158)
11.15
11.15 search
11.15 run=10 nbConstraintChecks=5261510 nbValidityChecks=11042123 nbPropagations=167018 nbRevisions=2088358
11.15 nbUselessRevisions=1668347 nbAssignments=4387 nbFailedAssignments=2524 nbBacktracks=1710 nbVisitedNodes=7998
11.15 nbRestartNogoods=64
11.15 => wckTime=8.672 cpuTime=8.5 mem=67M158
14.42
14.42 search
14.42 run=11 nbConstraintChecks=7312272 nbValidityChecks=15535939 nbPropagations=254527 nbRevisions=3163309
14.42 nbUselessRevisions=2523025 nbAssignments=6801 nbFailedAssignments=4064 nbBacktracks=2576 nbVisitedNodes=12535
14.42 nbRestartNogoods=72
14.42 => wckTime=11.935 cpuTime=11.73 mem=67M158
20.30
20.30 search
20.30 run=12 nbConstraintChecks=10989729 nbValidityChecks=23237593 nbPropagations=385245 nbRevisions=4793080
20.30 nbUselessRevisions=3820163 nbAssignments=9890 nbFailedAssignments=5849 nbBacktracks=3873 nbVisitedNodes=18312
20.30 nbRestartNogoods=85
20.30 => wckTime=17.815 cpuTime=17.57 mem=67M158
28.20
28.20 search
28.20 run=13 nbConstraintChecks=15990269 nbValidityChecks=33817142 nbPropagations=582023 nbRevisions=7212600
28.20 nbUselessRevisions=5744666 nbAssignments=14405 nbFailedAssignments=8411 nbBacktracks=5819 nbVisitedNodes=26702
28.20 nbRestartNogoods=103
28.20 => wckTime=25.723 cpuTime=25.4 mem=67M158
39.36
39.36 search
39.36 run=14 nbConstraintChecks=22967911 nbValidityChecks=48656579 nbPropagations=881142 nbRevisions=10831624
39.36 nbUselessRevisions=8619565 nbAssignments=21704 nbFailedAssignments=12770 nbBacktracks=8738 nbVisitedNodes=40366
39.36 nbRestartNogoods=121
39.36 => wckTime=36.875 cpuTime=36.44 mem=67M158
68.69
68.69 search
68.69 run=15 nbConstraintChecks=41083840 nbValidityChecks=86168317 nbPropagations=1352634 nbRevisions=16745851
68.69 nbUselessRevisions=13307334 nbAssignments=33661 nbFailedAssignments=20340 nbBacktracks=13118
68.69 nbVisitedNodes=63196 nbRestartNogoods=133
68.69 => wckTime=66.212 cpuTime=65.51 mem=67M158
99.69
99.69 search
99.69 run=16 nbConstraintChecks=60856963 nbValidityChecks=128315120 nbPropagations=2068431 nbRevisions=25686306
99.69 nbUselessRevisions=20383689 nbAssignments=50742 nbFailedAssignments=30845 nbBacktracks=19686
99.69 nbVisitedNodes=95553 nbRestartNogoods=152
99.69 => wckTime=97.204 cpuTime=96.22 mem=67M158
136.41
136.41 search
136.41 run=17 nbConstraintChecks=83897746 nbValidityChecks=178513248 nbPropagations=3122040 nbRevisions=38484534
136.41 nbUselessRevisions=30496476 nbAssignments=76673 nbFailedAssignments=46915 nbBacktracks=29539
136.41 nbVisitedNodes=143962 nbRestartNogoods=162
136.41 => wckTime=133.93 cpuTime=132.6 mem=67M158
210.58
210.58 search
210.58 run=18 nbConstraintChecks=130377943 nbValidityChecks=274391617 nbPropagations=4693517 nbRevisions=57970917
210.58 nbUselessRevisions=45919714 nbAssignments=112810 nbFailedAssignments=68263 nbBacktracks=44320
210.58 nbVisitedNodes=211747 nbRestartNogoods=187
210.58 => wckTime=208.099 cpuTime=206.12 mem=67M158
314.14
314.14 search
314.14 run=19 nbConstraintChecks=198790281 nbValidityChecks=413147627 nbPropagations=6975882 nbRevisions=87005585
314.14 nbUselessRevisions=68977711 nbAssignments=170316 nbFailedAssignments=103570 nbBacktracks=66488
314.14 nbVisitedNodes=319244 nbRestartNogoods=201
314.14 => wckTime=311.661 cpuTime=308.74 mem=67M158
493.05
493.05 search
493.05 run=20 nbConstraintChecks=311385733 nbValidityChecks=645869680 nbPropagations=10462541 nbRevisions=131183263
493.05 nbUselessRevisions=103978475 nbAssignments=252308 nbFailedAssignments=152287 nbBacktracks=99740
493.05 nbVisitedNodes=473158 nbRestartNogoods=210
493.05 => wckTime=490.567 cpuTime=486.07 mem=67M158
685.47
685.47 search
685.47 run=21 nbConstraintChecks=431047782 nbValidityChecks=897882219 nbPropagations=15613035 nbRevisions=194915039
685.47 nbUselessRevisions=154439018 nbAssignments=366113 nbFailedAssignments=216205 nbBacktracks=149618
685.47 nbVisitedNodes=683086 nbRestartNogoods=243
685.47 => wckTime=682.984 cpuTime=676.77 mem=67M158
1095.74
1095.74 search
1095.74 run=22 nbConstraintChecks=688077158 nbValidityChecks=1436574103 nbPropagations=23664199 nbRevisions=295273819
1095.74 nbUselessRevisions=233709774 nbAssignments=562158 nbFailedAssignments=337424 nbBacktracks=224437
1095.74 nbVisitedNodes=1053733 nbRestartNogoods=258
1095.74 => wckTime=1093.26 cpuTime=1084.33 mem=67M158
1607.01
1607.01 search
1607.01 run=23 nbConstraintChecks=1016728169 nbValidityChecks=2118918476 nbPropagations=35659049 nbRevisions=443036531
1607.01 nbUselessRevisions=350291875 nbAssignments=833658 nbFailedAssignments=496689 nbBacktracks=336665
1607.01 nbVisitedNodes=1561092 nbRestartNogoods=276
1607.01 => wckTime=1604.532 cpuTime=1592.98 mem=67M158
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-206215-1168170194 -o ROOT/results/node48/solver-206215-1168170194 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206215-1168170194/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.13 1.64 1.26 4/81 31976
/proc/meminfo: memFree=1059760/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=18540 CPUtime=0
/proc/31975/stat : 31975 (runsolver) R 31973 31975 31708 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165418396 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31975/statm: 4635 279 244 17 0 2626 0
[startup+0.102965 s]
/proc/loadavg: 2.13 1.64 1.26 4/81 31976
/proc/meminfo: memFree=1059760/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=913068 CPUtime=0.07
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 2860 0 1 0 6 1 0 0 25 0 8 0 165418396 934981632 2606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.511 s]
/proc/loadavg: 2.13 1.64 1.26 4/81 31976
/proc/meminfo: memFree=1059760/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915328 CPUtime=0.48
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 7933 0 1 0 44 4 0 0 25 0 8 0 165418396 937295872 7672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228832 7672 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33208 s]
/proc/loadavg: 2.13 1.64 1.26 3/88 31983
/proc/meminfo: memFree=992504/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915328 CPUtime=1.29
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 19100 0 1 0 120 9 0 0 25 0 8 0 165418396 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228832 18838 2149 14 0 215302 0
[pid=31975/tid=31977] ppid=31973 vsize=915328 CPUtime=0.04
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 2682 0 0 0 4 0 0 0 17 0 8 0 165418401 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915328 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915328 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915328 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915328 CPUtime=0.08
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 165418405 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915328 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915328 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.97423 s]
/proc/loadavg: 2.13 1.64 1.26 4/88 31983
/proc/meminfo: memFree=951608/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=2.92
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32697 0 1 0 274 18 0 0 25 0 8 0 165418396 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32432 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 17 0 8 0 165418401 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.18
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 370 0 0 0 18 0 0 0 15 0 8 0 165418405 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915424
[startup+6.17952 s]
/proc/loadavg: 2.12 1.65 1.27 3/88 31983
/proc/meminfo: memFree=939072/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=6.09
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32713 0 1 0 591 18 0 0 25 0 8 0 165418396 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32445 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 17 0 8 0 165418401 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.22
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 383 0 0 0 21 1 0 0 15 0 8 0 165418405 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937394176 32445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915424
[startup+12.6511 s]
/proc/loadavg: 2.11 1.65 1.27 3/88 31983
/proc/meminfo: memFree=938176/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=12.5
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32725 0 1 0 1232 18 0 0 25 0 8 0 165418396 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32453 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915424
[startup+25.5133 s]
/proc/loadavg: 2.09 1.67 1.28 3/88 31983
/proc/meminfo: memFree=936576/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=25.25
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32725 0 1 0 2507 18 0 0 25 0 8 0 165418396 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32453 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915424
[startup+51.1297 s]
/proc/loadavg: 2.11 1.71 1.30 3/88 31983
/proc/meminfo: memFree=933128/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=50.63
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32725 0 1 0 5044 19 0 0 25 0 8 0 165418396 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32453 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915424
[startup+102.352 s]
/proc/loadavg: 2.05 1.75 1.34 3/88 31983
/proc/meminfo: memFree=926536/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=101.39
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32726 0 1 0 10120 19 0 0 25 0 8 0 165418396 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32453 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165418405 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915424
[startup+162.439 s]
/proc/loadavg: 2.10 1.81 1.38 3/88 31983
/proc/meminfo: memFree=921160/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=160.94
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32726 0 1 0 16074 20 0 0 25 0 8 0 165418396 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.55
Current children cumulated vsize (KiB) 915424
[startup+1484.17 s]
/proc/loadavg: 2.00 2.00 1.83 3/88 32252
/proc/meminfo: memFree=1577608/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1473.32
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 147282 50 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.01
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.32
Current children cumulated vsize (KiB) 915424
[startup+1544.24 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 32252
/proc/meminfo: memFree=1577608/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1533.11
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 153260 51 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.02
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 2 0 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.11
Current children cumulated vsize (KiB) 915424
[startup+1604.32 s]
/proc/loadavg: 2.00 2.00 1.85 3/88 32252
/proc/meminfo: memFree=1577608/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1592.9
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 159239 51 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.03
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.9
Current children cumulated vsize (KiB) 915424
[startup+1664.39 s]
/proc/loadavg: 2.00 2.00 1.85 3/88 32252
/proc/meminfo: memFree=1577608/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1652.65
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 165214 51 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.03
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.65
Current children cumulated vsize (KiB) 915424
[startup+1724.47 s]
/proc/loadavg: 2.00 2.00 1.86 3/88 32252
/proc/meminfo: memFree=1577544/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1712.44
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 171192 52 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.03
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.44
Current children cumulated vsize (KiB) 915424
[startup+1784.55 s]
/proc/loadavg: 2.00 2.00 1.86 3/88 32252
/proc/meminfo: memFree=1577608/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1772.22
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 177170 52 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.03
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.22
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.53 s]
/proc/loadavg: 2.00 2.00 1.87 3/88 32252
/proc/meminfo: memFree=1577544/2055920 swapFree=4192812/4192956
[pid=31975] ppid=31973 vsize=915424 CPUtime=1800.06
/proc/31975/stat : 31975 (java) R 31973 31975 31708 0 -1 0 32727 0 1 0 179954 52 0 0 25 0 8 0 165418396 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31975/statm: 228856 32454 2531 14 0 215326 0
[pid=31975/tid=31977] ppid=31973 vsize=915424 CPUtime=0.41
/proc/31975/task/31977/stat : 31977 (java) S 31973 31975 31708 0 -1 64 15713 0 0 0 34 7 0 0 16 0 8 0 165418401 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31978] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31978/stat : 31978 (java) S 31973 31975 31708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31979] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31979/stat : 31979 (java) S 31973 31975 31708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165418402 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31980] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31980/stat : 31980 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31981] ppid=31973 vsize=915424 CPUtime=0.24
/proc/31975/task/31981/stat : 31981 (java) S 31973 31975 31708 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31982] ppid=31973 vsize=915424 CPUtime=0
/proc/31975/task/31982/stat : 31982 (java) S 31973 31975 31708 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31975/tid=31983] ppid=31973 vsize=915424 CPUtime=0.03
/proc/31975/task/31983/stat : 31983 (java) S 31973 31975 31708 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 165418405 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.6
CPU time (s): 1800.13
CPU user time (s): 1799.58
CPU system time (s): 0.542917
CPU usage (%): 99.3118
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.542917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32744
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= 37806
involuntary context switches= 70140
runsolver used 2.29665 s user time and 4.78527 s system time
The end
Begin job on node48 on Sun Jan 7 11:43:16 UTC 2007
IDJOB= 206215
IDBENCH= 4191
FILE ID= node48/206215-1168170194
PBS_JOBID= 3479060
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206215-1168170194/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-206215-1168170194 -o ROOT/results/node48/solver-206215-1168170194 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206215-1168170194/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0c16901ffb9b279c6d92aac488c3c21
RANDOM SEED= 122788269
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1060368 kB
Buffers: 47248 kB
Cached: 160288 kB
SwapCached: 0 kB
Active: 818420 kB
Inactive: 117700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1060368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7572 kB
Writeback: 0 kB
Mapped: 746668 kB
Slab: 43164 kB
Committed_AS: 4346372 kB
PageTables: 3192 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= 66551 MiB
End job on node48 on Sun Jan 7 12:13:30 UTC 2007