0.33
0.33 Abscon 109 (November, 2006)
0.33
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/226354-1168080692/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.44 => wckTime=0.104 cpuTime=0.1 mem=6M951
0.44
0.44 relations being loaded...
0.56
0.56 constraints being loaded...
0.65 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.65 => wckTime=0.309 cpuTime=0.25 mem=15M729
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.508 cpuTime=0.38 mem=13M789
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0020 cpuTime=0.01 mem=13M789
0.91
0.91 search
0.91 run=0 nbConstraintChecks=65775 nbPropagations=907 nbRevisions=4895 nbUselessRevisions=2986 nbAssignments=33
0.91 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.06 cpuTime=0.04 mem=14M764
0.93
0.94 search
0.94 run=1 nbConstraintChecks=146218 nbPropagations=3037 nbRevisions=16589 nbUselessRevisions=10129
0.94 nbAssignments=81 nbFailedAssignments=46 nbBacktracks=28 nbVisitedNodes=149 nbRestartNogoods=6 mapSize=26
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.085 cpuTime=0.06 mem=14M764
0.96
0.96 search
0.96 run=2 nbConstraintChecks=259647 nbPropagations=6764 nbRevisions=37634 nbUselessRevisions=23166
0.96 nbAssignments=144 nbFailedAssignments=79 nbBacktracks=51 nbVisitedNodes=261 nbRestartNogoods=8 mapSize=45
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.109 cpuTime=0.08 mem=14M764
0.98
0.98 search
0.98 run=3 nbConstraintChecks=405095 nbPropagations=12309 nbRevisions=69716 nbUselessRevisions=42855
0.98 nbAssignments=214 nbFailedAssignments=112 nbBacktracks=84 nbVisitedNodes=386 nbRestartNogoods=12 mapSize=73
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.132 cpuTime=0.1 mem=14M764
1.01
1.01 search
1.01 run=4 nbConstraintChecks=582720 nbPropagations=20504 nbRevisions=117890 nbUselessRevisions=72465
1.01 nbAssignments=325 nbFailedAssignments=171 nbBacktracks=134 nbVisitedNodes=590 nbRestartNogoods=16 mapSize=116
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.162 cpuTime=0.12 mem=14M764
1.06
1.06 search
1.06 run=5 nbConstraintChecks=912555 nbPropagations=33257 nbRevisions=193924 nbUselessRevisions=119611
1.06 nbAssignments=525 nbFailedAssignments=290 nbBacktracks=210 nbVisitedNodes=957 nbRestartNogoods=18 mapSize=186
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.207 cpuTime=0.17 mem=14M764
1.12
1.12 search
1.12 run=6 nbConstraintChecks=1360666 nbPropagations=52445 nbRevisions=307208 nbUselessRevisions=189846
1.12 nbAssignments=780 nbFailedAssignments=426 nbBacktracks=323 nbVisitedNodes=1422 nbRestartNogoods=22 mapSize=287
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.268 cpuTime=0.22 mem=14M764
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1970515 nbPropagations=80685 nbRevisions=474676 nbUselessRevisions=293792
1.21 nbAssignments=1134 nbFailedAssignments=605 nbBacktracks=493 nbVisitedNodes=2071 nbRestartNogoods=29
1.21 mapSize=435 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.361 cpuTime=0.31 mem=14M764
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2974962 nbPropagations=123215 nbRevisions=725907 nbUselessRevisions=449197
1.36 nbAssignments=1698 nbFailedAssignments=910 nbBacktracks=750 nbVisitedNodes=3099 nbRestartNogoods=35
1.36 mapSize=652 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.514 cpuTime=0.44 mem=14M764
1.54
1.54 search
1.54 run=9 nbConstraintChecks=4400222 nbPropagations=185369 nbRevisions=1096270 nbUselessRevisions=678202
1.54 nbAssignments=2481 nbFailedAssignments=1303 nbBacktracks=1136 nbVisitedNodes=4514 nbRestartNogoods=39
1.54 mapSize=979 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.689 cpuTime=0.61 mem=14M764
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=14M764)
1.80
1.80 search
1.80 run=10 nbConstraintChecks=6608180 nbPropagations=277573 nbRevisions=1648957 nbUselessRevisions=1020086
1.80 nbAssignments=3684 nbFailedAssignments=1926 nbBacktracks=1712 nbVisitedNodes=6675 nbRestartNogoods=45
1.80 => wckTime=0.952 cpuTime=0.86 mem=14M764
2.22
2.22 search
2.22 run=11 nbConstraintChecks=10221417 nbPropagations=422102 nbRevisions=2522993 nbUselessRevisions=1561331
2.22 nbAssignments=5735 nbFailedAssignments=3108 nbBacktracks=2577 nbVisitedNodes=10499 nbRestartNogoods=54
2.22 => wckTime=1.37 cpuTime=1.28 mem=14M764
2.82
2.82 search
2.82 run=12 nbConstraintChecks=15622487 nbPropagations=638642 nbRevisions=3827542 nbUselessRevisions=2365691
2.82 nbAssignments=8446 nbFailedAssignments=4519 nbBacktracks=3874 nbVisitedNodes=15453 nbRestartNogoods=63
2.82 => wckTime=1.971 cpuTime=1.87 mem=14M764
3.70
3.70 search
3.70 run=13 nbConstraintChecks=23239151 nbPropagations=964059 nbRevisions=5792067 nbUselessRevisions=3576360
3.70 nbAssignments=12522 nbFailedAssignments=6644 nbBacktracks=5821 nbVisitedNodes=22972 nbRestartNogoods=70
3.70 => wckTime=2.853 cpuTime=2.74 mem=14M764
5.01
5.01 search
5.01 run=14 nbConstraintChecks=34863339 nbPropagations=1450788 nbRevisions=8736465 nbUselessRevisions=5397022
5.01 nbAssignments=18969 nbFailedAssignments=10165 nbBacktracks=8741 nbVisitedNodes=34868 nbRestartNogoods=84
5.01 => wckTime=4.157 cpuTime=4.03 mem=14M764
6.86
6.86 search
6.86 run=15 nbConstraintChecks=51004035 nbPropagations=2171438 nbRevisions=13075227 nbUselessRevisions=8078868
6.86 nbAssignments=28201 nbFailedAssignments=15016 nbBacktracks=13120 nbVisitedNodes=51769 nbRestartNogoods=93
6.86 => wckTime=6.007 cpuTime=5.87 mem=14M764
9.80
9.80 search
9.80 run=16 nbConstraintChecks=76906189 nbPropagations=3257284 nbRevisions=19649129 nbUselessRevisions=12147928
9.80 nbAssignments=42580 nbFailedAssignments=22824 nbBacktracks=19688 nbVisitedNodes=78277 nbRestartNogoods=111
9.80 => wckTime=8.952 cpuTime=8.78 mem=14M764
14.30
14.30 search
14.30 run=17 nbConstraintChecks=117396935 nbPropagations=4898287 nbRevisions=29576826 nbUselessRevisions=18278337
14.30 nbAssignments=63993 nbFailedAssignments=34381 nbBacktracks=29540 nbVisitedNodes=117759 nbRestartNogoods=116
14.30 => wckTime=13.454 cpuTime=13.24 mem=14M764
21.13
21.13 search
21.13 run=18 nbConstraintChecks=179533986 nbPropagations=7376295 nbRevisions=44555950 nbUselessRevisions=27502703
21.13 nbAssignments=95732 nbFailedAssignments=51339 nbBacktracks=44318 nbVisitedNodes=176189 nbRestartNogoods=127
21.13 => wckTime=20.281 cpuTime=20.01 mem=14M764
31.94
31.94 search
31.94 run=19 nbConstraintChecks=278279493 nbPropagations=11148941 nbRevisions=67381649 nbUselessRevisions=41523694
31.94 nbAssignments=143745 nbFailedAssignments=77181 nbBacktracks=66486 nbVisitedNodes=264787 nbRestartNogoods=139
31.94 => wckTime=31.094 cpuTime=30.72 mem=14M764
35.40
35.40 search
35.40 run=20 nbConstraintChecks=310522329 nbPropagations=15331198 nbRevisions=92712603 nbUselessRevisions=57076330
35.40 nbAssignments=158756 nbFailedAssignments=85125 nbBacktracks=73554 nbVisitedNodes=292495 nbRestartNogoods=149
35.40 => wckTime=34.546 cpuTime=34.14 mem=14M764
35.40
35.40 global
35.40 nbConstraintChecks=310522329 nbPropagations=15331238 nbRevisions=92712603 nbUselessRevisions=57076330
35.40 nbRestartNogoods=149 solvingWckTime=34.547 solvingCpuTime=34.14 expiredTime=no totalExploration=yes
35.40 nbFoundSolutions=0 globalCpuTime=34.57
35.40 => wckTime=35.06 cpuTime=34.52 mem=14M764
35.40
35.40 s UNSATISFIABLE
35.40 d NODES 158756
35.40 d CHECKS 310522329
35.40
35.40 totalWckTime=35.142 totalCpuTime=34.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-226354-1168080692 -o ROOT/results/node1/solver-226354-1168080692 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226354-1168080692/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.24 1.62 1.84 4/93 17810
/proc/meminfo: memFree=1147112/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=9748 CPUtime=0
/proc/17809/stat : 17809 (java) D 17807 17809 17574 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156465844 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5829412 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17809/statm: 2437 412 333 14 0 1140 0
[startup+0.103351 s]
/proc/loadavg: 1.24 1.62 1.84 4/93 17810
/proc/meminfo: memFree=1147112/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=914988 CPUtime=0.08
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 2965 0 1 0 7 1 0 0 19 0 8 0 156465844 936947712 2711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228747 2711 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511399 s]
/proc/loadavg: 1.24 1.62 1.84 4/93 17810
/proc/meminfo: memFree=1147112/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=915328 CPUtime=0.46
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 6797 0 1 0 42 4 0 0 18 0 8 0 156465844 937295872 6536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228832 6536 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33249 s]
/proc/loadavg: 1.24 1.62 1.84 3/100 17817
/proc/meminfo: memFree=1121776/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=915432 CPUtime=1.27
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 9068 0 1 0 121 6 0 0 24 0 8 0 156465844 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073341776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228858 8806 2513 14 0 215328 0
[pid=17809/tid=17811] ppid=17807 vsize=915432 CPUtime=0.03
/proc/17809/task/17811/stat : 17811 (java) S 17807 17809 17574 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156465848 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17812] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17812/stat : 17812 (java) S 17807 17809 17574 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156465848 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17813] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17813/stat : 17813 (java) S 17807 17809 17574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156465848 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17814] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17814/stat : 17814 (java) S 17807 17809 17574 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156465852 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17815] ppid=17807 vsize=915432 CPUtime=0.2
/proc/17809/task/17815/stat : 17815 (java) S 17807 17809 17574 0 -1 64 368 0 0 0 19 1 0 0 16 0 8 0 156465852 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17816] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17816/stat : 17816 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156465852 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17817] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17817/stat : 17817 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156465852 937402368 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915432
[startup+2.97068 s]
/proc/loadavg: 1.30 1.62 1.84 3/100 17817
/proc/meminfo: memFree=1121584/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=915432 CPUtime=2.89
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 9077 0 1 0 283 6 0 0 25 0 8 0 156465844 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073768960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228858 8814 2513 14 0 215328 0
[pid=17809/tid=17811] ppid=17807 vsize=915432 CPUtime=0.03
/proc/17809/task/17811/stat : 17811 (java) S 17807 17809 17574 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17812] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17812/stat : 17812 (java) S 17807 17809 17574 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17813] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17813/stat : 17813 (java) S 17807 17809 17574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17814] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17814/stat : 17814 (java) S 17807 17809 17574 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17815] ppid=17807 vsize=915432 CPUtime=0.22
/proc/17809/task/17815/stat : 17815 (java) S 17807 17809 17574 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17816] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17816/stat : 17816 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17817] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17817/stat : 17817 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915432
[startup+6.17605 s]
/proc/loadavg: 1.30 1.62 1.84 3/100 17817
/proc/meminfo: memFree=1121584/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=915432 CPUtime=6.07
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 9078 0 1 0 601 6 0 0 25 0 8 0 156465844 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228858 8814 2513 14 0 215328 0
[pid=17809/tid=17811] ppid=17807 vsize=915432 CPUtime=0.03
/proc/17809/task/17811/stat : 17811 (java) S 17807 17809 17574 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17812] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17812/stat : 17812 (java) S 17807 17809 17574 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17813] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17813/stat : 17813 (java) S 17807 17809 17574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17814] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17814/stat : 17814 (java) S 17807 17809 17574 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17815] ppid=17807 vsize=915432 CPUtime=0.22
/proc/17809/task/17815/stat : 17815 (java) S 17807 17809 17574 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17816] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17816/stat : 17816 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17817] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17817/stat : 17817 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915432
[startup+12.6428 s]
/proc/loadavg: 1.41 1.64 1.84 4/100 17817
/proc/meminfo: memFree=1121584/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=915432 CPUtime=12.47
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 9078 0 1 0 1241 6 0 0 25 0 8 0 156465844 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228858 8814 2513 14 0 215328 0
[pid=17809/tid=17811] ppid=17807 vsize=915432 CPUtime=0.03
/proc/17809/task/17811/stat : 17811 (java) S 17807 17809 17574 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17812] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17812/stat : 17812 (java) S 17807 17809 17574 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17813] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17813/stat : 17813 (java) S 17807 17809 17574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17814] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17814/stat : 17814 (java) S 17807 17809 17574 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17815] ppid=17807 vsize=915432 CPUtime=0.22
/proc/17809/task/17815/stat : 17815 (java) S 17807 17809 17574 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17816] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17816/stat : 17816 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17817] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17817/stat : 17817 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915432
[startup+25.5053 s]
/proc/loadavg: 1.50 1.65 1.84 3/100 17817
/proc/meminfo: memFree=1121584/2055920 swapFree=4165584/4192956
[pid=17809] ppid=17807 vsize=915432 CPUtime=25.23
/proc/17809/stat : 17809 (java) R 17807 17809 17574 0 -1 0 9078 0 1 0 2516 7 0 0 25 0 8 0 156465844 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17809/statm: 228858 8814 2513 14 0 215328 0
[pid=17809/tid=17811] ppid=17807 vsize=915432 CPUtime=0.03
/proc/17809/task/17811/stat : 17811 (java) S 17807 17809 17574 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17812] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17812/stat : 17812 (java) S 17807 17809 17574 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17813] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17813/stat : 17813 (java) S 17807 17809 17574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156465848 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17814] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17814/stat : 17814 (java) S 17807 17809 17574 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17815] ppid=17807 vsize=915432 CPUtime=0.22
/proc/17809/task/17815/stat : 17815 (java) S 17807 17809 17574 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17816] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17816/stat : 17816 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17809/tid=17817] ppid=17807 vsize=915432 CPUtime=0
/proc/17809/task/17817/stat : 17817 (java) S 17807 17809 17574 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156465852 937402368 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915432
Child status: 0
Real time (s): 35.4401
CPU time (s): 35.0477
CPU user time (s): 34.9687
CPU system time (s): 0.078987
CPU usage (%): 98.8926
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.9687
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9087
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= 1789
involuntary context switches= 4010
runsolver used 0.051992 s user time and 0.119981 s system time
The end
Begin job on node1 on Sat Jan 6 10:51:38 UTC 2007
IDJOB= 226354
IDBENCH= 5961
FILE ID= node1/226354-1168080692
PBS_JOBID= 3475868
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226354-1168080692/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-226354-1168080692 -o ROOT/results/node1/solver-226354-1168080692 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226354-1168080692/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 052daab93e3479cd3789561612b07034
RANDOM SEED= 59312388
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: 1147592 kB
Buffers: 70028 kB
Cached: 642388 kB
SwapCached: 3692 kB
Active: 432572 kB
Inactive: 378312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1147592 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 118420 kB
Slab: 81900 kB
Committed_AS: 4972492 kB
PageTables: 2512 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= 66301 MiB
End job on node1 on Sat Jan 6 10:52:24 UTC 2007