0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/196221-1168120760/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.96
0.96 constraints being loaded...
1.28 nbConstraints=72 nbRelationTypes=72 nbExtensionStructures=72 nbSharedExtensionStructures=0
1.28 nbConflictsStructures=72 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
1.28 => wckTime=0.961 cpuTime=0.84 mem=44M45
1.39
1.39 solver IterativeSystematicSolver being built...
1.56 => wckTime=1.242 cpuTime=0.98 mem=34M193
1.67
1.67 preprocessing
1.67 nbConstraintChecks=36030 nbValidityChecks=55065 nbPropagations=216 nbRevisions=2241 nbUselessRevisions=1895
1.67 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.67 => wckTime=0.106 cpuTime=0.08 mem=34M193
1.73
1.73 search
1.73 run=0 nbConstraintChecks=31670 nbValidityChecks=63718 nbPropagations=545 nbRevisions=6049
1.73 nbUselessRevisions=4868 nbAssignments=39 nbFailedAssignments=23 nbBacktracks=11 nbVisitedNodes=69
1.73 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.17 cpuTime=0.14 mem=34M193
1.84
1.84 search
1.84 run=1 nbConstraintChecks=101477 nbValidityChecks=189860 nbPropagations=1733 nbRevisions=19457
1.84 nbUselessRevisions=15513 nbAssignments=83 nbFailedAssignments=47 nbBacktracks=27 nbVisitedNodes=150
1.84 nbRestartNogoods=3 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.277 cpuTime=0.24 mem=34M193
1.97
1.97 search
1.97 run=2 nbConstraintChecks=191987 nbValidityChecks=356806 nbPropagations=3761 nbRevisions=41955
1.97 nbUselessRevisions=33283 nbAssignments=155 nbFailedAssignments=84 nbBacktracks=49 nbVisitedNodes=264
1.97 nbRestartNogoods=8 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.413 cpuTime=0.36 mem=34M193
2.14
2.14 search
2.14 run=3 nbConstraintChecks=304639 nbValidityChecks=577846 nbPropagations=6999 nbRevisions=78525
2.14 nbUselessRevisions=62078 nbAssignments=258 nbFailedAssignments=139 nbBacktracks=83 nbVisitedNodes=435
2.14 nbRestartNogoods=12 mapSize=77 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.577 cpuTime=0.53 mem=34M193
2.32
2.32 search
2.32 run=4 nbConstraintChecks=421963 nbValidityChecks=811979 nbPropagations=11743 nbRevisions=131479
2.32 nbUselessRevisions=103605 nbAssignments=385 nbFailedAssignments=200 nbBacktracks=134 nbVisitedNodes=645
2.32 nbRestartNogoods=18 mapSize=122 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=0.757 cpuTime=0.7 mem=34M193
2.74
2.74 search
2.74 run=5 nbConstraintChecks=701529 nbValidityChecks=1374634 nbPropagations=19329 nbRevisions=216371
2.74 nbUselessRevisions=169594 nbAssignments=598 nbFailedAssignments=335 nbBacktracks=209 nbVisitedNodes=1049
2.74 nbRestartNogoods=22 mapSize=196 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.181 cpuTime=1.11 mem=34M193
3.21
3.21 search
3.21 run=6 nbConstraintChecks=1057734 nbValidityChecks=2047226 nbPropagations=30167 nbRevisions=338666
3.21 nbUselessRevisions=264938 nbAssignments=919 nbFailedAssignments=537 nbBacktracks=323 nbVisitedNodes=1642
3.21 nbRestartNogoods=26 mapSize=296 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=1.651 cpuTime=1.58 mem=34M193
4.01
4.01 search
4.01 run=7 nbConstraintChecks=1682069 nbValidityChecks=3153048 nbPropagations=46760 nbRevisions=524534
4.01 nbUselessRevisions=409735 nbAssignments=1349 nbFailedAssignments=783 nbBacktracks=494 nbVisitedNodes=2426
4.01 nbRestartNogoods=33 mapSize=454 nbInferences=0 nbTooLargeKeys=0
4.01 => wckTime=2.449 cpuTime=2.37 mem=34M193
5.00
5.00 search
5.00 run=8 nbConstraintChecks=2385758 nbValidityChecks=4505351 nbPropagations=70692 nbRevisions=794869
5.00 nbUselessRevisions=620366 nbAssignments=2006 nbFailedAssignments=1179 nbBacktracks=750 nbVisitedNodes=3629
5.00 nbRestartNogoods=41 mapSize=681 nbInferences=0 nbTooLargeKeys=0
5.00 => wckTime=3.444 cpuTime=3.34 mem=34M193
6.69
6.69 search
6.69 run=9 nbConstraintChecks=3756620 nbValidityChecks=6898558 nbPropagations=106159 nbRevisions=1190845
6.69 nbUselessRevisions=928436 nbAssignments=2959 nbFailedAssignments=1719 nbBacktracks=1134 nbVisitedNodes=5333
6.69 nbRestartNogoods=55 mapSize=1012 nbInferences=0 nbTooLargeKeys=0
6.69 => wckTime=5.13 cpuTime=5.01 mem=34M193
6.77
6.77 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=34M193)
8.73
8.73 search
8.73 run=10 nbConstraintChecks=5227173 nbValidityChecks=9687376 nbPropagations=157854 nbRevisions=1772291
8.73 nbUselessRevisions=1380528 nbAssignments=4330 nbFailedAssignments=2495 nbBacktracks=1710 nbVisitedNodes=7832
8.73 nbRestartNogoods=66
8.73 => wckTime=7.171 cpuTime=7.03 mem=34M193
12.90
12.90 search
12.90 run=11 nbConstraintChecks=8384597 nbValidityChecks=15485556 nbPropagations=236242 nbRevisions=2682859
12.90 nbUselessRevisions=2093893 nbAssignments=6737 nbFailedAssignments=4033 nbBacktracks=2575 nbVisitedNodes=12381
12.90 nbRestartNogoods=73
12.90 => wckTime=11.34 cpuTime=11.18 mem=34M193
18.80
18.80 search
18.80 run=12 nbConstraintChecks=13247076 nbValidityChecks=24005447 nbPropagations=354764 nbRevisions=4046042
18.80 nbUselessRevisions=3160311 nbAssignments=10165 nbFailedAssignments=6159 nbBacktracks=3873 nbVisitedNodes=18757
18.80 nbRestartNogoods=79
18.80 => wckTime=17.243 cpuTime=17.05 mem=34M193
27.17
27.17 search
27.17 run=13 nbConstraintChecks=19334547 nbValidityChecks=35476619 nbPropagations=531264 nbRevisions=6119365
27.17 nbUselessRevisions=4782308 nbAssignments=15137 nbFailedAssignments=9179 nbBacktracks=5819 nbVisitedNodes=28100
27.17 nbRestartNogoods=90
27.17 => wckTime=25.611 cpuTime=25.38 mem=34M193
39.78
39.78 search
39.78 run=14 nbConstraintChecks=29116928 nbValidityChecks=53267172 nbPropagations=796741 nbRevisions=9226173
39.78 nbUselessRevisions=7211060 nbAssignments=22615 nbFailedAssignments=13727 nbBacktracks=8738 nbVisitedNodes=42060
39.78 nbRestartNogoods=109
39.78 => wckTime=38.224 cpuTime=37.92 mem=34M193
58.48
58.48 search
58.48 run=15 nbConstraintChecks=42801522 nbValidityChecks=79092216 nbPropagations=1192762 nbRevisions=13937858
58.48 nbUselessRevisions=10898702 nbAssignments=33828 nbFailedAssignments=20557 nbBacktracks=13116
58.48 nbVisitedNodes=63085 nbRestartNogoods=127
58.48 => wckTime=56.925 cpuTime=56.54 mem=34M193
84.13
84.13 search
84.13 run=16 nbConstraintChecks=63328589 nbValidityChecks=116220744 nbPropagations=1774870 nbRevisions=20769555
84.13 nbUselessRevisions=16240219 nbAssignments=49141 nbFailedAssignments=29296 nbBacktracks=19684
84.13 nbVisitedNodes=91167 nbRestartNogoods=137
84.13 => wckTime=82.572 cpuTime=82.07 mem=34M193
131.43
131.44 search
131.44 run=17 nbConstraintChecks=98035767 nbValidityChecks=181459165 nbPropagations=2671685 nbRevisions=31253128
131.44 nbUselessRevisions=24438737 nbAssignments=73674 nbFailedAssignments=43970 nbBacktracks=29538
131.44 nbVisitedNodes=137251 nbRestartNogoods=177
131.44 => wckTime=129.876 cpuTime=129.03 mem=34M193
191.69
191.69 search
191.69 run=18 nbConstraintChecks=145238000 nbValidityChecks=267474108 nbPropagations=4000788 nbRevisions=46778239
191.69 nbUselessRevisions=36579725 nbAssignments=109276 nbFailedAssignments=64791 nbBacktracks=44316
191.69 nbVisitedNodes=203315 nbRestartNogoods=212
191.69 => wckTime=190.13 cpuTime=188.94 mem=34M193
283.23
283.23 search
283.23 run=19 nbConstraintChecks=217009815 nbValidityChecks=398141727 nbPropagations=5976624 nbRevisions=69903297
283.23 nbUselessRevisions=54683776 nbAssignments=164172 nbFailedAssignments=97514 nbBacktracks=66484
283.23 nbVisitedNodes=305219 nbRestartNogoods=222
283.23 => wckTime=281.668 cpuTime=280.01 mem=34M193
421.73
421.73 search
421.73 run=20 nbConstraintChecks=325529888 nbValidityChecks=595091168 nbPropagations=8936275 nbRevisions=104466929
421.73 nbUselessRevisions=81716926 nbAssignments=243644 nbFailedAssignments=143722 nbBacktracks=99737
421.73 nbVisitedNodes=452338 nbRestartNogoods=263
421.73 => wckTime=420.17 cpuTime=417.85 mem=34M193
630.06
630.06 search
630.06 run=21 nbConstraintChecks=488390116 nbValidityChecks=890864419 nbPropagations=13371730 nbRevisions=156329015
630.06 nbUselessRevisions=122279126 nbAssignments=363966 nbFailedAssignments=214153 nbBacktracks=149615
630.06 nbVisitedNodes=675840 nbRestartNogoods=281
630.06 => wckTime=628.503 cpuTime=625.19 mem=34M193
919.60
919.61 search
919.61 run=22 nbConstraintChecks=713496996 nbValidityChecks=1302015173 nbPropagations=19856087 nbRevisions=232369708
919.61 nbUselessRevisions=181763558 nbAssignments=532495 nbFailedAssignments=313652 nbBacktracks=218621
919.61 nbVisitedNodes=989345 nbRestartNogoods=297
919.61 => wckTime=918.046 cpuTime=913.35 mem=34M193
919.61
919.61 global
919.61 nbConstraintChecks=713533026 nbValidityChecks=1302070238 nbPropagations=19856303 nbRevisions=232371949
919.61 nbUselessRevisions=181765453 nbRestartNogoods=297 solvingWckTime=918.047 solvingCpuTime=913.35 expiredTime=no
919.61 totalExploration=no nbFoundSolutions=1 globalCpuTime=914.38
919.61 => wckTime=919.292 cpuTime=914.33 mem=34M193
919.61
919.61 s SATISFIABLE
919.61 v 2 13 19 9 7 18 9 20 2 4 13 0 8 22 13 23 7 23 12 5 10 22 21 1
919.61 d NODES 532495
919.61 d CHECKS 713533026
919.61
919.61 totalWckTime=919.373 totalCpuTime=914.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-196221-1168120760 -o ROOT/results/node23/solver-196221-1168120760 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196221-1168120760/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.38 2.10 2.03 2/86 32487
/proc/meminfo: memFree=1356000/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=18540 CPUtime=0
/proc/32486/stat : 32486 (runsolver) R 32484 32486 31415 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 160470424 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32486/statm: 4635 279 244 17 0 2626 0
[startup+0.102516 s]
/proc/loadavg: 2.38 2.10 2.03 2/86 32487
/proc/meminfo: memFree=1356000/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=914988 CPUtime=0.07
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 2954 0 1 0 6 1 0 0 17 0 8 0 160470424 936947712 2700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.513589 s]
/proc/loadavg: 2.38 2.10 2.03 2/86 32487
/proc/meminfo: memFree=1356000/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915328 CPUtime=0.49
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 7576 0 1 0 44 5 0 0 18 0 8 0 160470424 937295872 7315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228832 7315 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34075 s]
/proc/loadavg: 2.38 2.10 2.03 3/93 32494
/proc/meminfo: memFree=1246760/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=1.31
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 19145 0 1 0 120 11 0 0 25 0 8 0 160470424 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 18882 2169 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.1
/proc/32486/task/32488/stat : 32488 (java) R 32484 32486 31415 0 -1 64 2663 0 0 0 10 0 0 0 16 0 8 0 160470429 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222394 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.09
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 316 0 0 0 8 1 0 0 16 0 8 0 160470432 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915416
[startup+2.97807 s]
/proc/loadavg: 2.38 2.10 2.03 3/93 32494
/proc/meminfo: memFree=1254568/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=2.94
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23224 0 1 0 280 14 0 0 25 0 8 0 160470424 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22960 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.19
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 367 0 0 0 18 1 0 0 15 0 8 0 160470432 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416
[startup+6.1807 s]
/proc/loadavg: 2.35 2.09 2.03 3/93 32494
/proc/meminfo: memFree=1207144/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=6.12
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23239 0 1 0 598 14 0 0 25 0 8 0 160470424 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22972 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 17 0 8 0 160470429 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.22
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 380 0 0 0 21 1 0 0 17 0 8 0 160470432 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915416
[startup+12.6629 s]
/proc/loadavg: 2.32 2.09 2.03 3/93 32494
/proc/meminfo: memFree=1197352/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=12.56
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23244 0 1 0 1242 14 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915416
[startup+25.5304 s]
/proc/loadavg: 2.27 2.09 2.03 3/93 32494
/proc/meminfo: memFree=1195624/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=25.38
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 2523 15 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915416
[startup+51.1674 s]
/proc/loadavg: 2.16 2.08 2.02 3/93 32494
/proc/meminfo: memFree=1069288/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=50.89
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 5074 15 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745149 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915416
[startup+102.434 s]
/proc/loadavg: 2.07 2.06 2.02 3/100 32521
/proc/meminfo: memFree=1064480/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=101.87
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 10172 15 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915416
[startup+162.468 s]
/proc/loadavg: 2.02 2.05 2.01 3/100 32647
/proc/meminfo: memFree=1064368/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=161.51
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 16136 15 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.1
Current children cumulated vsize (KiB) 915416
[startup+522.551 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 32693
/proc/meminfo: memFree=1065440/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=519.83
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 51964 19 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.83
Current children cumulated vsize (KiB) 915416
[startup+582.563 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 32693
/proc/meminfo: memFree=1065440/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=579.54
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 57935 19 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 579.54
Current children cumulated vsize (KiB) 915416
[startup+642.58 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 32693
/proc/meminfo: memFree=1065440/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=639.28
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 63908 20 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.28
Current children cumulated vsize (KiB) 915416
[startup+702.595 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 32693
/proc/meminfo: memFree=1065504/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=699
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 69880 20 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699
Current children cumulated vsize (KiB) 915416
[startup+762.605 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 32693
/proc/meminfo: memFree=1065440/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=758.73
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 75852 21 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 758.73
Current children cumulated vsize (KiB) 915416
[startup+822.616 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 32693
/proc/meminfo: memFree=1065504/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=818.45
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 81824 21 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 818.45
Current children cumulated vsize (KiB) 915416
[startup+882.621 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 32693
/proc/meminfo: memFree=1065504/2055920 swapFree=4192812/4192956
[pid=32486] ppid=32484 vsize=915416 CPUtime=878.17
/proc/32486/stat : 32486 (java) R 32484 32486 31415 0 -1 0 23245 0 1 0 87795 22 0 0 25 0 8 0 160470424 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32486/statm: 228854 22976 2531 14 0 215324 0
[pid=32486/tid=32488] ppid=32484 vsize=915416 CPUtime=0.15
/proc/32486/task/32488/stat : 32488 (java) S 32484 32486 31415 0 -1 64 6246 0 0 0 13 2 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32489] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32489/stat : 32489 (java) S 32484 32486 31415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32490] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32490/stat : 32490 (java) S 32484 32486 31415 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160470429 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32491] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32491/stat : 32491 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32492] ppid=32484 vsize=915416 CPUtime=0.24
/proc/32486/task/32492/stat : 32492 (java) S 32484 32486 31415 0 -1 64 385 0 0 0 22 2 0 0 16 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32493] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32493/stat : 32493 (java) S 32484 32486 31415 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32486/tid=32494] ppid=32484 vsize=915416 CPUtime=0
/proc/32486/task/32494/stat : 32494 (java) S 32484 32486 31415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160470432 937385984 22976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 878.17
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 919.659
CPU time (s): 915.008
CPU user time (s): 914.766
CPU system time (s): 0.241963
CPU usage (%): 99.4942
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 914.766
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23253
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= 19699
involuntary context switches= 35600
runsolver used 1.3238 s user time and 2.76158 s system time
The end
Begin job on node23 on Sat Jan 6 21:59:21 UTC 2007
IDJOB= 196221
IDBENCH= 3335
FILE ID= node23/196221-1168120760
PBS_JOBID= 3477417
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196221-1168120760/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-196221-1168120760 -o ROOT/results/node23/solver-196221-1168120760 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196221-1168120760/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1a2e5d96c6a61872cb1b48a21e2dca23
RANDOM SEED= 693269337
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.265
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.265
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: 1357184 kB
Buffers: 51348 kB
Cached: 475380 kB
SwapCached: 0 kB
Active: 259072 kB
Inactive: 361956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1357184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11696 kB
Writeback: 0 kB
Mapped: 114476 kB
Slab: 62532 kB
Committed_AS: 3174228 kB
PageTables: 2320 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= 66540 MiB
End job on node23 on Sat Jan 6 22:14:40 UTC 2007