0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/228644-1168080898/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.45 => wckTime=0.116 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.54
0.54 constraints being loaded...
0.64 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8222 maxDegree=30
0.64 maxArity=2
0.64 => wckTime=0.304 cpuTime=0.2 mem=10M852
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.492 cpuTime=0.32 mem=13M695
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0070 cpuTime=0.0 mem=13M695
0.87
0.87 search
0.87 run=0 nbConstraintChecks=18806 nbPropagations=462 nbRevisions=4828 nbUselessRevisions=3982 nbAssignments=24
0.87 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.046 cpuTime=0.03 mem=14M670
0.90
0.90 search
0.90 run=1 nbConstraintChecks=39008 nbPropagations=1337 nbRevisions=14401 nbUselessRevisions=11817 nbAssignments=53
0.90 nbFailedAssignments=12 nbBacktracks=25 nbVisitedNodes=79 nbRestartNogoods=2 mapSize=18 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.068 cpuTime=0.04 mem=14M670
0.92
0.92 search
0.92 run=2 nbConstraintChecks=73482 nbPropagations=2900 nbRevisions=32933 nbUselessRevisions=26998 nbAssignments=97
0.92 nbFailedAssignments=27 nbBacktracks=48 nbVisitedNodes=149 nbRestartNogoods=5 mapSize=36 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.088 cpuTime=0.06 mem=14M670
0.93
0.93 search
0.93 run=3 nbConstraintChecks=123103 nbPropagations=5396 nbRevisions=64558 nbUselessRevisions=52988
0.93 nbAssignments=153 nbFailedAssignments=42 nbBacktracks=82 nbVisitedNodes=241 nbRestartNogoods=7 mapSize=62
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.104 cpuTime=0.08 mem=14M670
0.95
0.95 search
0.95 run=4 nbConstraintChecks=191835 nbPropagations=9181 nbRevisions=114398 nbUselessRevisions=93987
0.95 nbAssignments=240 nbFailedAssignments=72 nbBacktracks=136 nbVisitedNodes=383 nbRestartNogoods=13 mapSize=103
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.125 cpuTime=0.1 mem=14M670
0.98
0.98 search
0.98 run=5 nbConstraintChecks=290078 nbPropagations=14823 nbRevisions=190080 nbUselessRevisions=156204
0.98 nbAssignments=356 nbFailedAssignments=106 nbBacktracks=212 nbVisitedNodes=570 nbRestartNogoods=14 mapSize=158
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.156 cpuTime=0.12 mem=14M670
1.02
1.02 search
1.02 run=6 nbConstraintChecks=441571 nbPropagations=23219 nbRevisions=306219 nbUselessRevisions=251625
1.02 nbAssignments=540 nbFailedAssignments=170 nbBacktracks=326 nbVisitedNodes=883 nbRestartNogoods=19 mapSize=254
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.197 cpuTime=0.16 mem=14M670
1.08
1.08 search
1.08 run=7 nbConstraintChecks=648110 nbPropagations=35487 nbRevisions=478298 nbUselessRevisions=393590
1.08 nbAssignments=802 nbFailedAssignments=255 nbBacktracks=496 nbVisitedNodes=1317 nbRestartNogoods=23 mapSize=397
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.251 cpuTime=0.21 mem=14M670
1.18
1.18 search
1.18 run=8 nbConstraintChecks=1023803 nbPropagations=54339 nbRevisions=749813 nbUselessRevisions=617998
1.18 nbAssignments=1214 nbFailedAssignments=404 nbBacktracks=752 nbVisitedNodes=2023 nbRestartNogoods=27
1.18 mapSize=613 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.351 cpuTime=0.31 mem=14M670
1.31
1.31 search
1.31 run=9 nbConstraintChecks=1533095 nbPropagations=82453 nbRevisions=1159638 nbUselessRevisions=957076
1.31 nbAssignments=1809 nbFailedAssignments=608 nbBacktracks=1136 nbVisitedNodes=3045 nbRestartNogoods=32
1.31 mapSize=941 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.484 cpuTime=0.43 mem=14M670
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=14M670)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=2276891 nbPropagations=124032 nbRevisions=1770808 nbUselessRevisions=1463654
1.48 nbAssignments=2712 nbFailedAssignments=929 nbBacktracks=1712 nbVisitedNodes=4572 nbRestartNogoods=39
1.48 => wckTime=0.654 cpuTime=0.58 mem=14M670
1.71
1.71 search
1.71 run=11 nbConstraintChecks=3375575 nbPropagations=185303 nbRevisions=2671806 nbUselessRevisions=2209613
1.71 nbAssignments=4013 nbFailedAssignments=1362 nbBacktracks=2576 nbVisitedNodes=6760 nbRestartNogoods=46
1.71 => wckTime=0.878 cpuTime=0.81 mem=14M670
2.06
2.06 search
2.06 run=12 nbConstraintChecks=5142162 nbPropagations=277611 nbRevisions=4035716 nbUselessRevisions=3338212
2.06 nbAssignments=6014 nbFailedAssignments=2059 nbBacktracks=3877 nbVisitedNodes=10133 nbRestartNogoods=50
2.06 => wckTime=1.235 cpuTime=1.16 mem=14M670
2.59
2.59 search
2.59 run=13 nbConstraintChecks=7719999 nbPropagations=416584 nbRevisions=6101638 nbUselessRevisions=5049779
2.59 nbAssignments=9000 nbFailedAssignments=3093 nbBacktracks=5823 nbVisitedNodes=15201 nbRestartNogoods=55
2.59 => wckTime=1.765 cpuTime=1.69 mem=14M670
3.34
3.34 search
3.34 run=14 nbConstraintChecks=11363860 nbPropagations=621308 nbRevisions=9146080 nbUselessRevisions=7572379
3.34 nbAssignments=13348 nbFailedAssignments=4515 nbBacktracks=8744 nbVisitedNodes=22477 nbRestartNogoods=58
3.34 => wckTime=2.508 cpuTime=2.43 mem=14M670
4.45
4.45 search
4.45 run=15 nbConstraintChecks=16770255 nbPropagations=925748 nbRevisions=13649599 nbUselessRevisions=11303542
4.45 nbAssignments=20018 nbFailedAssignments=6800 nbBacktracks=13123 nbVisitedNodes=33755 nbRestartNogoods=62
4.45 => wckTime=3.62 cpuTime=3.54 mem=14M670
6.22
6.22 search
6.22 run=16 nbConstraintChecks=25598045 nbPropagations=1385586 nbRevisions=20512120 nbUselessRevisions=16996035
6.22 nbAssignments=29973 nbFailedAssignments=10179 nbBacktracks=19691 nbVisitedNodes=50572 nbRestartNogoods=73
6.22 => wckTime=5.393 cpuTime=5.3 mem=14M670
8.76
8.76 search
8.76 run=17 nbConstraintChecks=38261140 nbPropagations=2072533 nbRevisions=30769445 nbUselessRevisions=25507533
8.76 nbAssignments=44758 nbFailedAssignments=15106 nbBacktracks=29545 nbVisitedNodes=75469 nbRestartNogoods=85
8.76 => wckTime=7.936 cpuTime=7.83 mem=14M670
12.56
12.56 search
12.56 run=18 nbConstraintChecks=57192779 nbPropagations=3096910 nbRevisions=46092391 nbUselessRevisions=38234781
12.56 nbAssignments=67280 nbFailedAssignments=22844 nbBacktracks=44323 nbVisitedNodes=113490 nbRestartNogoods=98
12.56 => wckTime=11.736 cpuTime=11.61 mem=14M670
18.67
18.67 search
18.67 run=19 nbConstraintChecks=87696556 nbPropagations=4659474 nbRevisions=69529232 nbUselessRevisions=57691070
18.67 nbAssignments=101367 nbFailedAssignments=34755 nbBacktracks=66493 nbVisitedNodes=171596 nbRestartNogoods=108
18.67 => wckTime=17.846 cpuTime=17.7 mem=14M670
28.05
28.05 search
28.05 run=20 nbConstraintChecks=132479098 nbPropagations=7006737 nbRevisions=104855739 nbUselessRevisions=87023049
28.05 nbAssignments=152314 nbFailedAssignments=52445 nbBacktracks=99745 nbVisitedNodes=257739 nbRestartNogoods=116
28.05 => wckTime=27.222 cpuTime=27.06 mem=14M670
32.29
32.29 search
32.29 run=21 nbConstraintChecks=152362748 nbPropagations=9699991 nbRevisions=145464785 nbUselessRevisions=120746104
32.29 nbAssignments=174589 nbFailedAssignments=60284 nbBacktracks=114182 nbVisitedNodes=295552 nbRestartNogoods=123
32.29 => wckTime=31.459 cpuTime=31.3 mem=14M670
32.29
32.29 global
32.29 nbConstraintChecks=152362748 nbPropagations=9700031 nbRevisions=145464785 nbUselessRevisions=120746104
32.29 nbRestartNogoods=123 solvingWckTime=31.46 solvingCpuTime=31.3 expiredTime=no totalExploration=yes
32.29 nbFoundSolutions=0 globalCpuTime=31.67
32.29 => wckTime=31.955 cpuTime=31.62 mem=14M670
32.29
32.29 s UNSATISFIABLE
32.29 d NODES 174589
32.29 d CHECKS 152362748
32.29
32.29 totalWckTime=32.031 totalCpuTime=31.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-228644-1168080898 -o ROOT/results/node42/solver-228644-1168080898 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228644-1168080898/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.09 0.35 0.68 4/69 25360
/proc/meminfo: memFree=1336448/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=18540 CPUtime=0
/proc/25359/stat : 25359 (runsolver) R 25354 25359 25047 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156490159 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/25359/statm: 4635 279 244 17 0 2626 0
[startup+0.104241 s]
/proc/loadavg: 0.09 0.35 0.68 4/69 25360
/proc/meminfo: memFree=1336448/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=911488 CPUtime=0.06
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 2582 0 1 0 5 1 0 0 22 0 8 0 156490159 933363712 2329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153870914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25359/statm: 227872 2329 1270 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.512284 s]
/proc/loadavg: 0.09 0.35 0.68 4/69 25360
/proc/meminfo: memFree=1336448/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=916352 CPUtime=0.44
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 6300 0 1 0 40 4 0 0 17 0 8 0 156490159 938344448 6039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072896998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25359/statm: 229088 6039 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 916352
[startup+1.33437 s]
/proc/loadavg: 0.09 0.35 0.68 3/87 25395
/proc/meminfo: memFree=1289576/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=916480 CPUtime=1.24
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 8578 0 1 0 119 5 0 0 23 0 8 0 156490159 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25359/statm: 229120 8316 2513 14 0 215590 0
[pid=25359/tid=25377] ppid=25354 vsize=916480 CPUtime=0.03
/proc/25359/task/25377/stat : 25377 (java) S 25354 25359 25047 0 -1 64 229 0 0 0 3 0 0 0 17 0 8 0 156490165 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25378] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25378/stat : 25378 (java) S 25354 25359 25047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490166 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25379] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25379/stat : 25379 (java) S 25354 25359 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490166 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25382] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25382/stat : 25382 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490169 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25383] ppid=25354 vsize=916480 CPUtime=0.21
/proc/25359/task/25383/stat : 25383 (java) S 25354 25359 25047 0 -1 64 385 0 0 0 21 0 0 0 15 0 8 0 156490169 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25384] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25384/stat : 25384 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490169 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25385] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25385/stat : 25385 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490169 938475520 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 916480
[startup+2.98355 s]
/proc/loadavg: 0.09 0.35 0.68 3/87 25395
/proc/meminfo: memFree=1289000/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=916480 CPUtime=2.9
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 8598 0 1 0 284 6 0 0 25 0 8 0 156490159 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25359/statm: 229120 8335 2513 14 0 215590 0
[pid=25359/tid=25377] ppid=25354 vsize=916480 CPUtime=0.03
/proc/25359/task/25377/stat : 25377 (java) S 25354 25359 25047 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490165 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25378] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25378/stat : 25378 (java) S 25354 25359 25047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490166 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25379] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25379/stat : 25379 (java) S 25354 25359 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490166 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25382] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25382/stat : 25382 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490169 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25383] ppid=25354 vsize=916480 CPUtime=0.22
/proc/25359/task/25383/stat : 25383 (java) S 25354 25359 25047 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 156490169 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25384] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25384/stat : 25384 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490169 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25385] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25385/stat : 25385 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490169 938475520 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 916480
[startup+6.26192 s]
/proc/loadavg: 0.24 0.37 0.68 3/87 25395
/proc/meminfo: memFree=1288808/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=916480 CPUtime=6.16
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 8606 0 1 0 610 6 0 0 25 0 8 0 156490159 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25359/statm: 229120 8342 2513 14 0 215590 0
[pid=25359/tid=25377] ppid=25354 vsize=916480 CPUtime=0.03
/proc/25359/task/25377/stat : 25377 (java) S 25354 25359 25047 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490165 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25378] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25378/stat : 25378 (java) S 25354 25359 25047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490166 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25379] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25379/stat : 25379 (java) S 25354 25359 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490166 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25382] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25382/stat : 25382 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490169 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25383] ppid=25354 vsize=916480 CPUtime=0.22
/proc/25359/task/25383/stat : 25383 (java) S 25354 25359 25047 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 156490169 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25384] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25384/stat : 25384 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490169 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25385] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25385/stat : 25385 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490169 938475520 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 916480
[startup+12.7446 s]
/proc/loadavg: 0.38 0.40 0.69 3/87 25395
/proc/meminfo: memFree=1288808/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=916480 CPUtime=12.62
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 8611 0 1 0 1256 6 0 0 25 0 8 0 156490159 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25359/statm: 229120 8347 2513 14 0 215590 0
[pid=25359/tid=25377] ppid=25354 vsize=916480 CPUtime=0.03
/proc/25359/task/25377/stat : 25377 (java) S 25354 25359 25047 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490165 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25378] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25378/stat : 25378 (java) S 25354 25359 25047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490166 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25379] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25379/stat : 25379 (java) S 25354 25359 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490166 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25382] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25382/stat : 25382 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490169 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25383] ppid=25354 vsize=916480 CPUtime=0.22
/proc/25359/task/25383/stat : 25383 (java) S 25354 25359 25047 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 156490169 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25384] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25384/stat : 25384 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490169 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25385] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25385/stat : 25385 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490169 938475520 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 916480
[startup+25.5731 s]
/proc/loadavg: 0.66 0.46 0.71 2/75 25403
/proc/meminfo: memFree=1312968/2055920 swapFree=4191892/4192956
[pid=25359] ppid=25354 vsize=916480 CPUtime=25.4
/proc/25359/stat : 25359 (java) R 25354 25359 25047 0 -1 0 8613 0 1 0 2534 6 0 0 25 0 8 0 156490159 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25359/statm: 229120 8349 2513 14 0 215590 0
[pid=25359/tid=25377] ppid=25354 vsize=916480 CPUtime=0.03
/proc/25359/task/25377/stat : 25377 (java) S 25354 25359 25047 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490165 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25378] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25378/stat : 25378 (java) S 25354 25359 25047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490166 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25379] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25379/stat : 25379 (java) S 25354 25359 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490166 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25382] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25382/stat : 25382 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490169 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25383] ppid=25354 vsize=916480 CPUtime=0.22
/proc/25359/task/25383/stat : 25383 (java) S 25354 25359 25047 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 156490169 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25384] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25384/stat : 25384 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490169 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25359/tid=25385] ppid=25354 vsize=916480 CPUtime=0
/proc/25359/task/25385/stat : 25385 (java) S 25354 25359 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490169 938475520 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 916480
Child status: 0
Real time (s): 32.3125
CPU time (s): 32.1371
CPU user time (s): 32.0681
CPU system time (s): 0.068989
CPU usage (%): 99.4571
Max. virtual memory (cumulated for all children) (KiB): 916480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0681
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8707
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= 1812
involuntary context switches= 1885
runsolver used 0.043993 s user time and 0.088986 s system time
The end
Begin job on node42 on Sat Jan 6 10:55:09 UTC 2007
IDJOB= 228644
IDBENCH= 6214
FILE ID= node42/228644-1168080898
PBS_JOBID= 3476175
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228644-1168080898/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-228644-1168080898 -o ROOT/results/node42/solver-228644-1168080898 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228644-1168080898/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 81a72e5e4b799490dc91be5227da5837
RANDOM SEED= 11420913
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.229
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.229
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: 1337064 kB
Buffers: 50560 kB
Cached: 574024 kB
SwapCached: 268 kB
Active: 115748 kB
Inactive: 528368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1337064 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3536 kB
Writeback: 0 kB
Mapped: 28508 kB
Slab: 60268 kB
Committed_AS: 2715348 kB
PageTables: 1616 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= 66541 MiB
End job on node42 on Sat Jan 6 10:55:49 UTC 2007