0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/242311-1168085492/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=72 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.091 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.43
0.43 constraints being loaded...
0.47 nbConstraints=48 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=46
0.47 nbConflictsStructures=2 nbSharedConflictsStructures=46 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.47 => wckTime=0.129 cpuTime=0.11 mem=6M951
0.50
0.50 solver IterativeSystematicSolver being built...
0.68 => wckTime=0.336 cpuTime=0.26 mem=14M314
0.68
0.68 preprocessing
0.68 nbConstraintChecks=0 nbPropagations=72 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.68 detectedInconsistency=no
0.68 => wckTime=0.0010 cpuTime=0.0 mem=14M314
0.71
0.71 search
0.71 run=0 nbConstraintChecks=216 nbValidityChecks=384 nbPropagations=165 nbRevisions=214 nbUselessRevisions=144
0.71 nbAssignments=47 nbFailedAssignments=1 nbBacktracks=23 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=1
0.72 nbInferences=0 nbTooLargeKeys=0
0.72 => wckTime=0.036 cpuTime=0.02 mem=15M290
0.73
0.73 search
0.73 run=1 nbConstraintChecks=392 nbValidityChecks=944 nbPropagations=456 nbRevisions=685 nbUselessRevisions=444
0.73 nbAssignments=112 nbFailedAssignments=7 nbBacktracks=41 nbVisitedNodes=129 nbRestartNogoods=1 mapSize=12
0.73 nbInferences=2 nbTooLargeKeys=0
0.73 => wckTime=0.05 cpuTime=0.03 mem=15M290
0.74
0.74 search
0.74 run=2 nbConstraintChecks=587 nbValidityChecks=1582 nbPropagations=890 nbRevisions=1436 nbUselessRevisions=904
0.74 nbAssignments=184 nbFailedAssignments=14 nbBacktracks=68 nbVisitedNodes=215 nbRestartNogoods=2 mapSize=25
0.74 nbInferences=3 nbTooLargeKeys=0
0.74 => wckTime=0.064 cpuTime=0.04 mem=15M290
0.76
0.76 search
0.76 run=3 nbConstraintChecks=846 nbValidityChecks=2390 nbPropagations=1503 nbRevisions=2530
0.76 nbUselessRevisions=1553 nbAssignments=269 nbFailedAssignments=23 nbBacktracks=101 nbVisitedNodes=319
0.76 nbRestartNogoods=3 mapSize=40 nbInferences=5 nbTooLargeKeys=0
0.76 => wckTime=0.083 cpuTime=0.05 mem=15M290
0.78
0.78 search
0.78 run=4 nbConstraintChecks=1208 nbValidityChecks=3482 nbPropagations=2355 nbRevisions=4085
0.78 nbUselessRevisions=2460 nbAssignments=378 nbFailedAssignments=34 nbBacktracks=153 nbVisitedNodes=456
0.78 nbRestartNogoods=6 mapSize=64 nbInferences=12 nbTooLargeKeys=0
0.78 => wckTime=0.102 cpuTime=0.06 mem=15M290
0.80
0.80 search
0.80 run=5 nbConstraintChecks=1696 nbValidityChecks=4945 nbPropagations=3537 nbRevisions=6252
0.80 nbUselessRevisions=3695 nbAssignments=523 nbFailedAssignments=49 nbBacktracks=230 nbVisitedNodes=642
0.80 nbRestartNogoods=8 mapSize=101 nbInferences=24 nbTooLargeKeys=0
0.80 => wckTime=0.123 cpuTime=0.08 mem=15M290
0.82
0.82 search
0.82 run=6 nbConstraintChecks=2450 nbValidityChecks=7190 nbPropagations=5234 nbRevisions=9371
0.82 nbUselessRevisions=5443 nbAssignments=716 nbFailedAssignments=67 nbBacktracks=343 nbVisitedNodes=899
0.82 nbRestartNogoods=11 mapSize=150 nbInferences=52 nbTooLargeKeys=0
0.82 => wckTime=0.142 cpuTime=0.09 mem=15M290
0.84
0.84 search
0.84 run=7 nbConstraintChecks=3555 nbValidityChecks=10625 nbPropagations=7678 nbRevisions=13928
0.84 nbUselessRevisions=8072 nbAssignments=1003 nbFailedAssignments=67 nbBacktracks=515 nbVisitedNodes=1273
0.84 nbRestartNogoods=14 mapSize=234 nbInferences=139 nbTooLargeKeys=0
0.84 => wckTime=0.16 cpuTime=0.1 mem=15M290
0.86
0.86 search
0.86 run=8 nbConstraintChecks=5138 nbValidityChecks=15537 nbPropagations=11195 nbRevisions=20542
0.86 nbUselessRevisions=11952 nbAssignments=1404 nbFailedAssignments=67 nbBacktracks=771 nbVisitedNodes=1801
0.86 nbRestartNogoods=17 mapSize=357 nbInferences=266 nbTooLargeKeys=0
0.86 => wckTime=0.184 cpuTime=0.12 mem=15M290
0.93
0.93 search
0.93 run=9 nbConstraintChecks=8452 nbValidityChecks=25785 nbPropagations=17089 nbRevisions=31644
0.93 nbUselessRevisions=18315 nbAssignments=1997 nbFailedAssignments=72 nbBacktracks=1155 nbVisitedNodes=2580
0.93 nbRestartNogoods=21 mapSize=538 nbInferences=442 nbTooLargeKeys=0
0.93 => wckTime=0.257 cpuTime=0.16 mem=15M290
0.98
0.98 search
0.98 run=10 nbConstraintChecks=14632 nbValidityChecks=46152 nbPropagations=27803 nbRevisions=51947
0.98 nbUselessRevisions=29642 nbAssignments=2883 nbFailedAssignments=75 nbBacktracks=1731 nbVisitedNodes=3752
0.98 nbRestartNogoods=26 mapSize=818 nbInferences=723 nbTooLargeKeys=0
0.98 => wckTime=0.303 cpuTime=0.2 mem=15M290
1.04
1.04 search
1.04 run=11 nbConstraintChecks=25941 nbValidityChecks=81992 nbPropagations=46972 nbRevisions=88772
1.04 nbUselessRevisions=50212 nbAssignments=4351 nbFailedAssignments=76 nbBacktracks=2596 nbVisitedNodes=5799
1.04 nbRestartNogoods=32 mapSize=1394 nbInferences=1300 nbTooLargeKeys=0
1.04 => wckTime=0.365 cpuTime=0.26 mem=15M290
1.17
1.17 search
1.17 run=12 nbConstraintChecks=51591 nbValidityChecks=161871 nbPropagations=85541 nbRevisions=163999
1.17 nbUselessRevisions=92315 nbAssignments=6928 nbFailedAssignments=76 nbBacktracks=3893 nbVisitedNodes=9632
1.17 nbRestartNogoods=35 mapSize=2644 nbInferences=2556 nbTooLargeKeys=0
1.17 => wckTime=0.493 cpuTime=0.37 mem=15M290
1.35
1.35 search
1.35 run=13 nbConstraintChecks=91001 nbValidityChecks=286043 nbPropagations=153991 nbRevisions=298294
1.35 nbUselessRevisions=167381 nbAssignments=10763 nbFailedAssignments=76 nbBacktracks=5839 nbVisitedNodes=15341
1.35 nbRestartNogoods=41 mapSize=4514 nbInferences=4430 nbTooLargeKeys=0
1.35 => wckTime=0.669 cpuTime=0.55 mem=16M298
1.61
1.61 search
1.61 run=14 nbConstraintChecks=150613 nbValidityChecks=475886 nbPropagations=267825 nbRevisions=522275
1.61 nbUselessRevisions=292445 nbAssignments=16542 nbFailedAssignments=76 nbBacktracks=8764 nbVisitedNodes=23957
1.61 nbRestartNogoods=45 mapSize=7347 nbInferences=7267 nbTooLargeKeys=0
1.61 => wckTime=0.933 cpuTime=0.81 mem=16M298
2.00
2.00 search
2.00 run=15 nbConstraintChecks=239981 nbValidityChecks=763062 nbPropagations=449554 nbRevisions=880421
2.00 nbUselessRevisions=492307 nbAssignments=25194 nbFailedAssignments=76 nbBacktracks=13142 nbVisitedNodes=36860
2.00 nbRestartNogoods=49 mapSize=11593 nbInferences=11518 nbTooLargeKeys=0
2.00 => wckTime=1.324 cpuTime=1.2 mem=17M273
2.60
2.60 search
2.60 run=16 nbConstraintChecks=373765 nbValidityChecks=1196780 nbPropagations=732829 nbRevisions=1439214
2.60 nbUselessRevisions=804005 nbAssignments=38138 nbFailedAssignments=76 nbBacktracks=19712 nbVisitedNodes=56151
2.60 nbRestartNogoods=54 mapSize=17937 nbInferences=17865 nbTooLargeKeys=0
2.60 => wckTime=1.918 cpuTime=1.78 mem=18M249
3.48
3.48 search
3.48 run=17 nbConstraintChecks=574182 nbValidityChecks=1840105 nbPropagations=1168491 nbRevisions=2299081
3.48 nbUselessRevisions=1283462 nbAssignments=57539 nbFailedAssignments=76 nbBacktracks=29565 nbVisitedNodes=85075
3.48 nbRestartNogoods=57 mapSize=27454 nbInferences=27388 nbTooLargeKeys=0
3.48 => wckTime=2.805 cpuTime=2.67 mem=20M199
4.80
4.80 search
4.80 run=18 nbConstraintChecks=873954 nbValidityChecks=2797780 nbPropagations=1831957 nbRevisions=3609039
4.80 nbUselessRevisions=2013760 nbAssignments=86599 nbFailedAssignments=76 nbBacktracks=44344 nbVisitedNodes=128392
4.80 nbRestartNogoods=63 mapSize=41707 nbInferences=41645 nbTooLargeKeys=0
4.80 => wckTime=4.119 cpuTime=3.97 mem=22M149
6.78
6.78 search
6.78 run=19 nbConstraintChecks=1325338 nbValidityChecks=4246440 nbPropagations=2838430 nbRevisions=5596670
6.78 nbUselessRevisions=3121664 nbAssignments=130243 nbFailedAssignments=76 nbBacktracks=66513 nbVisitedNodes=193486
6.78 nbRestartNogoods=67 mapSize=63149 nbInferences=63095 nbTooLargeKeys=0
6.78 => wckTime=6.101 cpuTime=5.94 mem=25M75
9.74
9.74 search
9.74 run=20 nbConstraintChecks=2001176 nbValidityChecks=6414528 nbPropagations=4358345 nbRevisions=8598698
9.74 nbUselessRevisions=4794809 nbAssignments=195636 nbFailedAssignments=76 nbBacktracks=99766 nbVisitedNodes=290997
9.74 nbRestartNogoods=75 mapSize=95260 nbInferences=95213 nbTooLargeKeys=0
9.74 => wckTime=9.067 cpuTime=8.87 mem=29M951
14.29
14.29 search
14.29 run=21 nbConstraintChecks=3015697 nbValidityChecks=9661239 nbPropagations=6649148 nbRevisions=13123731
14.30 nbUselessRevisions=7316549 nbAssignments=293748 nbFailedAssignments=76 nbBacktracks=149645
14.30 nbVisitedNodes=437317 nbRestartNogoods=82 mapSize=143462 nbInferences=143421 nbTooLargeKeys=0
14.30 => wckTime=13.618 cpuTime=13.39 mem=37M826
21.39
21.39 search
21.39 run=22 nbConstraintChecks=4543526 nbValidityChecks=14557973 nbPropagations=10101037 nbRevisions=19942580
21.39 nbUselessRevisions=11116207 nbAssignments=441177 nbFailedAssignments=76 nbBacktracks=224464
21.39 nbVisitedNodes=657331 nbRestartNogoods=88 mapSize=216039 nbInferences=216006 nbTooLargeKeys=0
21.39 => wckTime=20.717 cpuTime=20.2 mem=25M652
27.14
27.14 search
27.14 run=23 nbConstraintChecks=5845566 nbValidityChecks=18728703 nbPropagations=14537713 nbRevisions=28709850
27.14 nbUselessRevisions=16004198 nbAssignments=567739 nbFailedAssignments=76 nbBacktracks=288681
27.14 nbVisitedNodes=846238 nbRestartNogoods=96 mapSize=278383 nbInferences=278352 nbTooLargeKeys=0
27.14 => wckTime=26.463 cpuTime=25.89 mem=34M341
27.14
27.14 global
27.14 nbConstraintChecks=5845566 nbValidityChecks=18728703 nbPropagations=14537785 nbRevisions=28709850
27.14 nbUselessRevisions=16004198 nbRestartNogoods=96 solvingWckTime=26.464 solvingCpuTime=25.89 expiredTime=no
27.14 totalExploration=yes nbFoundSolutions=0 globalCpuTime=26.19
27.14 => wckTime=26.802 cpuTime=26.15 mem=34M341
27.14
27.14 s UNSATISFIABLE
27.14 d NODES 567739
27.14 d CHECKS 5845566
27.14
27.14 totalWckTime=26.879 totalCpuTime=26.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-242311-1168085492 -o ROOT/results/node5/solver-242311-1168085492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242311-1168085492/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.01 1.33 1.64 3/93 9283
/proc/meminfo: memFree=1366080/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=18540 CPUtime=0
/proc/9282/stat : 9282 (runsolver) R 9280 9282 8733 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 137164613 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9282/statm: 4635 279 244 17 0 2626 0
[startup+0.101915 s]
/proc/loadavg: 1.01 1.33 1.64 3/93 9283
/proc/meminfo: memFree=1366080/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=907808 CPUtime=0.05
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 2425 0 1 0 4 1 0 0 21 0 4 0 137164613 929595392 2172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020915 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 226952 2172 1199 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.509961 s]
/proc/loadavg: 1.01 1.33 1.64 3/93 9283
/proc/meminfo: memFree=1366080/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=915328 CPUtime=0.45
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 6344 0 1 0 41 4 0 0 25 0 8 0 137164613 937295872 6082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 228832 6082 2168 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33105 s]
/proc/loadavg: 1.01 1.33 1.64 3/100 9290
/proc/meminfo: memFree=1341896/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=915460 CPUtime=1.23
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 8841 0 1 0 117 6 0 0 25 0 8 0 137164613 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073661166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 228865 8579 2518 14 0 215335 0
[pid=9282/tid=9284] ppid=9280 vsize=915460 CPUtime=0.02
/proc/9282/task/9284/stat : 9284 (java) S 9280 9282 8733 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 137164620 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9285] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 137164621 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 137164621 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9287] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8733 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 137164624 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=915460 CPUtime=0.17
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8733 0 -1 64 363 0 0 0 16 1 0 0 15 0 8 0 137164624 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 137164624 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 137164624 937431040 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915460
[startup+2.97823 s]
/proc/loadavg: 1.01 1.33 1.64 3/100 9290
/proc/meminfo: memFree=1339920/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=915460 CPUtime=2.87
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 9530 0 1 0 280 7 0 0 25 0 8 0 137164613 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 228865 9267 2518 14 0 215335 0
[pid=9282/tid=9284] ppid=9280 vsize=915460 CPUtime=0.02
/proc/9282/task/9284/stat : 9284 (java) S 9280 9282 8733 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 137164620 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9285] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 137164621 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 137164621 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9287] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8733 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 137164624 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=915460 CPUtime=0.18
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8733 0 -1 64 365 0 0 0 17 1 0 0 15 0 8 0 137164624 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 137164624 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) R 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 137164624 937431040 9267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
[startup+6.27761 s]
/proc/loadavg: 1.09 1.35 1.64 3/100 9290
/proc/meminfo: memFree=1333904/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=915460 CPUtime=6.14
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 10985 0 1 0 607 7 0 0 25 0 8 0 137164613 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073670503 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 228865 10722 2518 14 0 215335 0
[pid=9282/tid=9284] ppid=9280 vsize=915460 CPUtime=0.02
/proc/9282/task/9284/stat : 9284 (java) S 9280 9282 8733 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 137164620 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9285] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 137164621 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 137164621 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9287] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8733 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 137164624 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=915460 CPUtime=0.18
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8733 0 -1 64 366 0 0 0 17 1 0 0 16 0 8 0 137164624 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 137164624 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 137164624 937431040 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460
[startup+12.7513 s]
/proc/loadavg: 1.16 1.36 1.64 3/100 9290
/proc/meminfo: memFree=1322640/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=915460 CPUtime=12.56
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 13693 0 1 0 1248 8 0 0 25 0 8 0 137164613 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 228865 13429 2518 14 0 215335 0
[pid=9282/tid=9284] ppid=9280 vsize=915460 CPUtime=0.02
/proc/9282/task/9284/stat : 9284 (java) S 9280 9282 8733 0 -1 64 122 0 0 0 2 0 0 0 16 0 8 0 137164620 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9285] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 137164621 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 137164621 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9287] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8733 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 137164624 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=915460 CPUtime=0.18
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8733 0 -1 64 366 0 0 0 17 1 0 0 16 0 8 0 137164624 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 137164624 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 137164624 937431040 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460
[startup+25.5958 s]
/proc/loadavg: 1.34 1.39 1.65 3/100 9290
/proc/meminfo: memFree=1286864/2055920 swapFree=4192812/4192956
[pid=9282] ppid=9280 vsize=915460 CPUtime=25.31
/proc/9282/stat : 9282 (java) R 9280 9282 8733 0 -1 0 22534 0 1 0 2519 12 0 0 25 0 8 0 137164613 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073690700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9282/statm: 228865 22269 2522 14 0 215335 0
[pid=9282/tid=9284] ppid=9280 vsize=915460 CPUtime=0.26
/proc/9282/task/9284/stat : 9284 (java) S 9280 9282 8733 0 -1 64 5579 0 0 0 24 2 0 0 16 0 8 0 137164620 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9285] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 137164621 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 137164621 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9287] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8733 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 137164624 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=915460 CPUtime=0.18
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8733 0 -1 64 367 0 0 0 17 1 0 0 16 0 8 0 137164624 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 137164624 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=915460 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 137164624 937431040 22269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 27.1941
CPU time (s): 26.8649
CPU user time (s): 26.7289
CPU system time (s): 0.135979
CPU usage (%): 98.7894
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.7289
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22543
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= 1582
involuntary context switches= 2543
runsolver used 0.033994 s user time and 0.093985 s system time
The end
Begin job on node5 on Sat Jan 6 12:11:38 UTC 2007
IDJOB= 242311
IDBENCH= 7383
FILE ID= node5/242311-1168085492
PBS_JOBID= 3476271
Free space on /tmp= 66331 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-24_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242311-1168085492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-242311-1168085492 -o ROOT/results/node5/solver-242311-1168085492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242311-1168085492/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= be46a490a0f56f9a39b783ccbf6c2b5b
RANDOM SEED= 821689376
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.240
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.240
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: 1366752 kB
Buffers: 50780 kB
Cached: 448884 kB
SwapCached: 0 kB
Active: 151896 kB
Inactive: 450260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1366752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1736 kB
Writeback: 0 kB
Mapped: 131500 kB
Slab: 71800 kB
Committed_AS: 4049484 kB
PageTables: 2328 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= 66331 MiB
End job on node5 on Sat Jan 6 12:12:14 UTC 2007