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/241845-1168375698/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.45 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.45 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.45 => wckTime=0.149 cpuTime=0.13 mem=7M927
0.48
0.48 solver IterativeSystematicSolver being built...
0.67 => wckTime=0.366 cpuTime=0.28 mem=15M334
0.71
0.71 preprocessing
0.71 nbConstraintChecks=479 nbValidityChecks=1376 nbPropagations=538 nbRevisions=721 nbUselessRevisions=573
0.71 nbSingletonTests=244 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.71 => wckTime=0.043 cpuTime=0.03 mem=15M334
0.74
0.74 search
0.74 run=0 nbConstraintChecks=184 nbValidityChecks=653 nbPropagations=667 nbRevisions=997 nbUselessRevisions=762
0.74 nbAssignments=85 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=92 nbRestartNogoods=0 mapSize=4
0.74 nbInferences=0 nbTooLargeKeys=0
0.74 => wckTime=0.076 cpuTime=0.05 mem=16M326
0.76
0.76 search
0.76 run=1 nbConstraintChecks=298 nbValidityChecks=1254 nbPropagations=1459 nbRevisions=2260
0.76 nbUselessRevisions=1709 nbAssignments=165 nbFailedAssignments=5 nbBacktracks=25 nbVisitedNodes=179
0.76 nbRestartNogoods=2 mapSize=10 nbInferences=3 nbTooLargeKeys=0
0.76 => wckTime=0.089 cpuTime=0.06 mem=16M326
0.78
0.78 search
0.78 run=2 nbConstraintChecks=551 nbValidityChecks=2281 nbPropagations=2477 nbRevisions=3975
0.78 nbUselessRevisions=2943 nbAssignments=304 nbFailedAssignments=12 nbBacktracks=50 nbVisitedNodes=335
0.78 nbRestartNogoods=3 mapSize=23 nbInferences=6 nbTooLargeKeys=0
0.78 => wckTime=0.108 cpuTime=0.08 mem=16M326
0.79
0.79 search
0.79 run=3 nbConstraintChecks=915 nbValidityChecks=3521 nbPropagations=3745 nbRevisions=6217
0.79 nbUselessRevisions=4509 nbAssignments=447 nbFailedAssignments=27 nbBacktracks=84 nbVisitedNodes=510
0.79 nbRestartNogoods=5 mapSize=42 nbInferences=8 nbTooLargeKeys=0
0.79 => wckTime=0.123 cpuTime=0.09 mem=16M326
0.81
0.81 search
0.81 run=4 nbConstraintChecks=1269 nbValidityChecks=4808 nbPropagations=5303 nbRevisions=9021
0.81 nbUselessRevisions=6405 nbAssignments=592 nbFailedAssignments=37 nbBacktracks=137 nbVisitedNodes=680
0.81 nbRestartNogoods=7 mapSize=65 nbInferences=13 nbTooLargeKeys=0
0.81 => wckTime=0.143 cpuTime=0.1 mem=16M326
0.83
0.83 search
0.83 run=5 nbConstraintChecks=1761 nbValidityChecks=6470 nbPropagations=7234 nbRevisions=12539
0.83 nbUselessRevisions=8706 nbAssignments=757 nbFailedAssignments=55 nbBacktracks=213 nbVisitedNodes=893
0.83 nbRestartNogoods=8 mapSize=108 nbInferences=25 nbTooLargeKeys=0
0.83 => wckTime=0.161 cpuTime=0.11 mem=16M326
0.85
0.85 search
0.85 run=6 nbConstraintChecks=2708 nbValidityChecks=9112 nbPropagations=9733 nbRevisions=17165
0.85 nbUselessRevisions=11587 nbAssignments=970 nbFailedAssignments=95 nbBacktracks=326 nbVisitedNodes=1188
0.85 nbRestartNogoods=10 mapSize=174 nbInferences=27 nbTooLargeKeys=0
0.85 => wckTime=0.18 cpuTime=0.13 mem=16M326
0.88
0.88 search
0.88 run=7 nbConstraintChecks=3852 nbValidityChecks=12308 nbPropagations=12969 nbRevisions=23126
0.88 nbUselessRevisions=15149 nbAssignments=1274 nbFailedAssignments=135 nbBacktracks=497 nbVisitedNodes=1592
0.88 nbRestartNogoods=13 mapSize=264 nbInferences=47 nbTooLargeKeys=0
0.88 => wckTime=0.213 cpuTime=0.16 mem=16M326
0.92
0.92 search
0.92 run=8 nbConstraintChecks=5678 nbValidityChecks=17562 nbPropagations=17421 nbRevisions=31318
0.92 nbUselessRevisions=19946 nbAssignments=1720 nbFailedAssignments=167 nbBacktracks=754 nbVisitedNodes=2191
0.92 nbRestartNogoods=16 mapSize=410 nbInferences=136 nbTooLargeKeys=0
0.92 => wckTime=0.257 cpuTime=0.19 mem=16M326
0.97
0.97 search
0.97 run=9 nbConstraintChecks=7841 nbValidityChecks=23441 nbPropagations=23225 nbRevisions=42049
0.97 nbUselessRevisions=26125 nbAssignments=2324 nbFailedAssignments=223 nbBacktracks=1138 nbVisitedNodes=2981
0.97 nbRestartNogoods=20 mapSize=591 nbInferences=211 nbTooLargeKeys=0
0.97 => wckTime=0.304 cpuTime=0.23 mem=16M326
1.04
1.04 search
1.04 run=10 nbConstraintChecks=11176 nbValidityChecks=33156 nbPropagations=31232 nbRevisions=56913
1.04 nbUselessRevisions=34671 nbAssignments=3207 nbFailedAssignments=254 nbBacktracks=1720 nbVisitedNodes=4124
1.04 nbRestartNogoods=24 mapSize=848 nbInferences=409 nbTooLargeKeys=0
1.04 => wckTime=0.37 cpuTime=0.28 mem=16M326
1.15
1.15 search
1.15 run=11 nbConstraintChecks=26291 nbValidityChecks=73874 nbPropagations=50005 nbRevisions=88309
1.15 nbUselessRevisions=50253 nbAssignments=4732 nbFailedAssignments=254 nbBacktracks=2584 nbVisitedNodes=6269
1.15 nbRestartNogoods=27 mapSize=1463 nbInferences=1029 nbTooLargeKeys=0
1.15 => wckTime=0.486 cpuTime=0.39 mem=16M326
1.35
1.35 search
1.35 run=12 nbConstraintChecks=69353 nbValidityChecks=185426 nbPropagations=100033 nbRevisions=163795
1.35 nbUselessRevisions=81250 nbAssignments=7343 nbFailedAssignments=254 nbBacktracks=3883 nbVisitedNodes=10156
1.35 nbRestartNogoods=32 mapSize=2736 nbInferences=2305 nbTooLargeKeys=0
1.35 => wckTime=0.683 cpuTime=0.59 mem=16M326
1.61
1.61 search
1.61 run=13 nbConstraintChecks=118550 nbValidityChecks=313560 nbPropagations=185469 nbRevisions=290653
1.61 nbUselessRevisions=131523 nbAssignments=10976 nbFailedAssignments=257 nbBacktracks=5830 nbVisitedNodes=15438
1.61 nbRestartNogoods=35 mapSize=4378 nbInferences=3948 nbTooLargeKeys=0
1.61 => wckTime=0.941 cpuTime=0.85 mem=17M301
2.01
2.01 search
2.01 run=14 nbConstraintChecks=199982 nbValidityChecks=525253 nbPropagations=329673 nbRevisions=501802
2.01 nbUselessRevisions=212557 nbAssignments=16538 nbFailedAssignments=257 nbBacktracks=8749 nbVisitedNodes=23603
2.01 nbRestartNogoods=42 mapSize=6976 nbInferences=6551 nbTooLargeKeys=0
2.01 => wckTime=1.341 cpuTime=1.25 mem=17M301
2.63
2.63 search
2.63 run=15 nbConstraintChecks=329088 nbValidityChecks=860003 nbPropagations=567146 nbRevisions=845964
2.63 nbUselessRevisions=341438 nbAssignments=24994 nbFailedAssignments=257 nbBacktracks=13127 nbVisitedNodes=36096
2.63 nbRestartNogoods=47 mapSize=11006 nbInferences=10588 nbTooLargeKeys=0
2.63 => wckTime=1.958 cpuTime=1.86 mem=18M276
3.64
3.64 search
3.64 run=16 nbConstraintChecks=547254 nbValidityChecks=1420829 nbPropagations=962874 nbRevisions=1412971
3.64 nbUselessRevisions=547869 nbAssignments=38069 nbFailedAssignments=257 nbBacktracks=19696 nbVisitedNodes=55637
3.64 nbRestartNogoods=54 mapSize=17464 nbInferences=17054 nbTooLargeKeys=0
3.64 => wckTime=2.973 cpuTime=2.87 mem=19M251
5.04
5.04 search
5.04 run=17 nbConstraintChecks=841860 nbValidityChecks=2184829 nbPropagations=1571807 nbRevisions=2283502
5.04 nbUselessRevisions=863049 nbAssignments=57160 nbFailedAssignments=257 nbBacktracks=29548 nbVisitedNodes=83927
5.04 nbRestartNogoods=62 mapSize=26656 nbInferences=26253 nbTooLargeKeys=0
5.04 => wckTime=4.371 cpuTime=4.28 mem=21M202
7.16
7.16 search
7.16 run=18 nbConstraintChecks=1298958 nbValidityChecks=3364070 nbPropagations=2511413 nbRevisions=3623097
7.17 nbUselessRevisions=1344650 nbAssignments=86006 nbFailedAssignments=257 nbBacktracks=44327 nbVisitedNodes=126765
7.17 nbRestartNogoods=69 mapSize=40643 nbInferences=40245 nbTooLargeKeys=0
7.17 => wckTime=6.496 cpuTime=6.4 mem=23M152
10.35
10.35 search
10.35 run=19 nbConstraintChecks=1977435 nbValidityChecks=5118193 nbPropagations=3941949 nbRevisions=5659898
10.35 nbUselessRevisions=2074366 nbAssignments=129121 nbFailedAssignments=257 nbBacktracks=66495
10.35 nbVisitedNodes=190786 nbRestartNogoods=74 mapSize=61541 nbInferences=61151 nbTooLargeKeys=0
10.35 => wckTime=9.681 cpuTime=9.58 mem=26M602
15.21
15.21 search
15.21 run=20 nbConstraintChecks=3060114 nbValidityChecks=7908150 nbPropagations=6156832 nbRevisions=8802697
15.21 nbUselessRevisions=3190305 nbAssignments=194682 nbFailedAssignments=257 nbBacktracks=99749
15.21 nbVisitedNodes=288618 nbRestartNogoods=82 mapSize=93807 nbInferences=93422 nbTooLargeKeys=0
15.21 => wckTime=14.546 cpuTime=14.44 mem=31M478
22.52
22.52 search
22.52 run=21 nbConstraintChecks=4693146 nbValidityChecks=12118982 nbPropagations=9554869 nbRevisions=13613432
22.52 nbUselessRevisions=4888295 nbAssignments=293221 nbFailedAssignments=257 nbBacktracks=149631
22.52 nbVisitedNodes=435779 nbRestartNogoods=87 mapSize=142424 nbInferences=142044 nbTooLargeKeys=0
22.52 => wckTime=21.851 cpuTime=21.74 mem=40M328
33.91
33.91 search
33.91 run=22 nbConstraintChecks=7168411 nbValidityChecks=18532008 nbPropagations=14746697 nbRevisions=20951686
33.91 nbUselessRevisions=7467112 nbAssignments=441617 nbFailedAssignments=257 nbBacktracks=224449
33.91 nbVisitedNodes=657712 nbRestartNogoods=92 mapSize=215951 nbInferences=215581 nbTooLargeKeys=0
33.91 => wckTime=33.247 cpuTime=32.9 mem=28M959
50.34
50.34 search
50.34 run=23 nbConstraintChecks=10881545 nbValidityChecks=28154788 nbPropagations=22629312 nbRevisions=32081398
50.34 nbUselessRevisions=11367235 nbAssignments=664188 nbFailedAssignments=257 nbBacktracks=336679
50.34 nbVisitedNodes=990586 nbRestartNogoods=102 mapSize=326244 nbInferences=325884 nbTooLargeKeys=0
50.34 => wckTime=49.667 cpuTime=49.3 mem=45M223
75.38
75.38 search
75.38 run=24 nbConstraintChecks=16450855 nbValidityChecks=42541937 nbPropagations=34547697 nbRevisions=48897867
75.38 nbUselessRevisions=17249274 nbAssignments=998019 nbFailedAssignments=257 nbBacktracks=505020
75.38 nbVisitedNodes=1489866 nbRestartNogoods=112 mapSize=491684 nbInferences=491333 nbTooLargeKeys=0
75.38 => wckTime=74.715 cpuTime=73.95 mem=56M985
112.18
112.18 search
112.18 run=25 nbConstraintChecks=24675976 nbValidityChecks=63675900 nbPropagations=52423841 nbRevisions=74122575
112.18 nbUselessRevisions=26074246 nbAssignments=1496783 nbFailedAssignments=257 nbBacktracks=757536
112.18 nbVisitedNodes=2234842 nbRestartNogoods=121 mapSize=737889 nbInferences=737545 nbTooLargeKeys=0
112.18 => wckTime=111.512 cpuTime=110.72 mem=94M182
168.65
168.65 search
168.65 run=26 nbConstraintChecks=37207046 nbValidityChecks=95876913 nbPropagations=79380537 nbRevisions=112142453
168.65 nbUselessRevisions=39358396 nbAssignments=2247856 nbFailedAssignments=257 nbBacktracks=1136305
168.65 nbVisitedNodes=3358180 nbRestartNogoods=128 mapSize=1110148 nbInferences=1109810 nbTooLargeKeys=0
168.65 => wckTime=167.983 cpuTime=166.33 mem=130M599
252.92
252.92 search
252.92 run=27 nbConstraintChecks=56004927 nbValidityChecks=144129905 nbPropagations=119958966 nbRevisions=169356295
252.92 nbUselessRevisions=59331635 nbAssignments=3374464 nbFailedAssignments=257 nbBacktracks=1704461
252.92 nbVisitedNodes=5043204 nbRestartNogoods=134 mapSize=1668559 nbInferences=1668226 nbTooLargeKeys=0
252.93 => wckTime=252.256 cpuTime=249.69 mem=206M597
378.46
378.46 search
378.46 run=28 nbConstraintChecks=84201198 nbValidityChecks=216390131 nbPropagations=180969548 nbRevisions=255360482
378.46 nbUselessRevisions=89338325 nbAssignments=5064347 nbFailedAssignments=257 nbBacktracks=2556689
378.46 nbVisitedNodes=7570705 nbRestartNogoods=139 mapSize=2506167 nbInferences=2505844 nbTooLargeKeys=0
378.46 => wckTime=377.796 cpuTime=374.25 mem=301M609
567.85
567.85 search
567.85 run=29 nbConstraintChecks=126494362 nbValidityChecks=324440341 nbPropagations=272627407 nbRevisions=384548951
567.85 nbUselessRevisions=134394868 nbAssignments=7599137 nbFailedAssignments=257 nbBacktracks=3835030
567.85 nbVisitedNodes=11361904 nbRestartNogoods=148 mapSize=3762567 nbInferences=3762253 nbTooLargeKeys=0
567.85 => wckTime=567.186 cpuTime=561.32 mem=460M17
640.90
640.90 search
640.90 run=30 nbConstraintChecks=142816630 nbValidityChecks=365904539 nbPropagations=376113000 nbRevisions=530403649
640.90 nbUselessRevisions=185259718 nbAssignments=8577422 nbFailedAssignments=257 nbBacktracks=4328414
640.90 nbVisitedNodes=12825090 nbRestartNogoods=157 mapSize=4247468 nbInferences=4247155 nbTooLargeKeys=0
640.90 => wckTime=640.228 cpuTime=633.38 mem=502M879
640.90
640.90 global
640.90 nbConstraintChecks=142817109 nbValidityChecks=365905915 nbPropagations=376113538 nbRevisions=530404370
640.90 nbUselessRevisions=185260291 nbRestartNogoods=157 solvingWckTime=640.23 solvingCpuTime=633.38 expiredTime=no
640.90 totalExploration=yes nbFoundSolutions=0 globalCpuTime=633.71
640.90 => wckTime=640.597 cpuTime=633.66 mem=502M879
640.90
640.90 s UNSATISFIABLE
640.90 d NODES 8577422
640.90 d CHECKS 142817109
640.90
640.90 totalWckTime=640.673 totalCpuTime=633.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-241845-1168375698 -o ROOT/results/node15/solver-241845-1168375698 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241845-1168375698/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: 0.07 0.10 0.20 2/81 29996
/proc/meminfo: memFree=1747576/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=1784 CPUtime=0
/proc/29995/stat : 29995 (java) D 29993 29995 28734 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 185965482 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/29995/statm: 446 136 102 14 0 91 0
[startup+0.106094 s]
/proc/loadavg: 0.07 0.10 0.20 2/81 29996
/proc/meminfo: memFree=1747576/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=914988 CPUtime=0.09
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 3022 0 1 0 7 2 0 0 22 0 8 0 185965482 936947712 2768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228747 2768 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51417 s]
/proc/loadavg: 0.07 0.10 0.20 2/81 29996
/proc/meminfo: memFree=1747576/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=0.49
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 6675 0 1 0 45 4 0 0 16 0 8 0 185965482 937435136 6413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152174138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29995/statm: 228866 6413 2375 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.3363 s]
/proc/loadavg: 0.07 0.10 0.20 2/88 30004
/proc/meminfo: memFree=1722560/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=1.31
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 9052 0 1 0 125 6 0 0 17 0 8 0 185965482 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073720111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 8790 2527 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.02
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185965486 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 185965489 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.9886 s]
/proc/loadavg: 0.07 0.10 0.20 2/88 30004
/proc/meminfo: memFree=1721344/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=2.96
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 9513 0 1 0 290 6 0 0 19 0 8 0 185965482 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29995/statm: 228866 9250 2527 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.02
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185965486 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 185965489 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 9250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915464
[startup+6.26815 s]
/proc/loadavg: 0.14 0.11 0.21 2/88 30005
/proc/meminfo: memFree=1717440/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=6.24
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 10371 0 1 0 617 7 0 0 25 0 8 0 185965482 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 10108 2527 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.02
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185965486 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 185965489 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 10108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915464
[startup+12.7543 s]
/proc/loadavg: 0.27 0.14 0.21 2/88 30038
/proc/meminfo: memFree=1708736/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=12.72
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 12064 0 1 0 1264 8 0 0 25 0 8 0 185965482 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073706811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 11801 2527 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.02
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185965486 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464
[startup+25.5965 s]
/proc/loadavg: 0.38 0.17 0.22 2/88 30058
/proc/meminfo: memFree=1695488/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=25.55
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 15473 0 1 0 2545 10 0 0 25 0 8 0 185965482 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073670295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 15210 2527 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.02
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185965486 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185965486 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 15210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915464
[startup+51.2939 s]
/proc/loadavg: 0.59 0.24 0.24 2/85 30064
/proc/meminfo: memFree=1675552/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=51.22
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 22005 0 1 0 5109 13 0 0 25 0 8 0 185965482 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 21741 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.24
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 5412 0 0 0 22 2 0 0 16 0 8 0 185965486 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 21741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915464
[startup+102.575 s]
/proc/loadavg: 0.82 0.35 0.28 2/85 30064
/proc/meminfo: memFree=1637664/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=102.46
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 31512 0 1 0 10229 17 0 0 25 0 8 0 185965482 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 31247 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=0.61
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 14534 0 0 0 56 5 0 0 16 0 8 0 185965486 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 31247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915464
[startup+162.6 s]
/proc/loadavg: 0.93 0.47 0.32 2/85 30064
/proc/meminfo: memFree=1570848/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=162.45
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 48199 0 1 0 16221 24 0 0 20 0 8 0 185965482 937435136 47932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 47932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 47932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 47932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 47932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.45
Current children cumulated vsize (KiB) 915464
[startup+222.627 s]
/proc/loadavg: 0.97 0.56 0.36 2/85 30064
/proc/meminfo: memFree=1538592/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=222.43
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 56267 0 1 0 22215 28 0 0 25 0 8 0 185965482 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 55999 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=1.85
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 39286 0 0 0 170 15 0 0 16 0 8 0 185965486 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 55999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 915464
[startup+282.656 s]
/proc/loadavg: 0.99 0.64 0.40 2/85 30064
/proc/meminfo: memFree=1500960/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=282.43
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 65668 0 1 0 28211 32 0 0 25 0 8 0 185965482 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073706811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 65398 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=2.3
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 48685 0 0 0 210 20 0 0 16 0 8 0 185965486 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 65398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 915464
[startup+342.677 s]
/proc/loadavg: 0.99 0.71 0.44 3/85 30064
/proc/meminfo: memFree=1436256/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=342.39
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 81809 0 1 0 34201 38 0 0 25 0 8 0 185965482 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725715 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 81537 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=3.2
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 64824 0 0 0 294 26 0 0 16 0 8 0 185965486 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 81537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 915464
[startup+402.694 s]
/proc/loadavg: 0.99 0.76 0.47 2/85 30064
/proc/meminfo: memFree=1403872/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=402.39
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 89879 0 1 0 40197 42 0 0 25 0 8 0 185965482 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 89606 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=3.65
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 72893 0 0 0 336 29 0 0 16 0 8 0 185965486 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 89606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.39
Current children cumulated vsize (KiB) 915464
[startup+462.713 s]
/proc/loadavg: 0.99 0.80 0.50 2/85 30064
/proc/meminfo: memFree=1371488/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=462.38
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 97951 0 1 0 46193 45 0 0 25 0 8 0 185965482 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 97677 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=4.09
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 80964 0 0 0 377 32 0 0 16 0 8 0 185965486 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 97677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 915464
[startup+522.735 s]
/proc/loadavg: 0.99 0.83 0.53 2/85 30064
/proc/meminfo: memFree=1300448/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=522.38
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 115673 0 1 0 52185 53 0 0 25 0 8 0 185965482 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 115397 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=4.98
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 98684 0 0 0 458 40 0 0 16 0 8 0 185965486 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 115397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.38
Current children cumulated vsize (KiB) 915464
[startup+582.754 s]
/proc/loadavg: 0.99 0.86 0.55 2/85 30064
/proc/meminfo: memFree=1268128/2055920 swapFree=4174172/4192956
[pid=29995] ppid=29993 vsize=915464 CPUtime=582.38
/proc/29995/stat : 29995 (java) R 29993 29995 28734 0 -1 0 123745 0 1 0 58181 57 0 0 25 0 8 0 185965482 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29995/statm: 228866 123468 2531 14 0 215336 0
[pid=29995/tid=29998] ppid=29993 vsize=915464 CPUtime=5.44
/proc/29995/task/29998/stat : 29998 (java) S 29993 29995 28734 0 -1 64 106755 0 0 0 500 44 0 0 16 0 8 0 185965486 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=29999] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/29999/stat : 29999 (java) S 29993 29995 28734 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30000] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30000/stat : 30000 (java) S 29993 29995 28734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185965486 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30001] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30001/stat : 30001 (java) S 29993 29995 28734 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185965489 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30002] ppid=29993 vsize=915464 CPUtime=0.18
/proc/29995/task/30002/stat : 30002 (java) S 29993 29995 28734 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 185965489 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30003] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30003/stat : 30003 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185965489 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29995/tid=30004] ppid=29993 vsize=915464 CPUtime=0
/proc/29995/task/30004/stat : 30004 (java) S 29993 29995 28734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185965489 937435136 123468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 641.022
CPU time (s): 640.591
CPU user time (s): 639.868
CPU system time (s): 0.72289
CPU usage (%): 99.9328
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 639.868
system time used= 0.72289
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139893
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= 13852
involuntary context switches= 8360
runsolver used 0.711891 s user time and 1.58776 s system time
The end
Begin job on node15 on Tue Jan 9 20:48:21 UTC 2007
IDJOB= 241845
IDBENCH= 7350
FILE ID= node15/241845-1168375698
PBS_JOBID= 3522262
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241845-1168375698/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-241845-1168375698 -o ROOT/results/node15/solver-241845-1168375698 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241845-1168375698/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3a52a800eac841971a0879ee4e43203a
RANDOM SEED= 16815964
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.276
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.276
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: 1748184 kB
Buffers: 63040 kB
Cached: 153124 kB
SwapCached: 6400 kB
Active: 167352 kB
Inactive: 84696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1748184 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1664 kB
Writeback: 0 kB
Mapped: 45232 kB
Slab: 40624 kB
Committed_AS: 5954980 kB
PageTables: 2220 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= 66563 MiB
End job on node15 on Tue Jan 9 20:59:07 UTC 2007