0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/217817-1168249102/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=78 nbDomainTypes=2 minDomainSize=67 maxDomainSize=68
0.41 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.89 nbConstraints=2277 nbConvertedConstraints=2211 nbConvertConstraintsChecks=9113 nbExtensionStructures=2
0.89 nbSharedExtensionStructures=2209 nbConflictsStructures=2 nbSharedConflictsStructures=2209
0.89 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=69 nbEvaluationManagers=1
0.89 nbSharedEvaluationManagers=65 maxDegree=66 maxArity=3
0.89 => wckTime=0.59 cpuTime=0.45 mem=15M728
0.95
0.95 solver IterativeSystematicSolver being built...
1.12 => wckTime=0.82 cpuTime=0.59 mem=16M428
44.83
44.83 INFO : Stopping ESAC
44.83
44.83 preprocessing
44.83 nbConstraintChecks=153707199 nbValidityChecks=2299397 nbPropagations=8738 nbRevisions=99080
44.83 nbUselessRevisions=68789 nbSingletonTests=130 nbEffectiveSingletonTests=3 nbESACBranches=41 nbRemovedValues=575
44.83 detectedInconsistency=no
44.83 => wckTime=43.703 cpuTime=43.23 mem=16M428
46.19
46.19 search
46.19 run=0 nbConstraintChecks=4698761 nbValidityChecks=180589 nbPropagations=10766 nbRevisions=117183
46.19 nbUselessRevisions=81916 nbAssignments=26 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=46
46.19 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
46.19 => wckTime=45.062 cpuTime=44.57 mem=16M428
47.71
47.71 search
47.71 run=1 nbConstraintChecks=9973497 nbValidityChecks=504169 nbPropagations=25163 nbRevisions=270255
47.71 nbUselessRevisions=189616 nbAssignments=75 nbFailedAssignments=37 nbBacktracks=26 nbVisitedNodes=139
47.71 nbRestartNogoods=3 mapSize=26 nbInferences=0 nbTooLargeKeys=0
47.71 => wckTime=46.582 cpuTime=46.06 mem=16M428
48.93
48.93 search
48.93 run=2 nbConstraintChecks=14132461 nbValidityChecks=754689 nbPropagations=44229 nbRevisions=463927
48.93 nbUselessRevisions=327334 nbAssignments=141 nbFailedAssignments=75 nbBacktracks=48 nbVisitedNodes=265
48.93 nbRestartNogoods=9 mapSize=48 nbInferences=0 nbTooLargeKeys=0
48.93 => wckTime=47.804 cpuTime=47.28 mem=16M428
51.54
51.54 search
51.54 run=3 nbConstraintChecks=23151907 nbValidityChecks=1255597 nbPropagations=70786 nbRevisions=727781
51.54 nbUselessRevisions=516781 nbAssignments=238 nbFailedAssignments=133 nbBacktracks=81 nbVisitedNodes=453
51.54 nbRestartNogoods=12 mapSize=81 nbInferences=0 nbTooLargeKeys=0
51.54 => wckTime=50.41 cpuTime=49.86 mem=16M428
68.04
68.04 search
68.04 run=4 nbConstraintChecks=83071071 nbValidityChecks=2674735 nbPropagations=110009 nbRevisions=1107192
68.04 nbUselessRevisions=792524 nbAssignments=410 nbFailedAssignments=203 nbBacktracks=131 nbVisitedNodes=697
68.04 nbRestartNogoods=26 mapSize=131 nbInferences=0 nbTooLargeKeys=0
68.04 => wckTime=66.917 cpuTime=66.18 mem=16M428
71.37
71.37 search
71.37 run=5 nbConstraintChecks=94398819 nbValidityChecks=3402234 nbPropagations=161686 nbRevisions=1604433
71.37 nbUselessRevisions=1155956 nbAssignments=600 nbFailedAssignments=313 nbBacktracks=207 nbVisitedNodes=1066
71.37 nbRestartNogoods=28 mapSize=202 nbInferences=0 nbTooLargeKeys=0
71.37 => wckTime=70.247 cpuTime=69.47 mem=16M428
96.82
96.82 search
96.82 run=6 nbConstraintChecks=186933274 nbValidityChecks=6062629 nbPropagations=233033 nbRevisions=2298391
96.82 nbUselessRevisions=1662310 nbAssignments=926 nbFailedAssignments=458 nbBacktracks=325 nbVisitedNodes=1518
96.82 nbRestartNogoods=41 mapSize=245 nbInferences=0 nbTooLargeKeys=0
96.82 => wckTime=95.695 cpuTime=94.69 mem=17M403
116.20
116.20 search
116.20 run=7 nbConstraintChecks=257011219 nbValidityChecks=8095242 nbPropagations=328493 nbRevisions=3212054
116.20 nbUselessRevisions=2329785 nbAssignments=1357 nbFailedAssignments=636 nbBacktracks=497 nbVisitedNodes=2117
116.20 nbRestartNogoods=60 mapSize=309 nbInferences=0 nbTooLargeKeys=0
116.20 => wckTime=115.078 cpuTime=113.87 mem=17M403
123.74
123.74 search
123.74 run=8 nbConstraintChecks=284601301 nbValidityChecks=9514071 nbPropagations=438565 nbRevisions=4273447
123.74 nbUselessRevisions=3096320 nbAssignments=1803 nbFailedAssignments=789 nbBacktracks=757 nbVisitedNodes=2772
123.74 nbRestartNogoods=66 mapSize=410 nbInferences=0 nbTooLargeKeys=0
123.74 => wckTime=122.61 cpuTime=121.31 mem=17M403
128.30
128.30 search
128.30 run=9 nbConstraintChecks=299379018 nbValidityChecks=10587729 nbPropagations=583714 nbRevisions=5618609
128.30 nbUselessRevisions=4071507 nbAssignments=2528 nbFailedAssignments=1111 nbBacktracks=1149 nbVisitedNodes=3984
128.30 nbRestartNogoods=80 mapSize=598 nbInferences=0 nbTooLargeKeys=0
128.30 => wckTime=127.172 cpuTime=125.83 mem=17M403
149.21
149.21 search
149.21 run=10 nbConstraintChecks=376096184 nbValidityChecks=14092032 nbPropagations=764702 nbRevisions=7296938
149.21 nbUselessRevisions=5265264 nbAssignments=3473 nbFailedAssignments=1461 nbBacktracks=1726 nbVisitedNodes=5472
149.21 nbRestartNogoods=98 mapSize=862 nbInferences=0 nbTooLargeKeys=0
149.21 => wckTime=148.083 cpuTime=146.52 mem=18M378
158.09
158.09 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=18M378)
165.14
165.14 search
165.14 run=11 nbConstraintChecks=433910805 nbValidityChecks=16852935 nbPropagations=983273 nbRevisions=9342967
165.14 nbUselessRevisions=6699248 nbAssignments=4684 nbFailedAssignments=1794 nbBacktracks=2600 nbVisitedNodes=7215
165.14 nbRestartNogoods=105
165.14 => wckTime=164.018 cpuTime=162.29 mem=18M378
194.64
194.64 search
194.64 run=12 nbConstraintChecks=540539704 nbValidityChecks=21293963 nbPropagations=1269409 nbRevisions=11998270
194.64 nbUselessRevisions=8528997 nbAssignments=6584 nbFailedAssignments=2376 nbBacktracks=3900 nbVisitedNodes=10039
194.64 nbRestartNogoods=112
194.64 => wckTime=193.518 cpuTime=191.5 mem=18M378
226.02
226.02 search
226.02 run=13 nbConstraintChecks=651123423 nbValidityChecks=26607748 nbPropagations=1663353 nbRevisions=15519156
226.02 nbUselessRevisions=10931279 nbAssignments=9509 nbFailedAssignments=3342 nbBacktracks=5853 nbVisitedNodes=14462
226.02 nbRestartNogoods=122
226.02 => wckTime=224.898 cpuTime=222.58 mem=18M378
273.74
273.74 search
273.74 run=14 nbConstraintChecks=817365800 nbValidityChecks=35264612 nbPropagations=2254555 nbRevisions=20611144
273.74 nbUselessRevisions=14362753 nbAssignments=14130 nbFailedAssignments=5035 nbBacktracks=8774 nbVisitedNodes=21729
273.74 nbRestartNogoods=132
273.74 => wckTime=272.613 cpuTime=269.83 mem=18M378
351.65
351.65 search
351.65 run=15 nbConstraintChecks=1088640664 nbValidityChecks=51276896 nbPropagations=3239215 nbRevisions=29190467
351.65 nbUselessRevisions=20098414 nbAssignments=21839 nbFailedAssignments=8359 nbBacktracks=13152
351.65 nbVisitedNodes=34769 nbRestartNogoods=146
351.65 => wckTime=350.525 cpuTime=346.97 mem=18M378
506.61
506.61 search
506.61 run=16 nbConstraintChecks=1657812959 nbValidityChecks=82227190 nbPropagations=4825843 nbRevisions=45069756
506.61 nbUselessRevisions=30648831 nbAssignments=33994 nbFailedAssignments=13940 nbBacktracks=19720
506.61 nbVisitedNodes=55673 nbRestartNogoods=163
506.61 => wckTime=505.482 cpuTime=500.39 mem=18M378
688.30
688.30 search
688.30 run=17 nbConstraintChecks=2323430835 nbValidityChecks=127673516 nbPropagations=7457160 nbRevisions=74463086
688.30 nbUselessRevisions=50512391 nbAssignments=54623 nbFailedAssignments=24710 nbBacktracks=29572
688.30 nbVisitedNodes=92553 nbRestartNogoods=179
688.30 => wckTime=687.181 cpuTime=680.28 mem=18M378
916.98
916.98 search
916.98 run=18 nbConstraintChecks=3134845985 nbValidityChecks=195507401 nbPropagations=11849100 nbRevisions=125607523
916.98 nbUselessRevisions=85733093 nbAssignments=87432 nbFailedAssignments=42722 nbBacktracks=44351
916.98 nbVisitedNodes=152429 nbRestartNogoods=197
916.98 => wckTime=915.856 cpuTime=906.69 mem=18M378
1234.75
1234.75 search
1234.75 run=19 nbConstraintChecks=4249703247 nbValidityChecks=294368365 nbPropagations=18880109 nbRevisions=208679674
1234.75 nbUselessRevisions=143516700 nbAssignments=140927 nbFailedAssignments=74027 nbBacktracks=66522
1234.75 nbVisitedNodes=250812 nbRestartNogoods=213
1234.75 => wckTime=1233.623 cpuTime=1221.29 mem=18M378
1453.68
1453.68 search
1453.68 run=20 nbConstraintChecks=5012562152 nbValidityChecks=365006073 nbPropagations=28003490 nbRevisions=316369098
1453.68 nbUselessRevisions=218895641 nbAssignments=184057 nbFailedAssignments=100360 nbBacktracks=83320
1453.68 nbVisitedNodes=330067 nbRestartNogoods=228
1453.68 => wckTime=1452.559 cpuTime=1437.96 mem=18M378
1453.69
1453.69 global
1453.69 nbConstraintChecks=5166269351 nbValidityChecks=367305470 nbPropagations=28012228 nbRevisions=316468178
1453.69 nbUselessRevisions=218964430 nbRestartNogoods=228 solvingWckTime=1452.56 solvingCpuTime=1437.96 expiredTime=no
1453.69 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1438.6
1453.69 => wckTime=1453.384 cpuTime=1438.55 mem=18M378
1453.69
1453.69 s UNSATISFIABLE
1453.69 d NODES 184057
1453.69 d CHECKS 5166269351
1453.69
1453.69 totalWckTime=1453.462 totalCpuTime=1438.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-217817-1168249102 -o ROOT/results/node22/solver-217817-1168249102 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217817-1168249102/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: 1.85 1.95 1.82 5/94 15854
/proc/meminfo: memFree=1290208/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=18540 CPUtime=0
/proc/15853/stat : 15853 (runsolver) R 15851 15853 15400 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173304758 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15853/statm: 4635 279 244 17 0 2626 0
[startup+0.106685 s]
/proc/loadavg: 1.85 1.95 1.82 5/94 15854
/proc/meminfo: memFree=1290208/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=914988 CPUtime=0.09
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 3016 0 1 0 8 1 0 0 25 0 8 0 173304758 936947712 2762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228747 2762 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514748 s]
/proc/loadavg: 1.85 1.95 1.82 5/94 15854
/proc/meminfo: memFree=1290208/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915328 CPUtime=0.49
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 6438 0 1 0 46 3 0 0 25 0 8 0 173304758 937295872 6177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228832 6177 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34387 s]
/proc/loadavg: 1.85 1.95 1.82 4/101 15861
/proc/meminfo: memFree=1191848/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1.3
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9254 0 1 0 117 13 0 0 25 0 8 0 173304758 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 8992 2540 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 173304762 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.22
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 457 0 0 0 21 1 0 0 15 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764
[startup+2.98112 s]
/proc/loadavg: 1.85 1.95 1.82 5/101 15861
/proc/meminfo: memFree=1166760/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=2.94
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9261 0 1 0 280 14 0 0 25 0 8 0 173304758 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 8998 2540 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.23
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 463 0 0 0 22 1 0 0 15 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915764
[startup+6.27463 s]
/proc/loadavg: 1.86 1.95 1.82 3/102 15862
/proc/meminfo: memFree=1153256/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=6.2
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9273 0 1 0 606 14 0 0 25 0 8 0 173304758 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9008 2542 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 173304762 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.25
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 472 0 0 0 24 1 0 0 15 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915764
[startup+12.7516 s]
/proc/loadavg: 1.87 1.95 1.82 3/102 15862
/proc/meminfo: memFree=1153272/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=12.59
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9282 0 1 0 1245 14 0 0 25 0 8 0 173304758 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9012 2542 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 173304762 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.26
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 478 0 0 0 25 1 0 0 16 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915764
[startup+25.5976 s]
/proc/loadavg: 1.90 1.96 1.82 3/102 15862
/proc/meminfo: memFree=1153400/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=25.31
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9283 0 1 0 2517 14 0 0 25 0 8 0 173304758 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9012 2542 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.26
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 478 0 0 0 25 1 0 0 16 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915764
[startup+51.2966 s]
/proc/loadavg: 1.93 1.96 1.82 3/102 15862
/proc/meminfo: memFree=1153400/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=50.78
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9294 0 1 0 5063 15 0 0 25 0 8 0 173304758 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9021 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.27
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 485 0 0 0 26 1 0 0 16 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915764
[startup+102.505 s]
/proc/loadavg: 2.04 1.98 1.83 3/102 15862
/proc/meminfo: memFree=1153464/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=101.48
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9302 0 1 0 10133 15 0 0 25 0 8 0 173304758 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9025 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.28
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 490 0 0 0 27 1 0 0 16 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915764
[startup+162.545 s]
/proc/loadavg: 2.01 1.98 1.84 3/102 15862
/proc/meminfo: memFree=1152184/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=160.93
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9666 0 1 0 16077 16 0 0 25 0 8 0 173304758 937742336 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 993.4
Current children cumulated vsize (KiB) 915764
[startup+1063.44 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 15862
/proc/meminfo: memFree=1118264/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1052.91
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9691 0 1 0 105272 19 0 0 25 0 8 0 173304758 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9401 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1052.91
Current children cumulated vsize (KiB) 915764
[startup+1123.49 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 15862
/proc/meminfo: memFree=1118200/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1112.38
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9691 0 1 0 111219 19 0 0 25 0 8 0 173304758 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9401 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1112.38
Current children cumulated vsize (KiB) 915764
[startup+1183.55 s]
/proc/loadavg: 2.08 2.03 1.92 3/102 15862
/proc/meminfo: memFree=1118136/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1171.82
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9691 0 1 0 117163 19 0 0 25 0 8 0 173304758 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9401 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1171.82
Current children cumulated vsize (KiB) 915764
[startup+1243.62 s]
/proc/loadavg: 2.03 2.02 1.92 3/102 15862
/proc/meminfo: memFree=1118072/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1231.29
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 123110 19 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977413 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1231.29
Current children cumulated vsize (KiB) 915764
[startup+1303.68 s]
/proc/loadavg: 2.01 2.02 1.92 3/102 15862
/proc/meminfo: memFree=1118008/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1290.78
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 129059 19 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1290.78
Current children cumulated vsize (KiB) 915764
[startup+1363.77 s]
/proc/loadavg: 2.04 2.03 1.93 3/108 15926
/proc/meminfo: memFree=1116504/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1350.21
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 135001 20 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1350.21
Current children cumulated vsize (KiB) 915764
[startup+1423.86 s]
/proc/loadavg: 2.01 2.02 1.93 3/108 16018
/proc/meminfo: memFree=1116408/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1409.68
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 140940 28 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1409.68
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 1453.71
CPU time (s): 1439.19
CPU user time (s): 1438.87
CPU system time (s): 0.318951
CPU usage (%): 99.0012
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1438.87
system time used= 0.318951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9787
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= 30969
involuntary context switches= 92809
runsolver used 1.71174 s user time and 4.68429 s system time
The end
Begin job on node22 on Mon Jan 8 09:38:23 UTC 2007
IDJOB= 217817
IDBENCH= 5173
FILE ID= node22/217817-1168249102
PBS_JOBID= 3481870
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-67-12-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217817-1168249102/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-217817-1168249102 -o ROOT/results/node22/solver-217817-1168249102 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217817-1168249102/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 901737356712bb227c2d9ca62b34a56a
RANDOM SEED= 234196571
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.279
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.279
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: 1290688 kB
Buffers: 31940 kB
Cached: 588252 kB
SwapCached: 11256 kB
Active: 192556 kB
Inactive: 513000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1290688 kB
SwapTotal: 4192956 kB
SwapFree: 4157540 kB
Dirty: 5552 kB
Writeback: 0 kB
Mapped: 112004 kB
Slab: 44268 kB
Committed_AS: 4024932 kB
PageTables: 2460 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= 66559 MiB
End job on node22 on Mon Jan 8 10:02:37 UTC 2007