0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/229641-1168307700/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1397 maxDegree=19
0.59 maxArity=2
0.59 => wckTime=0.276 cpuTime=0.2 mem=11M893
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.472 cpuTime=0.33 mem=14M825
0.83
0.83 preprocessing
0.83 nbConstraintChecks=52108 nbPropagations=779 nbRevisions=5866 nbUselessRevisions=4770 nbSingletonTests=47
0.83 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.047 cpuTime=0.02 mem=14M825
0.86
0.86 search
0.86 run=0 nbConstraintChecks=30865 nbPropagations=1336 nbRevisions=11113 nbUselessRevisions=8831 nbAssignments=29
0.86 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.069 cpuTime=0.03 mem=14M825
0.87
0.87 search
0.87 run=1 nbConstraintChecks=67319 nbPropagations=3350 nbRevisions=28825 nbUselessRevisions=22742 nbAssignments=61
0.87 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=100 nbRestartNogoods=4 mapSize=23 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.088 cpuTime=0.04 mem=14M825
0.89
0.89 search
0.89 run=2 nbConstraintChecks=112273 nbPropagations=6193 nbRevisions=55117 nbUselessRevisions=43264
0.89 nbAssignments=108 nbFailedAssignments=39 nbBacktracks=52 nbVisitedNodes=178 nbRestartNogoods=6 mapSize=46
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.103 cpuTime=0.05 mem=14M825
0.90
0.90 search
0.90 run=3 nbConstraintChecks=174343 nbPropagations=10242 nbRevisions=93207 nbUselessRevisions=72844
0.90 nbAssignments=176 nbFailedAssignments=65 nbBacktracks=88 nbVisitedNodes=293 nbRestartNogoods=8 mapSize=74
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.117 cpuTime=0.07 mem=14M825
0.93
0.93 search
0.93 run=4 nbConstraintChecks=291957 nbPropagations=16429 nbRevisions=153212 nbUselessRevisions=119393
0.93 nbAssignments=290 nbFailedAssignments=111 nbBacktracks=140 nbVisitedNodes=469 nbRestartNogoods=13 mapSize=122
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.146 cpuTime=0.09 mem=14M825
0.96
0.96 search
0.96 run=5 nbConstraintChecks=431243 nbPropagations=25295 nbRevisions=241472 nbUselessRevisions=187657
0.96 nbAssignments=424 nbFailedAssignments=161 nbBacktracks=216 nbVisitedNodes=699 nbRestartNogoods=14 mapSize=184
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.175 cpuTime=0.12 mem=14M825
1.00
1.00 search
1.00 run=6 nbConstraintChecks=587641 nbPropagations=37441 nbRevisions=363533 nbUselessRevisions=282034
1.00 nbAssignments=622 nbFailedAssignments=239 nbBacktracks=329 nbVisitedNodes=1038 nbRestartNogoods=19 mapSize=278
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.21 cpuTime=0.15 mem=14M825
1.06
1.06 search
1.06 run=7 nbConstraintChecks=911401 nbPropagations=55449 nbRevisions=550792 nbUselessRevisions=426789
1.06 nbAssignments=944 nbFailedAssignments=383 nbBacktracks=500 nbVisitedNodes=1606 nbRestartNogoods=25 mapSize=427
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.271 cpuTime=0.21 mem=14M825
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1280727 nbPropagations=80781 nbRevisions=813226 nbUselessRevisions=628788
1.15 nbAssignments=1370 nbFailedAssignments=546 nbBacktracks=757 nbVisitedNodes=2333 nbRestartNogoods=32
1.15 mapSize=636 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.36 cpuTime=0.28 mem=14M825
1.29
1.29 search
1.29 run=9 nbConstraintChecks=2046691 nbPropagations=119540 nbRevisions=1222662 nbUselessRevisions=943621
1.29 nbAssignments=2040 nbFailedAssignments=825 nbBacktracks=1142 nbVisitedNodes=3529 nbRestartNogoods=36
1.29 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.507 cpuTime=0.41 mem=14M825
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=14M825)
1.44
1.44 search
1.44 run=10 nbConstraintChecks=2806516 nbPropagations=174386 nbRevisions=1795681 nbUselessRevisions=1384291
1.44 nbAssignments=2956 nbFailedAssignments=1158 nbBacktracks=1718 nbVisitedNodes=5082 nbRestartNogoods=45
1.44 => wckTime=0.654 cpuTime=0.55 mem=14M825
1.69
1.69 search
1.69 run=11 nbConstraintChecks=4348894 nbPropagations=257641 nbRevisions=2678693 nbUselessRevisions=2063542
1.69 nbAssignments=4444 nbFailedAssignments=1775 nbBacktracks=2585 nbVisitedNodes=7717 nbRestartNogoods=54
1.69 => wckTime=0.903 cpuTime=0.8 mem=14M825
2.00
2.00 search
2.00 run=12 nbConstraintChecks=6246743 nbPropagations=378031 nbRevisions=3946814 nbUselessRevisions=3037871
2.00 nbAssignments=6536 nbFailedAssignments=2562 nbBacktracks=3883 nbVisitedNodes=11299 nbRestartNogoods=56
2.00 => wckTime=1.21 cpuTime=1.1 mem=14M825
2.59
2.59 search
2.59 run=13 nbConstraintChecks=10038916 nbPropagations=564630 nbRevisions=5947411 nbUselessRevisions=4573400
2.59 nbAssignments=10019 nbFailedAssignments=4092 nbBacktracks=5829 nbVisitedNodes=17494 nbRestartNogoods=69
2.59 => wckTime=1.8 cpuTime=1.68 mem=14M825
3.34
3.34 search
3.34 run=14 nbConstraintChecks=14760756 nbPropagations=840771 nbRevisions=8894657 nbUselessRevisions=6834776
3.34 nbAssignments=14819 nbFailedAssignments=5953 nbBacktracks=8748 nbVisitedNodes=25776 nbRestartNogoods=76
3.34 => wckTime=2.553 cpuTime=2.44 mem=14M825
4.48
4.48 search
4.48 run=15 nbConstraintChecks=21903258 nbPropagations=1250575 nbRevisions=13259397 nbUselessRevisions=10183084
4.48 nbAssignments=22056 nbFailedAssignments=8807 nbBacktracks=13128 nbVisitedNodes=38272 nbRestartNogoods=84
4.48 => wckTime=3.697 cpuTime=3.57 mem=14M825
6.36
6.36 search
6.36 run=16 nbConstraintChecks=33877377 nbPropagations=1875996 nbRevisions=19978103 nbUselessRevisions=15340977
6.36 nbAssignments=33431 nbFailedAssignments=13609 nbBacktracks=19696 nbVisitedNodes=58275 nbRestartNogoods=97
6.36 => wckTime=5.575 cpuTime=5.43 mem=14M825
8.82
8.82 search
8.82 run=17 nbConstraintChecks=49105324 nbPropagations=2793753 nbRevisions=29783517 nbUselessRevisions=22870470
8.82 nbAssignments=49401 nbFailedAssignments=19719 nbBacktracks=29549 nbVisitedNodes=85792 nbRestartNogoods=109
8.82 => wckTime=8.037 cpuTime=7.87 mem=14M825
12.83
12.83 search
12.83 run=18 nbConstraintChecks=74831047 nbPropagations=4169737 nbRevisions=44507388 nbUselessRevisions=34162422
12.83 nbAssignments=73808 nbFailedAssignments=29347 nbBacktracks=44327 nbVisitedNodes=128206 nbRestartNogoods=114
12.83 => wckTime=12.049 cpuTime=11.84 mem=14M825
18.68
18.68 search
18.68 run=19 nbConstraintChecks=111666447 nbPropagations=6217547 nbRevisions=66455038 nbUselessRevisions=50998107
18.68 nbAssignments=110264 nbFailedAssignments=43633 nbBacktracks=66496 nbVisitedNodes=191090 nbRestartNogoods=118
18.68 => wckTime=17.893 cpuTime=17.64 mem=14M825
20.10
20.10 search
20.10 run=20 nbConstraintChecks=120601988 nbPropagations=8428173 nbRevisions=90163545 nbUselessRevisions=69186998
20.10 nbAssignments=119208 nbFailedAssignments=47185 nbBacktracks=71848 nbVisitedNodes=206524 nbRestartNogoods=120
20.10 => wckTime=19.315 cpuTime=19.06 mem=14M825
20.10
20.10 global
20.10 nbConstraintChecks=120654096 nbPropagations=8428952 nbRevisions=90169411 nbUselessRevisions=69191768
20.10 nbRestartNogoods=120 solvingWckTime=19.316 solvingCpuTime=19.06 expiredTime=no totalExploration=no
20.10 nbFoundSolutions=1 globalCpuTime=19.43
20.10 => wckTime=19.791 cpuTime=19.39 mem=15M800
20.10
20.11 s SATISFIABLE
20.11 v 13 3 5 5 9 3 5 5 4 2 15 11 1 2 0 11 0 2 6 2 12 0 1 14 12 7 12 10 5 7 3 10 15 14 9 5 8 4 10 11
20.11 d NODES 119208
20.11 d CHECKS 120654096
20.11
20.11 totalWckTime=19.87 totalCpuTime=19.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-229641-1168307700 -o ROOT/results/node1/solver-229641-1168307700 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229641-1168307700/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.93 0.99 1.12 2/83 1581
/proc/meminfo: memFree=1269816/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=1784 CPUtime=0
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 142 0 0 0 0 0 0 0 19 0 1 0 179165782 1826816 114 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6270193 0 0 4096 0 0 0 0 17 1 0 0
/proc/1580/statm: 446 121 89 14 0 91 0
[startup+0.10236 s]
/proc/loadavg: 0.93 0.99 1.12 2/83 1581
/proc/meminfo: memFree=1269816/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=913068 CPUtime=0.07
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 2860 0 1 0 6 1 0 0 21 0 8 0 179165782 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1580/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.510413 s]
/proc/loadavg: 0.93 0.99 1.12 2/83 1581
/proc/meminfo: memFree=1269816/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=915328 CPUtime=0.48
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 6680 0 1 0 44 4 0 0 23 0 8 0 179165782 937295872 6419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1580/statm: 228832 6419 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3325 s]
/proc/loadavg: 0.93 0.99 1.12 3/101 1600
/proc/meminfo: memFree=1237160/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=915452 CPUtime=1.29
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 8695 0 1 0 123 6 0 0 25 0 8 0 179165782 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887815 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1580/statm: 228863 8433 2524 14 0 215333 0
[pid=1580/tid=1588] ppid=1577 vsize=915452 CPUtime=0.03
/proc/1580/task/1588/stat : 1588 (java) S 1577 1580 1435 0 -1 64 242 0 0 0 3 0 0 0 17 0 8 0 179165787 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1591] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1591/stat : 1591 (java) S 1577 1580 1435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179165787 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1592] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1592/stat : 1592 (java) S 1577 1580 1435 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179165787 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1593] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1593/stat : 1593 (java) S 1577 1580 1435 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179165791 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1595] ppid=1577 vsize=915452 CPUtime=0.24
/proc/1580/task/1595/stat : 1595 (java) S 1577 1580 1435 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 179165791 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1597] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1597/stat : 1597 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 179165791 937422848 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1599] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1599/stat : 1599 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179165791 937422848 8433 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+2.98469 s]
/proc/loadavg: 1.02 1.01 1.13 3/101 1600
/proc/meminfo: memFree=1236584/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=915452 CPUtime=2.93
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 8710 0 1 0 287 6 0 0 25 0 8 0 179165782 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1580/statm: 228863 8447 2524 14 0 215333 0
[pid=1580/tid=1588] ppid=1577 vsize=915452 CPUtime=0.03
/proc/1580/task/1588/stat : 1588 (java) S 1577 1580 1435 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179165787 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1591] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1591/stat : 1591 (java) S 1577 1580 1435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179165787 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1592] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1592/stat : 1592 (java) S 1577 1580 1435 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179165787 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1593] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1593/stat : 1593 (java) S 1577 1580 1435 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179165791 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1595] ppid=1577 vsize=915452 CPUtime=0.25
/proc/1580/task/1595/stat : 1595 (java) S 1577 1580 1435 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 179165791 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1597] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1597/stat : 1597 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 179165791 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1599] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1599/stat : 1599 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179165791 937422848 8447 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+6.27008 s]
/proc/loadavg: 1.02 1.01 1.13 3/101 1600
/proc/meminfo: memFree=1236392/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=915452 CPUtime=6.19
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 8716 0 1 0 613 6 0 0 25 0 8 0 179165782 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1580/statm: 228863 8452 2524 14 0 215333 0
[pid=1580/tid=1588] ppid=1577 vsize=915452 CPUtime=0.03
/proc/1580/task/1588/stat : 1588 (java) S 1577 1580 1435 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179165787 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1591] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1591/stat : 1591 (java) S 1577 1580 1435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179165787 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1592] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1592/stat : 1592 (java) S 1577 1580 1435 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179165787 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1593] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1593/stat : 1593 (java) S 1577 1580 1435 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179165791 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1595] ppid=1577 vsize=915452 CPUtime=0.25
/proc/1580/task/1595/stat : 1595 (java) S 1577 1580 1435 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 179165791 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1597] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1597/stat : 1597 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 179165791 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1599] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1599/stat : 1599 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179165791 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7548 s]
/proc/loadavg: 1.17 1.04 1.14 3/101 1600
/proc/meminfo: memFree=1236392/2055920 swapFree=4165612/4192956
[pid=1580] ppid=1577 vsize=915452 CPUtime=12.61
/proc/1580/stat : 1580 (java) R 1577 1580 1435 0 -1 0 8721 0 1 0 1255 6 0 0 25 0 8 0 179165782 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1580/statm: 228863 8457 2524 14 0 215333 0
[pid=1580/tid=1588] ppid=1577 vsize=915452 CPUtime=0.03
/proc/1580/task/1588/stat : 1588 (java) S 1577 1580 1435 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179165787 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1591] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1591/stat : 1591 (java) S 1577 1580 1435 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179165787 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1592] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1592/stat : 1592 (java) S 1577 1580 1435 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179165787 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1593] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1593/stat : 1593 (java) S 1577 1580 1435 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179165791 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1595] ppid=1577 vsize=915452 CPUtime=0.25
/proc/1580/task/1595/stat : 1595 (java) S 1577 1580 1435 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 179165791 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1597] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1597/stat : 1597 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 179165791 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1580/tid=1599] ppid=1577 vsize=915452 CPUtime=0
/proc/1580/task/1599/stat : 1599 (java) S 1577 1580 1435 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179165791 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 20.1409
CPU time (s): 19.926
CPU user time (s): 19.856
CPU system time (s): 0.069989
CPU usage (%): 98.9331
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.856
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8818
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= 1563
involuntary context switches= 2278
runsolver used 0.022996 s user time and 0.070989 s system time
The end
Begin job on node1 on Tue Jan 9 01:55:00 UTC 2007
IDJOB= 229641
IDBENCH= 6331
FILE ID= node1/229641-1168307700
PBS_JOBID= 3502331
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229641-1168307700/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-229641-1168307700 -o ROOT/results/node1/solver-229641-1168307700 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229641-1168307700/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4a0308fc76b9a1ffabf9d472ee025271
RANDOM SEED= 759392051
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.234
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.234
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: 1270688 kB
Buffers: 78804 kB
Cached: 606348 kB
SwapCached: 3620 kB
Active: 341488 kB
Inactive: 382460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1270688 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2644 kB
Writeback: 0 kB
Mapped: 48752 kB
Slab: 46376 kB
Committed_AS: 5556204 kB
PageTables: 2188 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= 66312 MiB
End job on node1 on Tue Jan 9 01:55:21 UTC 2007