0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/230610-1168316901/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.108 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.54
0.54 constraints being loaded...
0.68 nbConstraints=466 nbRelationTypes=466 nbExtensionStructures=466 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=466 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4553 maxDegree=30
0.68 maxArity=2
0.68 => wckTime=0.376 cpuTime=0.28 mem=15M761
0.72
0.72 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.585 cpuTime=0.41 mem=15M439
0.95
0.95 preprocessing
0.95 nbConstraintChecks=82619 nbPropagations=1037 nbRevisions=7940 nbUselessRevisions=6551 nbSingletonTests=58
0.95 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.056 cpuTime=0.04 mem=15M439
0.98
0.98 search
0.98 run=0 nbConstraintChecks=59111 nbPropagations=1640 nbRevisions=16867 nbUselessRevisions=13857 nbAssignments=25
0.98 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.088 cpuTime=0.06 mem=15M439
1.00
1.00 search
1.00 run=1 nbConstraintChecks=125835 nbPropagations=3964 nbRevisions=43228 nbUselessRevisions=35654
1.00 nbAssignments=57 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=25
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.11 cpuTime=0.08 mem=15M439
1.02
1.02 search
1.02 run=2 nbConstraintChecks=203593 nbPropagations=7145 nbRevisions=81767 nbUselessRevisions=67405
1.02 nbAssignments=101 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=174 nbRestartNogoods=3 mapSize=45
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.126 cpuTime=0.09 mem=15M439
1.04
1.04 search
1.04 run=3 nbConstraintChecks=342694 nbPropagations=11643 nbRevisions=140676 nbUselessRevisions=115737
1.04 nbAssignments=169 nbFailedAssignments=68 nbBacktracks=82 nbVisitedNodes=290 nbRestartNogoods=6 mapSize=76
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.149 cpuTime=0.11 mem=15M439
1.08
1.08 search
1.08 run=4 nbConstraintChecks=559580 nbPropagations=18318 nbRevisions=233648 nbUselessRevisions=191625
1.08 nbAssignments=268 nbFailedAssignments=111 nbBacktracks=132 nbVisitedNodes=467 nbRestartNogoods=9 mapSize=124
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.189 cpuTime=0.15 mem=15M439
1.14
1.14 search
1.14 run=5 nbConstraintChecks=903869 nbPropagations=28150 nbRevisions=376033 nbUselessRevisions=306990
1.14 nbAssignments=411 nbFailedAssignments=174 nbBacktracks=208 nbVisitedNodes=726 nbRestartNogoods=13 mapSize=194
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.248 cpuTime=0.21 mem=15M439
1.21
1.21 search
1.21 run=6 nbConstraintChecks=1353704 nbPropagations=42426 nbRevisions=589426 nbUselessRevisions=480029
1.21 nbAssignments=628 nbFailedAssignments=273 nbBacktracks=322 nbVisitedNodes=1113 nbRestartNogoods=20 mapSize=300
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.322 cpuTime=0.28 mem=15M439
1.32
1.32 search
1.32 run=7 nbConstraintChecks=2036824 nbPropagations=63331 nbRevisions=907292 nbUselessRevisions=737117
1.32 nbAssignments=948 nbFailedAssignments=417 nbBacktracks=494 nbVisitedNodes=1691 nbRestartNogoods=26 mapSize=457
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.433 cpuTime=0.39 mem=15M439
1.48
1.48 search
1.48 run=8 nbConstraintChecks=3019218 nbPropagations=93834 nbRevisions=1377322 nbUselessRevisions=1117716
1.48 nbAssignments=1422 nbFailedAssignments=628 nbBacktracks=751 nbVisitedNodes=2542 nbRestartNogoods=31
1.48 mapSize=690 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.589 cpuTime=0.54 mem=15M439
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M439)
1.72
1.72 search
1.72 run=9 nbConstraintChecks=4541213 nbPropagations=139010 nbRevisions=2081900 nbUselessRevisions=1688430
1.72 nbAssignments=2123 nbFailedAssignments=939 nbBacktracks=1135 nbVisitedNodes=3819 nbRestartNogoods=39
1.72 => wckTime=0.831 cpuTime=0.76 mem=15M439
2.06
2.06 search
2.06 run=10 nbConstraintChecks=6923397 nbPropagations=206342 nbRevisions=3148957 nbUselessRevisions=2553917
2.06 nbAssignments=3201 nbFailedAssignments=1436 nbBacktracks=1714 nbVisitedNodes=5778 nbRestartNogoods=46
2.06 => wckTime=1.173 cpuTime=1.09 mem=15M439
2.57
2.57 search
2.57 run=11 nbConstraintChecks=10726177 nbPropagations=308109 nbRevisions=4770805 nbUselessRevisions=3867414
2.57 nbAssignments=4810 nbFailedAssignments=2178 nbBacktracks=2578 nbVisitedNodes=8720 nbRestartNogoods=50
2.57 => wckTime=1.685 cpuTime=1.6 mem=15M439
3.31
3.31 search
3.31 run=12 nbConstraintChecks=16175077 nbPropagations=460008 nbRevisions=7197569 nbUselessRevisions=5829788
3.31 nbAssignments=7215 nbFailedAssignments=3279 nbBacktracks=3877 nbVisitedNodes=13098 nbRestartNogoods=58
3.31 => wckTime=2.422 cpuTime=2.34 mem=15M439
4.41
4.41 search
4.41 run=13 nbConstraintChecks=24108919 nbPropagations=686794 nbRevisions=10865514 nbUselessRevisions=8804608
4.41 nbAssignments=10857 nbFailedAssignments=4971 nbBacktracks=5823 nbVisitedNodes=19758 nbRestartNogoods=71
4.41 => wckTime=3.516 cpuTime=3.43 mem=15M439
6.01
6.01 search
6.01 run=14 nbConstraintChecks=35736670 nbPropagations=1024719 nbRevisions=16334178 nbUselessRevisions=13239059
6.01 nbAssignments=16101 nbFailedAssignments=7292 nbBacktracks=8742 nbVisitedNodes=29258 nbRestartNogoods=80
6.01 => wckTime=5.122 cpuTime=5.04 mem=15M439
8.49
8.49 search
8.49 run=15 nbConstraintChecks=54326139 nbPropagations=1533197 nbRevisions=24581477 nbUselessRevisions=19927691
8.49 nbAssignments=24184 nbFailedAssignments=10994 nbBacktracks=13120 nbVisitedNodes=44027 nbRestartNogoods=90
8.49 => wckTime=7.603 cpuTime=7.52 mem=15M439
12.16
12.16 search
12.16 run=16 nbConstraintChecks=81313485 nbPropagations=2296010 nbRevisions=37027976 nbUselessRevisions=30038501
12.16 nbAssignments=36334 nbFailedAssignments=16571 nbBacktracks=19688 nbVisitedNodes=66121 nbRestartNogoods=102
12.16 => wckTime=11.27 cpuTime=11.19 mem=15M439
17.65
17.65 search
17.65 run=17 nbConstraintChecks=121530569 nbPropagations=3439998 nbRevisions=55738620 nbUselessRevisions=45248688
17.65 nbAssignments=54401 nbFailedAssignments=24780 nbBacktracks=29540 nbVisitedNodes=99130 nbRestartNogoods=121
17.65 => wckTime=16.762 cpuTime=16.68 mem=15M439
25.81
25.81 search
25.81 run=18 nbConstraintChecks=181100501 nbPropagations=5145513 nbRevisions=83640632 nbUselessRevisions=67941878
25.81 nbAssignments=81334 nbFailedAssignments=36931 nbBacktracks=44319 nbVisitedNodes=148193 nbRestartNogoods=126
25.81 => wckTime=24.924 cpuTime=24.84 mem=15M439
38.43
38.43 search
38.43 run=19 nbConstraintChecks=274652943 nbPropagations=7720007 nbRevisions=125792214 nbUselessRevisions=102208533
38.43 nbAssignments=122032 nbFailedAssignments=55454 nbBacktracks=66489 nbVisitedNodes=222507 nbRestartNogoods=138
38.43 => wckTime=37.543 cpuTime=37.45 mem=16M414
57.40
57.40 search
57.40 run=20 nbConstraintChecks=414941553 nbPropagations=11596590 nbRevisions=189341994 nbUselessRevisions=153858396
57.40 nbAssignments=183052 nbFailedAssignments=83218 nbBacktracks=99741 nbVisitedNodes=333903 nbRestartNogoods=144
57.40 => wckTime=56.507 cpuTime=56.41 mem=16M414
86.97
86.97 search
86.97 run=21 nbConstraintChecks=635311693 nbPropagations=17483352 nbRevisions=286234735 nbUselessRevisions=232621209
86.97 nbAssignments=276105 nbFailedAssignments=126387 nbBacktracks=149619 nbVisitedNodes=504534 nbRestartNogoods=157
86.97 => wckTime=86.077 cpuTime=85.97 mem=16M414
87.12
87.12 search
87.12 run=22 nbConstraintChecks=636534631 nbPropagations=23380585 nbRevisions=383298604 nbUselessRevisions=311522328
87.12 nbAssignments=276583 nbFailedAssignments=126613 nbBacktracks=149863 nbVisitedNodes=505396 nbRestartNogoods=169
87.12 => wckTime=86.235 cpuTime=86.12 mem=16M414
87.13
87.13 global
87.13 nbConstraintChecks=636617250 nbPropagations=23381622 nbRevisions=383306544 nbUselessRevisions=311528879
87.13 nbRestartNogoods=169 solvingWckTime=86.236 solvingCpuTime=86.12 expiredTime=no totalExploration=yes
87.13 nbFoundSolutions=0 globalCpuTime=86.57
87.13 => wckTime=86.824 cpuTime=86.53 mem=16M414
87.13
87.13 s UNSATISFIABLE
87.13 d NODES 276583
87.13 d CHECKS 636617250
87.13
87.13 totalWckTime=86.902 totalCpuTime=86.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-230610-1168316901 -o ROOT/results/node17/solver-230610-1168316901 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230610-1168316901/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.16 1.58 1.77 4/87 31846
/proc/meminfo: memFree=1443968/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=72 CPUtime=0
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 180085287 73728 2 18446744073709551615 0 0 4294957039 18446744073709551615 245482712359 0 0 4096 0 0 0 0 17 1 0 0
/proc/31845/statm: 18 2 0 0 0 1 0
[startup+0.107002 s]
/proc/loadavg: 1.16 1.58 1.77 4/87 31846
/proc/meminfo: memFree=1443968/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=914988 CPUtime=0.08
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 2995 0 1 0 7 1 0 0 21 0 8 0 180085287 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31845/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515042 s]
/proc/loadavg: 1.16 1.58 1.77 4/87 31846
/proc/meminfo: memFree=1443968/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915328 CPUtime=0.48
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 6888 0 1 0 44 4 0 0 18 0 8 0 180085287 937295872 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228832 6627 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33613 s]
/proc/loadavg: 1.16 1.58 1.77 3/101 31860
/proc/meminfo: memFree=1408080/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915460 CPUtime=1.29
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 9110 0 1 0 124 5 0 0 24 0 8 0 180085287 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228865 8848 2524 14 0 215335 0
[pid=31845/tid=31848] ppid=31837 vsize=915460 CPUtime=0.03
/proc/31845/task/31848/stat : 31848 (java) S 31837 31845 31587 0 -1 64 373 0 0 0 3 0 0 0 17 0 8 0 180085291 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31851] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31851/stat : 31851 (java) S 31837 31845 31587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31852] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31852/stat : 31852 (java) S 31837 31845 31587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31853] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31853/stat : 31853 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180085295 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31855] ppid=31837 vsize=915460 CPUtime=0.2
/proc/31845/task/31855/stat : 31855 (java) S 31837 31845 31587 0 -1 64 380 0 0 0 20 0 0 0 15 0 8 0 180085295 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31857] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31857/stat : 31857 (java) S 31837 31845 31587 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 180085295 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31859] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31859/stat : 31859 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180085295 937431040 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.9733 s]
/proc/loadavg: 1.16 1.58 1.77 3/101 31860
/proc/meminfo: memFree=1407952/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915460 CPUtime=2.93
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 9128 0 1 0 288 5 0 0 25 0 8 0 180085287 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228865 8865 2525 14 0 215335 0
[pid=31845/tid=31848] ppid=31837 vsize=915460 CPUtime=0.03
/proc/31845/task/31848/stat : 31848 (java) S 31837 31845 31587 0 -1 64 373 0 0 0 3 0 0 0 17 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31851] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31851/stat : 31851 (java) S 31837 31845 31587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31852] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31852/stat : 31852 (java) S 31837 31845 31587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31853] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31853/stat : 31853 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31855] ppid=31837 vsize=915460 CPUtime=0.24
/proc/31845/task/31855/stat : 31855 (java) S 31837 31845 31587 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31857] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31857/stat : 31857 (java) S 31837 31845 31587 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31859] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31859/stat : 31859 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26664 s]
/proc/loadavg: 1.22 1.59 1.77 4/101 31860
/proc/meminfo: memFree=1407832/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915460 CPUtime=6.22
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 9130 0 1 0 617 5 0 0 25 0 8 0 180085287 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228865 8865 2525 14 0 215335 0
[pid=31845/tid=31848] ppid=31837 vsize=915460 CPUtime=0.03
/proc/31845/task/31848/stat : 31848 (java) S 31837 31845 31587 0 -1 64 373 0 0 0 3 0 0 0 17 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31851] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31851/stat : 31851 (java) S 31837 31845 31587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31852] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31852/stat : 31852 (java) S 31837 31845 31587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31853] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31853/stat : 31853 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31855] ppid=31837 vsize=915460 CPUtime=0.24
/proc/31845/task/31855/stat : 31855 (java) S 31837 31845 31587 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31857] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31857/stat : 31857 (java) S 31837 31845 31587 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31859] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31859/stat : 31859 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7393 s]
/proc/loadavg: 1.29 1.59 1.77 3/101 31860
/proc/meminfo: memFree=1407832/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915460 CPUtime=12.69
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 9130 0 1 0 1263 6 0 0 25 0 8 0 180085287 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228865 8865 2525 14 0 215335 0
[pid=31845/tid=31848] ppid=31837 vsize=915460 CPUtime=0.03
/proc/31845/task/31848/stat : 31848 (java) S 31837 31845 31587 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31851] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31851/stat : 31851 (java) S 31837 31845 31587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31852] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31852/stat : 31852 (java) S 31837 31845 31587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31853] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31853/stat : 31853 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31855] ppid=31837 vsize=915460 CPUtime=0.24
/proc/31845/task/31855/stat : 31855 (java) S 31837 31845 31587 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31857] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31857/stat : 31857 (java) S 31837 31845 31587 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31859] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31859/stat : 31859 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180085295 937431040 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915460
[startup+25.6167 s]
/proc/loadavg: 1.44 1.61 1.78 3/101 31860
/proc/meminfo: memFree=1407896/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915460 CPUtime=25.57
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 9131 0 1 0 2551 6 0 0 25 0 8 0 180085287 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228865 8866 2525 14 0 215335 0
[pid=31845/tid=31848] ppid=31837 vsize=915460 CPUtime=0.03
/proc/31845/task/31848/stat : 31848 (java) S 31837 31845 31587 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 180085291 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31851] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31851/stat : 31851 (java) S 31837 31845 31587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31852] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31852/stat : 31852 (java) S 31837 31845 31587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31853] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31853/stat : 31853 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31855] ppid=31837 vsize=915460 CPUtime=0.24
/proc/31845/task/31855/stat : 31855 (java) S 31837 31845 31587 0 -1 64 397 0 0 0 24 0 0 0 16 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31857] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31857/stat : 31857 (java) S 31837 31845 31587 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31859] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31859/stat : 31859 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460
[startup+51.2453 s]
/proc/loadavg: 1.63 1.64 1.78 3/101 31860
/proc/meminfo: memFree=1407960/2055920 swapFree=4192812/4192956
[pid=31845] ppid=31837 vsize=915460 CPUtime=51.19
/proc/31845/stat : 31845 (java) R 31837 31845 31587 0 -1 0 9131 0 1 0 5113 6 0 0 25 0 8 0 180085287 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31845/statm: 228865 8866 2525 14 0 215335 0
[pid=31845/tid=31848] ppid=31837 vsize=915460 CPUtime=0.03
/proc/31845/task/31848/stat : 31848 (java) S 31837 31845 31587 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 180085291 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31851] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31851/stat : 31851 (java) S 31837 31845 31587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31852] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31852/stat : 31852 (java) S 31837 31845 31587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180085291 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31853] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31853/stat : 31853 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31855] ppid=31837 vsize=915460 CPUtime=0.24
/proc/31845/task/31855/stat : 31855 (java) S 31837 31845 31587 0 -1 64 397 0 0 0 24 0 0 0 16 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31845/tid=31857] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31857/stat : 31857 (java) S 31837 31845 31587 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31845/tid=31859] ppid=31837 vsize=915460 CPUtime=0
/proc/31845/task/31859/stat : 31859 (java) S 31837 31845 31587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180085295 937431040 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 87.1816
CPU time (s): 87.0818
CPU user time (s): 87.0068
CPU system time (s): 0.074988
CPU usage (%): 99.8855
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.0068
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139
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= 2951
involuntary context switches= 3339
runsolver used 0.099984 s user time and 0.284956 s system time
The end
Begin job on node17 on Tue Jan 9 04:28:23 UTC 2007
IDJOB= 230610
IDBENCH= 6423
FILE ID= node17/230610-1168316901
PBS_JOBID= 3502516
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-86_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230610-1168316901/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-230610-1168316901 -o ROOT/results/node17/solver-230610-1168316901 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230610-1168316901/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d8d62737575f084a34b2ade7a7fba70
RANDOM SEED= 336775077
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.236
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.236
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: 1445520 kB
Buffers: 88628 kB
Cached: 391180 kB
SwapCached: 0 kB
Active: 351668 kB
Inactive: 189996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2580 kB
Writeback: 0 kB
Mapped: 77480 kB
Slab: 53824 kB
Committed_AS: 5226816 kB
PageTables: 2076 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 node17 on Tue Jan 9 04:29:52 UTC 2007