0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.35 instance
0.35 name=/tmp/evaluation/228691-1168080898/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8183 maxDegree=27
0.62 maxArity=2
0.62 => wckTime=0.299 cpuTime=0.21 mem=10M860
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.495 cpuTime=0.34 mem=13M696
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0080 cpuTime=0.01 mem=13M696
0.86
0.86 search
0.86 run=0 nbConstraintChecks=20783 nbPropagations=490 nbRevisions=5385 nbUselessRevisions=4457 nbAssignments=26
0.86 nbFailedAssignments=5 nbBacktracks=12 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.05 cpuTime=0.03 mem=14M671
0.89
0.89 search
0.89 run=1 nbConstraintChecks=48588 nbPropagations=1533 nbRevisions=17595 nbUselessRevisions=14638 nbAssignments=61
0.89 nbFailedAssignments=14 nbBacktracks=30 nbVisitedNodes=95 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.078 cpuTime=0.05 mem=14M671
0.91
0.91 search
0.91 run=2 nbConstraintChecks=82927 nbPropagations=3257 nbRevisions=38881 nbUselessRevisions=32372
0.91 nbAssignments=104 nbFailedAssignments=24 nbBacktracks=58 nbVisitedNodes=162 nbRestartNogoods=6 mapSize=46
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.095 cpuTime=0.06 mem=14M671
0.92
0.92 search
0.92 run=3 nbConstraintChecks=126431 nbPropagations=5811 nbRevisions=71674 nbUselessRevisions=59766
0.92 nbAssignments=158 nbFailedAssignments=39 nbBacktracks=92 nbVisitedNodes=250 nbRestartNogoods=8 mapSize=74
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.111 cpuTime=0.07 mem=14M671
0.94
0.94 search
0.94 run=4 nbConstraintChecks=191865 nbPropagations=9629 nbRevisions=121862 nbUselessRevisions=101612
0.94 nbAssignments=237 nbFailedAssignments=60 nbBacktracks=143 nbVisitedNodes=374 nbRestartNogoods=10 mapSize=113
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.131 cpuTime=0.09 mem=14M671
0.98
0.98 search
0.98 run=5 nbConstraintChecks=294033 nbPropagations=15292 nbRevisions=198947 nbUselessRevisions=165715
0.98 nbAssignments=362 nbFailedAssignments=104 nbBacktracks=218 nbVisitedNodes=584 nbRestartNogoods=13 mapSize=178
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.164 cpuTime=0.12 mem=14M671
1.02
1.02 search
1.02 run=6 nbConstraintChecks=452152 nbPropagations=23781 nbRevisions=318519 nbUselessRevisions=264972
1.02 nbAssignments=543 nbFailedAssignments=167 nbBacktracks=331 nbVisitedNodes=892 nbRestartNogoods=17 mapSize=280
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.209 cpuTime=0.17 mem=14M671
1.08
1.09 search
1.09 run=7 nbConstraintChecks=683204 nbPropagations=36262 nbRevisions=495218 nbUselessRevisions=410886
1.09 nbAssignments=808 nbFailedAssignments=253 nbBacktracks=506 nbVisitedNodes=1334 nbRestartNogoods=21 mapSize=424
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.272 cpuTime=0.23 mem=14M671
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1061320 nbPropagations=55340 nbRevisions=768854 nbUselessRevisions=636648
1.19 nbAssignments=1220 nbFailedAssignments=398 nbBacktracks=766 nbVisitedNodes=2035 nbRestartNogoods=23
1.19 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.377 cpuTime=0.32 mem=14M671
1.33
1.33 search
1.33 run=9 nbConstraintChecks=1568542 nbPropagations=83506 nbRevisions=1176455 nbUselessRevisions=973741
1.33 nbAssignments=1799 nbFailedAssignments=586 nbBacktracks=1151 nbVisitedNodes=3006 nbRestartNogoods=29
1.33 mapSize=968 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.516 cpuTime=0.45 mem=14M671
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M671)
1.51
1.51 search
1.51 run=10 nbConstraintChecks=2332738 nbPropagations=124815 nbRevisions=1778251 nbUselessRevisions=1470300
1.51 nbAssignments=2668 nbFailedAssignments=872 nbBacktracks=1728 nbVisitedNodes=4466 nbRestartNogoods=34
1.51 => wckTime=0.695 cpuTime=0.62 mem=14M671
1.75
1.75 search
1.75 run=11 nbConstraintChecks=3480082 nbPropagations=186300 nbRevisions=2673478 nbUselessRevisions=2208364
1.75 nbAssignments=3956 nbFailedAssignments=1291 nbBacktracks=2593 nbVisitedNodes=6621 nbRestartNogoods=37
1.75 => wckTime=0.941 cpuTime=0.87 mem=14M671
2.12
2.12 search
2.12 run=12 nbConstraintChecks=5209027 nbPropagations=278660 nbRevisions=4024842 nbUselessRevisions=3323486
2.12 nbAssignments=5912 nbFailedAssignments=1943 nbBacktracks=3890 nbVisitedNodes=9951 nbRestartNogoods=42
2.12 => wckTime=1.309 cpuTime=1.23 mem=14M671
2.67
2.67 search
2.67 run=13 nbConstraintChecks=7789221 nbPropagations=416190 nbRevisions=6053887 nbUselessRevisions=5000364
2.67 nbAssignments=8858 nbFailedAssignments=2938 nbBacktracks=5837 nbVisitedNodes=14879 nbRestartNogoods=49
2.67 => wckTime=1.858 cpuTime=1.78 mem=14M671
3.49
3.49 search
3.49 run=14 nbConstraintChecks=11607836 nbPropagations=621864 nbRevisions=9096228 nbUselessRevisions=7516964
3.49 nbAssignments=13260 nbFailedAssignments=4412 nbBacktracks=8759 nbVisitedNodes=22324 nbRestartNogoods=56
3.49 => wckTime=2.673 cpuTime=2.59 mem=14M671
4.70
4.70 search
4.70 run=15 nbConstraintChecks=17349366 nbPropagations=928489 nbRevisions=13625740 nbUselessRevisions=11259996
4.70 nbAssignments=19854 nbFailedAssignments=6622 nbBacktracks=13138 nbVisitedNodes=33406 nbRestartNogoods=65
4.71 => wckTime=3.892 cpuTime=3.8 mem=14M671
6.62
6.62 search
6.62 run=16 nbConstraintChecks=26412577 nbPropagations=1391251 nbRevisions=20503390 nbUselessRevisions=16950540
6.62 nbAssignments=29761 nbFailedAssignments=9955 nbBacktracks=19706 nbVisitedNodes=50157 nbRestartNogoods=74
6.62 => wckTime=5.804 cpuTime=5.7 mem=14M671
9.48
9.48 search
9.48 run=17 nbConstraintChecks=39951578 nbPropagations=2088292 nbRevisions=30908715 nbUselessRevisions=25560068
9.48 nbAssignments=44626 nbFailedAssignments=14960 nbBacktracks=29561 nbVisitedNodes=75307 nbRestartNogoods=82
9.48 => wckTime=8.668 cpuTime=8.55 mem=14M671
13.72
13.72 search
13.72 run=18 nbConstraintChecks=59958072 nbPropagations=3133313 nbRevisions=46486468 nbUselessRevisions=38441286
13.72 nbAssignments=66770 nbFailedAssignments=22318 nbBacktracks=44341 nbVisitedNodes=112663 nbRestartNogoods=83
13.72 => wckTime=12.912 cpuTime=12.77 mem=14M671
20.12
20.12 search
20.12 run=19 nbConstraintChecks=90492051 nbPropagations=4703263 nbRevisions=69961539 nbUselessRevisions=57858904
20.12 nbAssignments=100119 nbFailedAssignments=33550 nbBacktracks=66459 nbVisitedNodes=169090 nbRestartNogoods=93
20.12 => wckTime=19.31 cpuTime=19.15 mem=14M671
20.12
20.13 global
20.13 nbConstraintChecks=90492051 nbPropagations=4703303 nbRevisions=69961539 nbUselessRevisions=57858904
20.13 nbRestartNogoods=93 solvingWckTime=19.311 solvingCpuTime=19.15 expiredTime=no totalExploration=yes
20.13 nbFoundSolutions=0 globalCpuTime=19.54
20.13 => wckTime=19.809 cpuTime=19.49 mem=14M671
20.13
20.13 s UNSATISFIABLE
20.13 d NODES 100119
20.13 d CHECKS 90492051
20.13
20.13 totalWckTime=19.892 totalCpuTime=19.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-228691-1168080898 -o ROOT/results/node42/solver-228691-1168080898 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228691-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 3/80 25388
/proc/meminfo: memFree=1331552/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=18540 CPUtime=0
/proc/25387/stat : 25387 (runsolver) R 25381 25387 25020 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156490171 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25387/statm: 4635 279 244 17 0 2626 0
[startup+0.102212 s]
/proc/loadavg: 0.09 0.35 0.68 3/80 25388
/proc/meminfo: memFree=1331552/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=914988 CPUtime=0.08
/proc/25387/stat : 25387 (java) R 25381 25387 25020 0 -1 0 2988 0 1 0 7 1 0 0 20 0 8 0 156490171 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12840652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25387/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514254 s]
/proc/loadavg: 0.09 0.35 0.68 3/80 25388
/proc/meminfo: memFree=1331552/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=915328 CPUtime=0.49
/proc/25387/stat : 25387 (java) R 25381 25387 25020 0 -1 0 6421 0 1 0 44 5 0 0 22 0 8 0 156490171 937295872 6160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25387/statm: 228832 6160 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34035 s]
/proc/loadavg: 0.09 0.35 0.68 4/87 25395
/proc/meminfo: memFree=1289384/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=915456 CPUtime=1.31
/proc/25387/stat : 25387 (java) R 25381 25387 25020 0 -1 0 8578 0 1 0 124 7 0 0 25 0 8 0 156490171 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25387/statm: 228864 8316 2513 14 0 215334 0
[pid=25387/tid=25389] ppid=25381 vsize=915456 CPUtime=0.03
/proc/25387/task/25389/stat : 25389 (java) S 25381 25387 25020 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490175 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25390] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25390/stat : 25390 (java) S 25381 25387 25020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490175 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25391] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25391/stat : 25391 (java) S 25381 25387 25020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490175 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25392] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25392/stat : 25392 (java) S 25381 25387 25020 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156490179 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25393] ppid=25381 vsize=915456 CPUtime=0.22
/proc/25387/task/25393/stat : 25393 (java) S 25381 25387 25020 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 156490179 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25394] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25394/stat : 25394 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156490179 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25395] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25395/stat : 25395 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490179 937426944 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.31
Current children cumulated vsize (KiB) 915456
[startup+2.97752 s]
/proc/loadavg: 0.09 0.35 0.68 3/87 25395
/proc/meminfo: memFree=1289000/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=915456 CPUtime=2.94
/proc/25387/stat : 25387 (java) R 25381 25387 25020 0 -1 0 8595 0 1 0 287 7 0 0 25 0 8 0 156490171 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25387/statm: 228864 8332 2513 14 0 215334 0
[pid=25387/tid=25389] ppid=25381 vsize=915456 CPUtime=0.03
/proc/25387/task/25389/stat : 25389 (java) S 25381 25387 25020 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490175 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25390] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25390/stat : 25390 (java) S 25381 25387 25020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490175 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25391] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25391/stat : 25391 (java) S 25381 25387 25020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490175 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25392] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25392/stat : 25392 (java) S 25381 25387 25020 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156490179 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25393] ppid=25381 vsize=915456 CPUtime=0.23
/proc/25387/task/25393/stat : 25393 (java) S 25381 25387 25020 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156490179 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25394] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25394/stat : 25394 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156490179 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25395] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25395/stat : 25395 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490179 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.25689 s]
/proc/loadavg: 0.24 0.37 0.68 3/87 25395
/proc/meminfo: memFree=1288808/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=915456 CPUtime=6.2
/proc/25387/stat : 25387 (java) R 25381 25387 25020 0 -1 0 8601 0 1 0 613 7 0 0 25 0 8 0 156490171 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25387/statm: 228864 8337 2513 14 0 215334 0
[pid=25387/tid=25389] ppid=25381 vsize=915456 CPUtime=0.03
/proc/25387/task/25389/stat : 25389 (java) S 25381 25387 25020 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490175 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25390] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25390/stat : 25390 (java) S 25381 25387 25020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490175 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25391] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25391/stat : 25391 (java) S 25381 25387 25020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490175 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25392] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25392/stat : 25392 (java) S 25381 25387 25020 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156490179 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25393] ppid=25381 vsize=915456 CPUtime=0.24
/proc/25387/task/25393/stat : 25393 (java) S 25381 25387 25020 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 156490179 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25394] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25394/stat : 25394 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156490179 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25395] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25395/stat : 25395 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490179 937426944 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7426 s]
/proc/loadavg: 0.38 0.40 0.69 3/87 25395
/proc/meminfo: memFree=1288808/2055920 swapFree=4191892/4192956
[pid=25387] ppid=25381 vsize=915456 CPUtime=12.66
/proc/25387/stat : 25387 (java) R 25381 25387 25020 0 -1 0 8606 0 1 0 1259 7 0 0 25 0 8 0 156490171 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25387/statm: 228864 8342 2513 14 0 215334 0
[pid=25387/tid=25389] ppid=25381 vsize=915456 CPUtime=0.03
/proc/25387/task/25389/stat : 25389 (java) S 25381 25387 25020 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156490175 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25390] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25390/stat : 25390 (java) S 25381 25387 25020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156490175 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25391] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25391/stat : 25391 (java) S 25381 25387 25020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490175 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25392] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25392/stat : 25392 (java) S 25381 25387 25020 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156490179 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25393] ppid=25381 vsize=915456 CPUtime=0.24
/proc/25387/task/25393/stat : 25393 (java) S 25381 25387 25020 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 156490179 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25394] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25394/stat : 25394 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156490179 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25387/tid=25395] ppid=25381 vsize=915456 CPUtime=0
/proc/25387/task/25395/stat : 25395 (java) S 25381 25387 25020 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156490179 937426944 8342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 20.1737
CPU time (s): 20.029
CPU user time (s): 19.947
CPU system time (s): 0.081987
CPU usage (%): 99.2824
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.947
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8700
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= 1516
involuntary context switches= 2356
runsolver used 0.027995 s user time and 0.070989 s system time
The end
Begin job on node42 on Sat Jan 6 10:55:09 UTC 2007
IDJOB= 228691
IDBENCH= 6218
FILE ID= node42/228691-1168080898
PBS_JOBID= 3476174
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228691-1168080898/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-228691-1168080898 -o ROOT/results/node42/solver-228691-1168080898 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228691-1168080898/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f90de94442b44abf6aa7590ec3f26239
RANDOM SEED= 801549783
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: 1335672 kB
Buffers: 50560 kB
Cached: 574024 kB
SwapCached: 268 kB
Active: 118696 kB
Inactive: 526768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1335672 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3540 kB
Writeback: 0 kB
Mapped: 33664 kB
Slab: 60292 kB
Committed_AS: 2803584 kB
PageTables: 1756 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:30 UTC 2007