0.45
0.45 Abscon 109 (November, 2006)
0.45
0.45 configuration
0.45 name=pfc.xml
0.49
0.49 instance
0.49 name=/tmp/evaluation/276797-1169246690/unknown.xml
0.52
0.52 domains being loaded...
0.52
0.52 variables being loaded...
0.56 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.56 => wckTime=0.103 cpuTime=0.09 mem=6M910
0.56
0.56 relations being loaded...
0.67
0.67 constraints being loaded...
0.84 nbConstraints=751 nbRelationTypes=751 nbExtensionStructures=750 nbSharedExtensionStructures=1
0.84 nbConflictsStructures=750 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11867 maxDegree=39
0.84 maxArity=2
0.84 => wckTime=0.387 cpuTime=0.24 mem=11M802
0.89
0.89 solver LocalSearchSolver being built...
0.93 => wckTime=0.479 cpuTime=0.29 mem=6M107
0.94
0.94 s SATISFIABLE
0.94 o 686
0.94 c 65
0.94 o 692
0.94 c 59
0.94 o 697
0.94 c 54
0.94 o 703
0.94 c 48
0.94 o 708
0.94 c 43
0.94 o 711
0.94 c 40
0.94 o 714
0.94 c 37
0.95 o 718
0.95 c 33
0.95 o 721
0.95 c 30
0.95 o 724
0.95 c 27
0.95 o 726
0.95 c 25
0.95 o 727
0.95 c 24
0.95 o 728
0.95 c 23
0.95 o 730
0.95 c 21
0.95 o 731
0.95 c 20
0.95 o 733
0.95 c 18
0.95 o 735
0.95 c 16
0.96 o 738
0.96 c 13
0.96 o 739
0.96 c 12
0.96 o 740
0.96 c 11
0.97 o 741
0.97 c 10
0.97 o 742
0.97 c 9
0.98 o 743
0.98 c 8
0.99 o 744
0.99 c 7
0.99 o 746
0.99 c 5
1.09 o 747
1.09 c 4
1.11 o 748
1.11 c 3
1.28 o 749
1.28 c 2
2.09 o 750
2.09 c 1
2.09
2.09 search
2.09 run=0 nbConstraintChecks=6913339 nbAssignments=3995
2.09 => wckTime=1.158 cpuTime=1.12 mem=6M107
2.09
2.09 global
2.09 nbConstraintChecks=6913339 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.09 solvingWckTime=1.157 solvingCpuTime=1.12 expiredTime=no totalExploration=no nbFoundSolutions=0
2.09 globalCpuTime=1.46
2.09 => wckTime=1.638 cpuTime=1.41 mem=6M107
2.09
2.09 solver IterativeSystematicSolver being built...
2.22 => wckTime=1.768 cpuTime=1.52 mem=17M113
2.24
2.24 preprocessing
2.24 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.24 detectedInconsistency=no
2.24 => wckTime=0.01 cpuTime=0.01 mem=17M113
2.33
2.33 search
2.33 run=0 nbConstraintChecks=122154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
2.33 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
2.33 => wckTime=0.104 cpuTime=0.08 mem=17M113
2.43
2.43 search
2.43 run=1 nbConstraintChecks=322146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90
2.43 nbFailedAssignments=51 nbBacktracks=25 nbVisitedNodes=167 nbRestartNogoods=11
2.43 => wckTime=0.208 cpuTime=0.17 mem=17M113
2.54
2.54 search
2.54 run=2 nbConstraintChecks=582219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=161
2.54 nbFailedAssignments=93 nbBacktracks=47 nbVisitedNodes=302 nbRestartNogoods=40
2.54 => wckTime=0.316 cpuTime=0.27 mem=17M113
2.70
2.70 search
2.70 run=3 nbConstraintChecks=1016268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=272
2.70 nbFailedAssignments=166 nbBacktracks=80 nbVisitedNodes=519 nbRestartNogoods=48
2.70 => wckTime=0.477 cpuTime=0.43 mem=17M113
2.95
2.95 search
2.95 run=4 nbConstraintChecks=1652815 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=435
2.95 nbFailedAssignments=273 nbBacktracks=130 nbVisitedNodes=839 nbRestartNogoods=58
2.95 => wckTime=0.72 cpuTime=0.67 mem=17M113
3.30
3.30 search
3.30 run=5 nbConstraintChecks=2621794 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=671
3.30 nbFailedAssignments=428 nbBacktracks=205 nbVisitedNodes=1305 nbRestartNogoods=62
3.30 => wckTime=1.074 cpuTime=1.02 mem=17M113
3.84
3.84 search
3.84 run=6 nbConstraintChecks=4112005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1044
3.84 nbFailedAssignments=683 nbBacktracks=318 nbVisitedNodes=2046 nbRestartNogoods=77
3.84 => wckTime=1.615 cpuTime=1.55 mem=17M113
4.65
4.65 search
4.65 run=7 nbConstraintChecks=6353731 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1592
4.65 nbFailedAssignments=1056 nbBacktracks=489 nbVisitedNodes=3137 nbRestartNogoods=85
4.65 => wckTime=2.424 cpuTime=2.34 mem=17M113
5.85
5.85 search
5.85 run=8 nbConstraintChecks=9609810 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2392
5.85 nbFailedAssignments=1592 nbBacktracks=745 nbVisitedNodes=4728 nbRestartNogoods=86
5.85 => wckTime=3.627 cpuTime=3.52 mem=17M113
7.58
7.58 search
7.58 run=9 nbConstraintChecks=14077183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3507
7.58 nbFailedAssignments=2316 nbBacktracks=1129 nbVisitedNodes=6939 nbRestartNogoods=97
7.58 => wckTime=5.36 cpuTime=5.24 mem=17M113
9.90
9.90 search
9.90 run=10 nbConstraintChecks=19977267 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4964
9.90 nbFailedAssignments=3188 nbBacktracks=1705 nbVisitedNodes=9796 nbRestartNogoods=111
9.90 => wckTime=7.673 cpuTime=7.53 mem=17M113
12.90
12.90 search
12.90 run=11 nbConstraintChecks=27603983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6998
12.90 nbFailedAssignments=4350 nbBacktracks=2569 nbVisitedNodes=13614 nbRestartNogoods=123
12.90 => wckTime=10.675 cpuTime=10.51 mem=17M113
16.65
16.65 search
16.65 run=12 nbConstraintChecks=37140176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9648
16.66 nbFailedAssignments=5697 nbBacktracks=3866 nbVisitedNodes=18369 nbRestartNogoods=136
16.66 => wckTime=14.43 cpuTime=14.23 mem=17M113
21.51
21.51 search
21.51 run=13 nbConstraintChecks=49041727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13275
21.51 nbFailedAssignments=7371 nbBacktracks=5812 nbVisitedNodes=24437 nbRestartNogoods=142
21.51 => wckTime=19.289 cpuTime=19.04 mem=17M113
28.22
28.22 search
28.22 run=14 nbConstraintChecks=65478498 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18465
28.22 nbFailedAssignments=9635 nbBacktracks=8731 nbVisitedNodes=32760 nbRestartNogoods=147
28.22 => wckTime=25.999 cpuTime=25.7 mem=17M113
36.69
36.69 search
36.69 run=15 nbConstraintChecks=86325454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25634
36.69 nbFailedAssignments=12416 nbBacktracks=13109 nbVisitedNodes=43520 nbRestartNogoods=156
36.69 => wckTime=34.461 cpuTime=34.09 mem=17M113
48.72
48.72 search
48.72 run=16 nbConstraintChecks=115696775 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36021
48.72 nbFailedAssignments=16227 nbBacktracks=19677 nbVisitedNodes=58643 nbRestartNogoods=163
48.72 => wckTime=46.492 cpuTime=46.02 mem=17M113
65.93
65.93 search
65.93 run=17 nbConstraintChecks=158364864 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51361
65.93 nbFailedAssignments=21706 nbBacktracks=29531 nbVisitedNodes=80728 nbRestartNogoods=173
65.93 => wckTime=63.709 cpuTime=63.09 mem=17M113
91.05
91.05 search
91.05 run=18 nbConstraintChecks=220713092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74055
91.05 nbFailedAssignments=29617 nbBacktracks=44309 nbVisitedNodes=113243 nbRestartNogoods=183
91.05 => wckTime=88.824 cpuTime=87.98 mem=17M113
129.04
129.04 search
129.04 run=19 nbConstraintChecks=313695179 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107869
129.04 nbFailedAssignments=41258 nbBacktracks=66477 nbVisitedNodes=161506 nbRestartNogoods=197
129.04 => wckTime=126.817 cpuTime=125.66 mem=17M113
183.99
183.99 search
183.99 run=20 nbConstraintChecks=450743002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=158138
183.99 nbFailedAssignments=58265 nbBacktracks=99731 nbVisitedNodes=232601 nbRestartNogoods=206
183.99 => wckTime=181.768 cpuTime=180.14 mem=17M113
213.22
213.22 search
213.22 run=21 nbConstraintChecks=522851799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=184735
213.22 nbFailedAssignments=67268 nbBacktracks=117326 nbVisitedNodes=270188 nbRestartNogoods=218
213.22 => wckTime=210.996 cpuTime=209.1 mem=17M113
213.22
213.22 global
213.22 nbConstraintChecks=522851799 nbRestartNogoods=218 solvingWckTime=210.997 solvingCpuTime=209.1 expiredTime=no
213.22 totalExploration=yes nbFoundSolutions=0 globalCpuTime=210.67
213.22 => wckTime=212.766 cpuTime=210.62 mem=17M113
213.23
213.23 s OPTIMUM FOUND
213.23 v 3 7 5 0 1 1 4 2 6 2 2 5 6 4 4 0 0 6 4 0 1 5 7 7 0 6 4 1 6 5 6 0 2 0 5 5 0 6 4 0
213.23
213.23 totalWckTime=212.845 totalCpuTime=210.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-276797-1169246690 -o ROOT/results/node15/solver-276797-1169246690 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276797-1169246690/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 2.00 2.01 2.00 4/86 10366
/proc/meminfo: memFree=1435728/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=1784 CPUtime=0
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 273063887 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/10365/statm: 446 140 106 14 0 91 0
[startup+0.103292 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 10366
/proc/meminfo: memFree=1435728/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=9948 CPUtime=0
/proc/10365/stat : 10365 (java) S 10363 10365 10116 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 273063887 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/10365/statm: 2487 472 386 14 0 1142 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9948
[startup+0.51137 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 10366
/proc/meminfo: memFree=1435728/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915332 CPUtime=0.35
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 5633 0 1 0 31 4 0 0 18 0 8 0 273063887 937299968 5372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153561713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228833 5372 2085 14 0 215303 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915332
[startup+1.33251 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 10373
/proc/meminfo: memFree=1414104/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915448 CPUtime=1.15
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 8100 0 1 0 103 12 0 0 23 0 8 0 273063887 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228862 7838 2476 14 0 215332 0
[pid=10365/tid=10367] ppid=10363 vsize=915448 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273063906 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915448 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915448 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915448 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915448 CPUtime=0.19
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 273063909 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915448 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915448 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937418752 7838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915448
[startup+2.97679 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 10373
/proc/meminfo: memFree=1409944/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=2.79
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9213 0 1 0 255 24 0 0 25 0 8 0 273063887 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985861 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8949 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063906 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.26
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 414 0 0 0 25 1 0 0 15 0 8 0 273063909 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915580
[startup+6.27335 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 10373
/proc/meminfo: memFree=1409688/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=6.06
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9238 0 1 0 582 24 0 0 25 0 8 0 273063887 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8971 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273063906 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.28
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 429 0 0 0 27 1 0 0 15 0 8 0 273063909 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915580
[startup+12.7495 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 10373
/proc/meminfo: memFree=1409688/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=12.47
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9245 0 1 0 1223 24 0 0 25 0 8 0 273063887 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8976 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063906 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.29
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273063909 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915580
[startup+25.6117 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 10373
/proc/meminfo: memFree=1409688/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=25.23
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9253 0 1 0 2498 25 0 0 25 0 8 0 273063887 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073963093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8984 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063906 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.29
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273063909 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915580
[startup+51.2181 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 10373
/proc/meminfo: memFree=1409688/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=50.62
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9262 0 1 0 5037 25 0 0 25 0 8 0 273063887 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8991 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063906 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.29
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273063909 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915580
[startup+102.432 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10373
/proc/meminfo: memFree=1409688/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=101.39
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9269 0 1 0 10114 25 0 0 25 0 8 0 273063887 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8997 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063906 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.29
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 273063909 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915580
[startup+162.486 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10373
/proc/meminfo: memFree=1409688/2055920 swapFree=4173628/4192956
[pid=10365] ppid=10363 vsize=915580 CPUtime=160.94
/proc/10365/stat : 10365 (java) R 10363 10365 10116 0 -1 0 9271 0 1 0 16068 26 0 0 25 0 8 0 273063887 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073934895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10365/statm: 228895 8999 2527 14 0 215365 0
[pid=10365/tid=10367] ppid=10363 vsize=915580 CPUtime=0.03
/proc/10365/task/10367/stat : 10367 (java) S 10363 10365 10116 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063906 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10368] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10368/stat : 10368 (java) S 10363 10365 10116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063906 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10369] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10369/stat : 10369 (java) S 10363 10365 10116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063906 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10370] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10370/stat : 10370 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273063909 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10371] ppid=10363 vsize=915580 CPUtime=0.29
/proc/10365/task/10371/stat : 10371 (java) S 10363 10365 10116 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 273063909 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10372] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10372/stat : 10372 (java) S 10363 10365 10116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273063909 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10365/tid=10373] ppid=10363 vsize=915580 CPUtime=0
/proc/10365/task/10373/stat : 10373 (java) S 10363 10365 10116 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063909 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 213.239
CPU time (s): 211.241
CPU user time (s): 210.967
CPU system time (s): 0.273958
CPU usage (%): 99.0631
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.967
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9369
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= 5686
involuntary context switches= 10220
runsolver used 0.291955 s user time and 0.663899 s system time
The end
Begin job on node15 on Fri Jan 19 22:44:50 UTC 2007
IDJOB= 276797
IDBENCH= 6034
IDSOLVER= 69
FILE ID= node15/276797-1169246690
PBS_JOBID= 3589060
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276797-1169246690/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-276797-1169246690 -o ROOT/results/node15/solver-276797-1169246690 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276797-1169246690/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35db91cf2a5416ba505693dda26a63fb
RANDOM SEED= 297343705
TIME LIMIT= 2400 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.276
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.276
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: 1436144 kB
Buffers: 51812 kB
Cached: 454700 kB
SwapCached: 5936 kB
Active: 192860 kB
Inactive: 352832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1436144 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 50120 kB
Slab: 58600 kB
Committed_AS: 8278536 kB
PageTables: 2348 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= 66560 MiB
End job on node15 on Fri Jan 19 22:48:24 UTC 2007