0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/202789-1168072679/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=342 nbRelationTypes=342 nbExtensionStructures=342 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=342 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3068 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.302 cpuTime=0.23 mem=12M811
0.64
0.64 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.487 cpuTime=0.35 mem=13M927
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0050 cpuTime=0.01 mem=13M927
0.83
0.83 search
0.83 run=0 nbConstraintChecks=29323 nbPropagations=437 nbRevisions=4405 nbUselessRevisions=3519 nbAssignments=22
0.84 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.049 cpuTime=0.03 mem=14M903
0.86
0.86 search
0.86 run=1 nbConstraintChecks=80895 nbPropagations=1548 nbRevisions=17278 nbUselessRevisions=13754 nbAssignments=54
0.86 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=92 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.071 cpuTime=0.05 mem=14M903
0.88
0.88 search
0.88 run=2 nbConstraintChecks=133927 nbPropagations=3398 nbRevisions=39592 nbUselessRevisions=31692
0.88 nbAssignments=98 nbFailedAssignments=29 nbBacktracks=48 nbVisitedNodes=160 nbRestartNogoods=6 mapSize=38
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.092 cpuTime=0.06 mem=14M903
0.90
0.90 search
0.90 run=3 nbConstraintChecks=234891 nbPropagations=6568 nbRevisions=79674 nbUselessRevisions=63859
0.90 nbAssignments=168 nbFailedAssignments=59 nbBacktracks=81 nbVisitedNodes=282 nbRestartNogoods=9 mapSize=68
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.112 cpuTime=0.08 mem=14M903
0.92
0.92 search
0.92 run=4 nbConstraintChecks=341454 nbPropagations=11270 nbRevisions=139238 nbUselessRevisions=111526
0.92 nbAssignments=265 nbFailedAssignments=99 nbBacktracks=132 nbVisitedNodes=443 nbRestartNogoods=12 mapSize=109
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.135 cpuTime=0.1 mem=14M903
0.96
0.96 search
0.96 run=5 nbConstraintChecks=565829 nbPropagations=18741 nbRevisions=237370 nbUselessRevisions=189816
0.96 nbAssignments=417 nbFailedAssignments=168 nbBacktracks=207 nbVisitedNodes=712 nbRestartNogoods=14 mapSize=175
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.178 cpuTime=0.14 mem=14M903
1.02
1.02 search
1.02 run=6 nbConstraintChecks=858723 nbPropagations=29923 nbRevisions=386474 nbUselessRevisions=308253
1.02 nbAssignments=625 nbFailedAssignments=258 nbBacktracks=320 nbVisitedNodes=1076 nbRestartNogoods=19 mapSize=269
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.231 cpuTime=0.19 mem=14M903
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1321461 nbPropagations=46920 nbRevisions=617254 nbUselessRevisions=491337
1.10 nbAssignments=933 nbFailedAssignments=392 nbBacktracks=490 nbVisitedNodes=1620 nbRestartNogoods=25 mapSize=417
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.312 cpuTime=0.27 mem=14M903
1.20
1.20 search
1.20 run=8 nbConstraintChecks=1907281 nbPropagations=71835 nbRevisions=952083 nbUselessRevisions=756849
1.20 nbAssignments=1360 nbFailedAssignments=556 nbBacktracks=748 nbVisitedNodes=2348 nbRestartNogoods=28
1.20 mapSize=634 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.415 cpuTime=0.37 mem=14M903
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2825868 nbPropagations=108513 nbRevisions=1442513 nbUselessRevisions=1145485
1.36 nbAssignments=2001 nbFailedAssignments=805 nbBacktracks=1132 nbVisitedNodes=3442 nbRestartNogoods=31
1.36 mapSize=948 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.571 cpuTime=0.51 mem=14M903
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M903)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=4275141 nbPropagations=164007 nbRevisions=2193757 nbUselessRevisions=1742659
1.58 nbAssignments=2983 nbFailedAssignments=1207 nbBacktracks=1708 nbVisitedNodes=5145 nbRestartNogoods=41
1.58 => wckTime=0.795 cpuTime=0.72 mem=14M903
1.89
1.89 search
1.89 run=11 nbConstraintChecks=6450712 nbPropagations=247797 nbRevisions=3329766 nbUselessRevisions=2645193
1.89 nbAssignments=4466 nbFailedAssignments=1822 nbBacktracks=2574 nbVisitedNodes=7735 nbRestartNogoods=49
1.89 => wckTime=1.107 cpuTime=1.03 mem=14M903
2.30
2.30 search
2.30 run=12 nbConstraintChecks=9254081 nbPropagations=368926 nbRevisions=4997736 nbUselessRevisions=3977480
2.30 nbAssignments=6584 nbFailedAssignments=2636 nbBacktracks=3871 nbVisitedNodes=11341 nbRestartNogoods=55
2.30 => wckTime=1.517 cpuTime=1.44 mem=14M903
2.95
2.95 search
2.95 run=13 nbConstraintChecks=13758265 nbPropagations=550324 nbRevisions=7503040 nbUselessRevisions=5983399
2.95 nbAssignments=9838 nbFailedAssignments=3939 nbBacktracks=5817 nbVisitedNodes=17010 nbRestartNogoods=62
2.95 => wckTime=2.168 cpuTime=2.09 mem=14M903
3.94
3.94 search
3.94 run=14 nbConstraintChecks=20688746 nbPropagations=820781 nbRevisions=11274477 nbUselessRevisions=9005961
3.94 nbAssignments=14751 nbFailedAssignments=5926 nbBacktracks=8737 nbVisitedNodes=25571 nbRestartNogoods=68
3.94 => wckTime=3.157 cpuTime=3.08 mem=14M903
5.45
5.45 search
5.45 run=15 nbConstraintChecks=31324569 nbPropagations=1228622 nbRevisions=16928637 nbUselessRevisions=13527738
5.45 nbAssignments=22067 nbFailedAssignments=8858 nbBacktracks=13117 nbVisitedNodes=38316 nbRestartNogoods=76
5.45 => wckTime=4.663 cpuTime=4.58 mem=14M903
7.72
7.72 search
7.72 run=16 nbConstraintChecks=47119149 nbPropagations=1842780 nbRevisions=25525064 nbUselessRevisions=20417022
7.72 nbAssignments=33122 nbFailedAssignments=13337 nbBacktracks=19689 nbVisitedNodes=57697 nbRestartNogoods=86
7.72 => wckTime=6.931 cpuTime=6.85 mem=14M903
11.05
11.05 search
11.05 run=17 nbConstraintChecks=70922813 nbPropagations=2765409 nbRevisions=38357473 nbUselessRevisions=30688970
11.05 nbAssignments=49666 nbFailedAssignments=20020 nbBacktracks=29541 nbVisitedNodes=86640 nbRestartNogoods=97
11.05 => wckTime=10.267 cpuTime=10.18 mem=14M903
16.01
16.01 search
16.01 run=18 nbConstraintChecks=105829025 nbPropagations=4139474 nbRevisions=57636188 nbUselessRevisions=46153260
16.01 nbAssignments=74280 nbFailedAssignments=29852 nbBacktracks=44319 nbVisitedNodes=129442 nbRestartNogoods=109
16.01 => wckTime=15.221 cpuTime=15.13 mem=14M903
23.55
23.55 search
23.55 run=19 nbConstraintChecks=158963730 nbPropagations=6206180 nbRevisions=86513592 nbUselessRevisions=69303701
23.55 nbAssignments=111194 nbFailedAssignments=44591 nbBacktracks=66488 nbVisitedNodes=193769 nbRestartNogoods=117
23.55 => wckTime=22.761 cpuTime=22.67 mem=14M903
34.98
34.98 search
34.98 run=20 nbConstraintChecks=238845639 nbPropagations=9309657 nbRevisions=130102821 nbUselessRevisions=104292171
34.98 nbAssignments=167012 nbFailedAssignments=67152 nbBacktracks=99742 nbVisitedNodes=290971 nbRestartNogoods=131
34.98 => wckTime=34.191 cpuTime=34.04 mem=14M903
52.98
52.98 search
52.98 run=21 nbConstraintChecks=365975632 nbPropagations=14021572 nbRevisions=196685151 nbUselessRevisions=157741791
52.98 nbAssignments=252739 nbFailedAssignments=102996 nbBacktracks=149620 nbVisitedNodes=441612 nbRestartNogoods=138
52.98 => wckTime=52.198 cpuTime=51.97 mem=14M903
68.90
68.90 search
68.90 run=22 nbConstraintChecks=478900487 nbPropagations=20145008 nbRevisions=283512035 nbUselessRevisions=227426540
68.90 nbAssignments=327656 nbFailedAssignments=133992 nbBacktracks=193542 nbVisitedNodes=572638 nbRestartNogoods=145
68.90 => wckTime=68.116 cpuTime=67.83 mem=14M903
68.90
68.90 global
68.90 nbConstraintChecks=478900487 nbPropagations=20145048 nbRevisions=283512035 nbUselessRevisions=227426540
68.90 nbRestartNogoods=145 solvingWckTime=68.117 solvingCpuTime=67.83 expiredTime=no totalExploration=yes
68.90 nbFoundSolutions=0 globalCpuTime=68.22
68.90 => wckTime=68.608 cpuTime=68.18 mem=14M903
68.91
68.91 s UNSATISFIABLE
68.91 d NODES 327656
68.91 d CHECKS 478900487
68.91
68.91 totalWckTime=68.686 totalCpuTime=68.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-202789-1168072679 -o ROOT/results/node48/solver-202789-1168072679 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202789-1168072679/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.92 1.73 1.34 4/80 30483
/proc/meminfo: memFree=1520752/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=172 CPUtime=0
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155666613 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 0 0 0
/proc/30482/statm: 43 24 18 14 0 3 0
[startup+0.107605 s]
/proc/loadavg: 1.92 1.73 1.34 4/80 30483
/proc/meminfo: memFree=1520752/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=914988 CPUtime=0.09
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 3072 0 1 0 8 1 0 0 22 0 8 0 155666613 936947712 2818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515639 s]
/proc/loadavg: 1.92 1.73 1.34 4/80 30483
/proc/meminfo: memFree=1520752/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915328 CPUtime=0.49
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 6981 0 1 0 45 4 0 0 25 0 8 0 155666613 937295872 6720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228832 6721 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33871 s]
/proc/loadavg: 1.92 1.73 1.34 3/87 30490
/proc/meminfo: memFree=1497016/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915456 CPUtime=1.32
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 8644 0 1 0 126 6 0 0 25 0 8 0 155666613 937426944 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228864 8382 2513 14 0 215334 0
[pid=30482/tid=30484] ppid=30480 vsize=915456 CPUtime=0.03
/proc/30482/task/30484/stat : 30484 (java) S 30480 30482 30226 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155666616 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30485] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30485/stat : 30485 (java) S 30480 30482 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155666617 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30486] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30486/stat : 30486 (java) S 30480 30482 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155666617 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30487] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30487/stat : 30487 (java) S 30480 30482 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155666620 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30488] ppid=30480 vsize=915456 CPUtime=0.2
/proc/30482/task/30488/stat : 30488 (java) S 30480 30482 30226 0 -1 64 383 0 0 0 20 0 0 0 16 0 8 0 155666620 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30489] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30489/stat : 30489 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155666620 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30490] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30490/stat : 30490 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155666620 937426944 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.98687 s]
/proc/loadavg: 1.92 1.73 1.34 3/87 30490
/proc/meminfo: memFree=1496824/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915456 CPUtime=2.96
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 8674 0 1 0 290 6 0 0 25 0 8 0 155666613 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228864 8411 2513 14 0 215334 0
[pid=30482/tid=30484] ppid=30480 vsize=915456 CPUtime=0.03
/proc/30482/task/30484/stat : 30484 (java) S 30480 30482 30226 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155666616 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30485] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30485/stat : 30485 (java) S 30480 30482 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155666617 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30486] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30486/stat : 30486 (java) S 30480 30482 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155666617 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30487] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30487/stat : 30487 (java) S 30480 30482 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155666620 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30488] ppid=30480 vsize=915456 CPUtime=0.22
/proc/30482/task/30488/stat : 30488 (java) S 30480 30482 30226 0 -1 64 392 0 0 0 22 0 0 0 15 0 8 0 155666620 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30489] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30489/stat : 30489 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155666620 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30490] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30490/stat : 30490 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155666620 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
[startup+6.26617 s]
/proc/loadavg: 1.93 1.74 1.35 3/87 30490
/proc/meminfo: memFree=1496640/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915456 CPUtime=6.24
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 8679 0 1 0 618 6 0 0 25 0 8 0 155666613 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818006 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228864 8416 2513 14 0 215334 0
[pid=30482/tid=30484] ppid=30480 vsize=915456 CPUtime=0.03
/proc/30482/task/30484/stat : 30484 (java) S 30480 30482 30226 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 155666616 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30485] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30485/stat : 30485 (java) S 30480 30482 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155666617 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30486] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30486/stat : 30486 (java) S 30480 30482 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155666617 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30487] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30487/stat : 30487 (java) S 30480 30482 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155666620 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30488] ppid=30480 vsize=915456 CPUtime=0.22
/proc/30482/task/30488/stat : 30488 (java) S 30480 30482 30226 0 -1 64 392 0 0 0 22 0 0 0 16 0 8 0 155666620 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30489] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30489/stat : 30489 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155666620 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30490] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30490/stat : 30490 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155666620 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915456
[startup+12.7598 s]
/proc/loadavg: 1.93 1.74 1.35 3/87 30490
/proc/meminfo: memFree=1496640/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915456 CPUtime=12.73
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 8685 0 1 0 1267 6 0 0 25 0 8 0 155666613 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228864 8421 2513 14 0 215334 0
[pid=30482/tid=30484] ppid=30480 vsize=915456 CPUtime=0.03
/proc/30482/task/30484/stat : 30484 (java) S 30480 30482 30226 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155666616 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30485] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30485/stat : 30485 (java) S 30480 30482 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155666617 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30486] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30486/stat : 30486 (java) S 30480 30482 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155666617 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30487] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30487/stat : 30487 (java) S 30480 30482 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155666620 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30488] ppid=30480 vsize=915456 CPUtime=0.22
/proc/30482/task/30488/stat : 30488 (java) S 30480 30482 30226 0 -1 64 392 0 0 0 22 0 0 0 16 0 8 0 155666620 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30489] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30489/stat : 30489 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155666620 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30490] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30490/stat : 30490 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155666620 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915456
[startup+25.6179 s]
/proc/loadavg: 1.95 1.75 1.36 3/87 30490
/proc/meminfo: memFree=1496640/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915456 CPUtime=25.58
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 8690 0 1 0 2552 6 0 0 25 0 8 0 155666613 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228864 8426 2513 14 0 215334 0
[pid=30482/tid=30484] ppid=30480 vsize=915456 CPUtime=0.03
/proc/30482/task/30484/stat : 30484 (java) S 30480 30482 30226 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155666616 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30485] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30485/stat : 30485 (java) S 30480 30482 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155666617 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30486] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30486/stat : 30486 (java) S 30480 30482 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155666617 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30487] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30487/stat : 30487 (java) S 30480 30482 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155666620 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30488] ppid=30480 vsize=915456 CPUtime=0.22
/proc/30482/task/30488/stat : 30488 (java) S 30480 30482 30226 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 155666620 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30489] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30489/stat : 30489 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155666620 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30490] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30490/stat : 30490 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155666620 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915456
[startup+51.2541 s]
/proc/loadavg: 1.96 1.77 1.37 3/87 30490
/proc/meminfo: memFree=1496704/2055920 swapFree=4192812/4192956
[pid=30482] ppid=30480 vsize=915456 CPUtime=51.09
/proc/30482/stat : 30482 (java) R 30480 30482 30226 0 -1 0 8693 0 1 0 5103 6 0 0 25 0 8 0 155666613 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30482/statm: 228864 8429 2513 14 0 215334 0
[pid=30482/tid=30484] ppid=30480 vsize=915456 CPUtime=0.03
/proc/30482/task/30484/stat : 30484 (java) S 30480 30482 30226 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155666616 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30485] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30485/stat : 30485 (java) S 30480 30482 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155666617 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30486] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30486/stat : 30486 (java) S 30480 30482 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155666617 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30487] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30487/stat : 30487 (java) S 30480 30482 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155666620 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30488] ppid=30480 vsize=915456 CPUtime=0.22
/proc/30482/task/30488/stat : 30488 (java) S 30480 30482 30226 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 155666620 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30489] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30489/stat : 30489 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155666620 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30482/tid=30490] ppid=30480 vsize=915456 CPUtime=0
/proc/30482/task/30490/stat : 30490 (java) S 30480 30482 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155666620 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 68.9522
CPU time (s): 68.6956
CPU user time (s): 68.6226
CPU system time (s): 0.072988
CPU usage (%): 99.6278
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.6226
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8788
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= 2550
involuntary context switches= 3328
runsolver used 0.070989 s user time and 0.207968 s system time
The end
Begin job on node48 on Sat Jan 6 08:37:59 UTC 2007
IDJOB= 202789
IDBENCH= 3883
FILE ID= node48/202789-1168072679
PBS_JOBID= 3475974
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202789-1168072679/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-202789-1168072679 -o ROOT/results/node48/solver-202789-1168072679 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202789-1168072679/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2034b20f95b4ca3ea3b257a685963d8c
RANDOM SEED= 751027215
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.218
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.218
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: 1521168 kB
Buffers: 28480 kB
Cached: 273304 kB
SwapCached: 0 kB
Active: 203876 kB
Inactive: 257776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1521168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 180120 kB
Slab: 58264 kB
Committed_AS: 3885244 kB
PageTables: 2056 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= 66555 MiB
End job on node48 on Sat Jan 6 08:39:08 UTC 2007