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/228945-1168080922/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.44 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.44
0.44 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1404 maxDegree=18
0.61 maxArity=2
0.61 => wckTime=0.271 cpuTime=0.2 mem=11M827
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.458 cpuTime=0.32 mem=13M735
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0030 cpuTime=0.01 mem=13M735
0.85
0.85 search
0.85 run=0 nbConstraintChecks=27661 nbPropagations=588 nbRevisions=5343 nbUselessRevisions=4167 nbAssignments=24
0.85 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.049 cpuTime=0.03 mem=14M710
0.87
0.87 search
0.87 run=1 nbConstraintChecks=53306 nbPropagations=1634 nbRevisions=14927 nbUselessRevisions=11649 nbAssignments=56
0.87 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=89 nbRestartNogoods=3 mapSize=24 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.065 cpuTime=0.05 mem=14M710
0.89
0.89 search
0.89 run=2 nbConstraintChecks=104604 nbPropagations=3622 nbRevisions=34126 nbUselessRevisions=26545
0.89 nbAssignments=105 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=174 nbRestartNogoods=4 mapSize=45
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.085 cpuTime=0.06 mem=14M710
0.90
0.90 search
0.90 run=3 nbConstraintChecks=161636 nbPropagations=6724 nbRevisions=64429 nbUselessRevisions=50041
0.90 nbAssignments=170 nbFailedAssignments=63 nbBacktracks=82 nbVisitedNodes=280 nbRestartNogoods=7 mapSize=73
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.099 cpuTime=0.07 mem=14M710
0.92
0.92 search
0.92 run=4 nbConstraintChecks=255112 nbPropagations=11581 nbRevisions=112721 nbUselessRevisions=87294
0.92 nbAssignments=263 nbFailedAssignments=99 nbBacktracks=133 nbVisitedNodes=440 nbRestartNogoods=11 mapSize=117
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.12 cpuTime=0.09 mem=14M710
0.95
0.95 search
0.95 run=5 nbConstraintChecks=381817 nbPropagations=18800 nbRevisions=185358 nbUselessRevisions=143042
0.95 nbAssignments=398 nbFailedAssignments=153 nbBacktracks=210 nbVisitedNodes=670 nbRestartNogoods=13 mapSize=183
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.15 cpuTime=0.12 mem=14M710
0.99
0.99 search
0.99 run=6 nbConstraintChecks=568748 nbPropagations=29592 nbRevisions=295910 nbUselessRevisions=228196
0.99 nbAssignments=596 nbFailedAssignments=230 nbBacktracks=324 nbVisitedNodes=1008 nbRestartNogoods=15 mapSize=280
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.191 cpuTime=0.16 mem=14M710
1.05
1.06 search
1.06 run=7 nbConstraintChecks=872255 nbPropagations=46048 nbRevisions=466327 nbUselessRevisions=359514
1.06 nbAssignments=888 nbFailedAssignments=346 nbBacktracks=494 nbVisitedNodes=1521 nbRestartNogoods=20 mapSize=431
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.252 cpuTime=0.22 mem=14M710
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1303041 nbPropagations=70509 nbRevisions=722747 nbUselessRevisions=556996
1.15 nbAssignments=1315 nbFailedAssignments=509 nbBacktracks=753 nbVisitedNodes=2252 nbRestartNogoods=26
1.15 mapSize=637 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.343 cpuTime=0.3 mem=14M710
1.29
1.29 search
1.29 run=9 nbConstraintChecks=2013649 nbPropagations=107776 nbRevisions=1118231 nbUselessRevisions=861510
1.29 nbAssignments=2003 nbFailedAssignments=805 nbBacktracks=1139 nbVisitedNodes=3468 nbRestartNogoods=31
1.29 mapSize=980 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.487 cpuTime=0.44 mem=14M710
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M710)
1.46
1.46 search
1.46 run=10 nbConstraintChecks=2915574 nbPropagations=161858 nbRevisions=1694517 nbUselessRevisions=1305509
1.46 nbAssignments=2945 nbFailedAssignments=1166 nbBacktracks=1715 nbVisitedNodes=5087 nbRestartNogoods=37
1.46 => wckTime=0.653 cpuTime=0.59 mem=14M710
1.72
1.72 search
1.72 run=11 nbConstraintChecks=4547541 nbPropagations=244019 nbRevisions=2579716 nbUselessRevisions=1985881
1.72 nbAssignments=4424 nbFailedAssignments=1774 nbBacktracks=2580 nbVisitedNodes=7670 nbRestartNogoods=43
1.72 => wckTime=0.918 cpuTime=0.85 mem=14M710
2.06
2.06 search
2.06 run=12 nbConstraintChecks=6507232 nbPropagations=364550 nbRevisions=3870950 nbUselessRevisions=2979499
2.06 nbAssignments=6533 nbFailedAssignments=2583 nbBacktracks=3877 nbVisitedNodes=11321 nbRestartNogoods=51
2.06 => wckTime=1.254 cpuTime=1.19 mem=14M710
2.57
2.57 search
2.57 run=13 nbConstraintChecks=9518217 nbPropagations=543532 nbRevisions=5781941 nbUselessRevisions=4450523
2.57 nbAssignments=9780 nbFailedAssignments=3878 nbBacktracks=5824 nbVisitedNodes=16957 nbRestartNogoods=56
2.57 => wckTime=1.767 cpuTime=1.71 mem=14M710
3.39
3.39 search
3.39 run=14 nbConstraintChecks=14623245 nbPropagations=812292 nbRevisions=8660544 nbUselessRevisions=6661409
3.39 nbAssignments=14648 nbFailedAssignments=5820 nbBacktracks=8745 nbVisitedNodes=25464 nbRestartNogoods=63
3.39 => wckTime=2.589 cpuTime=2.53 mem=14M710
4.54
4.54 search
4.54 run=15 nbConstraintChecks=21562968 nbPropagations=1210242 nbRevisions=12923157 nbUselessRevisions=9939966
4.54 nbAssignments=21700 nbFailedAssignments=8489 nbBacktracks=13127 nbVisitedNodes=37551 nbRestartNogoods=71
4.54 => wckTime=3.742 cpuTime=3.68 mem=14M710
6.48
6.48 search
6.48 run=16 nbConstraintChecks=33673125 nbPropagations=1820723 nbRevisions=19481130 nbUselessRevisions=14979007
6.48 nbAssignments=32902 nbFailedAssignments=13114 nbBacktracks=19697 nbVisitedNodes=57203 nbRestartNogoods=78
6.48 => wckTime=5.676 cpuTime=5.62 mem=14M710
9.31
9.31 search
9.31 run=17 nbConstraintChecks=51073860 nbPropagations=2743493 nbRevisions=29450528 nbUselessRevisions=22642505
9.31 nbAssignments=49487 nbFailedAssignments=19840 nbBacktracks=29552 nbVisitedNodes=86211 nbRestartNogoods=85
9.31 => wckTime=8.509 cpuTime=8.45 mem=14M710
13.25
13.25 search
13.25 run=18 nbConstraintChecks=75988666 nbPropagations=4121802 nbRevisions=44296234 nbUselessRevisions=34052697
13.25 nbAssignments=73760 nbFailedAssignments=29328 nbBacktracks=44331 nbVisitedNodes=128363 nbRestartNogoods=88
13.25 => wckTime=12.449 cpuTime=12.36 mem=14M710
19.26
19.26 search
19.26 run=19 nbConstraintChecks=113319730 nbPropagations=6185940 nbRevisions=66502497 nbUselessRevisions=51124991
19.26 nbAssignments=110117 nbFailedAssignments=43512 nbBacktracks=66501 nbVisitedNodes=191442 nbRestartNogoods=99
19.26 => wckTime=18.459 cpuTime=18.34 mem=14M710
26.93
26.93 search
26.93 run=20 nbConstraintChecks=160829351 nbPropagations=9097040 nbRevisions=97921587 nbUselessRevisions=75283726
26.93 nbAssignments=154842 nbFailedAssignments=61356 nbBacktracks=93383 nbVisitedNodes=269256 nbRestartNogoods=105
26.93 => wckTime=26.123 cpuTime=25.99 mem=14M710
26.93
26.93 global
26.93 nbConstraintChecks=160829351 nbPropagations=9097080 nbRevisions=97921587 nbUselessRevisions=75283726
26.93 nbRestartNogoods=105 solvingWckTime=26.123 solvingCpuTime=25.99 expiredTime=no totalExploration=yes
26.93 nbFoundSolutions=0 globalCpuTime=26.36
26.93 => wckTime=26.584 cpuTime=26.31 mem=14M710
26.93
26.93 s UNSATISFIABLE
26.93 d NODES 154842
26.93 d CHECKS 160829351
26.93
26.93 totalWckTime=26.659 totalCpuTime=26.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-228945-1168080922 -o ROOT/results/node19/solver-228945-1168080922 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228945-1168080922/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.16 0.66 1.31 3/82 24489
/proc/meminfo: memFree=1251792/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=18540 CPUtime=0
/proc/24488/stat : 24488 (runsolver) D 24485 24488 24302 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156487624 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/24488/statm: 4635 279 244 17 0 2626 0
[startup+0.104115 s]
/proc/loadavg: 0.16 0.66 1.31 3/82 24489
/proc/meminfo: memFree=1251792/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=912272 CPUtime=0.06
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 2659 0 1 0 5 1 0 0 24 0 8 0 156487624 934166528 2406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24488/statm: 228068 2406 1301 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.51219 s]
/proc/loadavg: 0.16 0.66 1.31 3/82 24489
/proc/meminfo: memFree=1251792/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=915328 CPUtime=0.45
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 6586 0 1 0 41 4 0 0 16 0 8 0 156487624 937295872 6325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24488/statm: 228832 6326 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33434 s]
/proc/loadavg: 0.31 0.68 1.31 2/88 24522
/proc/meminfo: memFree=1226712/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=915452 CPUtime=1.28
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 8594 0 1 0 122 6 0 0 17 0 8 0 156487624 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24488/statm: 228863 8332 2513 14 0 215333 0
[pid=24488/tid=24490] ppid=24485 vsize=915452 CPUtime=0.03
/proc/24488/task/24490/stat : 24490 (java) S 24485 24488 24302 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487630 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24488/tid=24491] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24491/stat : 24491 (java) S 24485 24488 24302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156487630 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24492] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24492/stat : 24492 (java) S 24485 24488 24302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487630 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24494] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24494/stat : 24494 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156487634 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24495] ppid=24485 vsize=915452 CPUtime=0.2
/proc/24488/task/24495/stat : 24495 (java) S 24485 24488 24302 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156487634 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24496] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24496/stat : 24496 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156487634 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24497] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24497/stat : 24497 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487634 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.97465 s]
/proc/loadavg: 0.31 0.68 1.31 2/88 24522
/proc/meminfo: memFree=1226520/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=915452 CPUtime=2.92
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 8608 0 1 0 286 6 0 0 18 0 8 0 156487624 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24488/statm: 228863 8345 2513 14 0 215333 0
[pid=24488/tid=24490] ppid=24485 vsize=915452 CPUtime=0.03
/proc/24488/task/24490/stat : 24490 (java) S 24485 24488 24302 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487630 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24488/tid=24491] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24491/stat : 24491 (java) S 24485 24488 24302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156487630 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24492] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24492/stat : 24492 (java) S 24485 24488 24302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487630 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24494] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24494/stat : 24494 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156487634 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24495] ppid=24485 vsize=915452 CPUtime=0.21
/proc/24488/task/24495/stat : 24495 (java) S 24485 24488 24302 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156487634 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24496] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24496/stat : 24496 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156487634 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24497] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24497/stat : 24497 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487634 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.26327 s]
/proc/loadavg: 0.36 0.68 1.31 2/88 24522
/proc/meminfo: memFree=1226392/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=915452 CPUtime=6.2
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 8614 0 1 0 614 6 0 0 20 0 8 0 156487624 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24488/statm: 228863 8350 2513 14 0 215333 0
[pid=24488/tid=24490] ppid=24485 vsize=915452 CPUtime=0.03
/proc/24488/task/24490/stat : 24490 (java) S 24485 24488 24302 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487630 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24488/tid=24491] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24491/stat : 24491 (java) S 24485 24488 24302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156487630 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24492] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24492/stat : 24492 (java) S 24485 24488 24302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487630 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24494] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24494/stat : 24494 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156487634 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24495] ppid=24485 vsize=915452 CPUtime=0.21
/proc/24488/task/24495/stat : 24495 (java) S 24485 24488 24302 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156487634 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24496] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24496/stat : 24496 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156487634 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24497] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24497/stat : 24497 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487634 937422848 8350 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+12.7395 s]
/proc/loadavg: 0.41 0.69 1.31 3/100 24534
/proc/meminfo: memFree=1202176/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=915452 CPUtime=12.66
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 8619 0 1 0 1260 6 0 0 25 0 8 0 156487624 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24488/statm: 228863 8355 2513 14 0 215333 0
[pid=24488/tid=24490] ppid=24485 vsize=915452 CPUtime=0.03
/proc/24488/task/24490/stat : 24490 (java) S 24485 24488 24302 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487630 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24488/tid=24491] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24491/stat : 24491 (java) S 24485 24488 24302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156487630 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24492] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24492/stat : 24492 (java) S 24485 24488 24302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487630 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24494] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24494/stat : 24494 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156487634 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24495] ppid=24485 vsize=915452 CPUtime=0.21
/proc/24488/task/24495/stat : 24495 (java) S 24485 24488 24302 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156487634 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24496] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24496/stat : 24496 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156487634 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24497] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24497/stat : 24497 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487634 937422848 8355 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+25.5759 s]
/proc/loadavg: 0.58 0.71 1.31 2/88 24542
/proc/meminfo: memFree=1226264/2055920 swapFree=4171232/4192956
[pid=24488] ppid=24485 vsize=915452 CPUtime=25.45
/proc/24488/stat : 24488 (java) R 24485 24488 24302 0 -1 0 8623 0 1 0 2538 7 0 0 25 0 8 0 156487624 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24488/statm: 228863 8359 2513 14 0 215333 0
[pid=24488/tid=24490] ppid=24485 vsize=915452 CPUtime=0.03
/proc/24488/task/24490/stat : 24490 (java) S 24485 24488 24302 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487630 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24488/tid=24491] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24491/stat : 24491 (java) S 24485 24488 24302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156487630 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24492] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24492/stat : 24492 (java) S 24485 24488 24302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487630 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24494] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24494/stat : 24494 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156487634 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24495] ppid=24485 vsize=915452 CPUtime=0.21
/proc/24488/task/24495/stat : 24495 (java) S 24485 24488 24302 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156487634 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24496] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24496/stat : 24496 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156487634 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24488/tid=24497] ppid=24485 vsize=915452 CPUtime=0
/proc/24488/task/24497/stat : 24497 (java) S 24485 24488 24302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487634 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 26.9614
CPU time (s): 26.8269
CPU user time (s): 26.7489
CPU system time (s): 0.077988
CPU usage (%): 99.5014
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.7489
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 1367
involuntary context switches= 878
runsolver used 0.028995 s user time and 0.075988 s system time
The end
Begin job on node19 on Sat Jan 6 10:55:27 UTC 2007
IDJOB= 228945
IDBENCH= 6259
FILE ID= node19/228945-1168080922
PBS_JOBID= 3475878
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228945-1168080922/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-228945-1168080922 -o ROOT/results/node19/solver-228945-1168080922 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228945-1168080922/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= afbb6944669ab2195aba35cdf51b5bb9
RANDOM SEED= 9868794
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.260
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.260
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: 1252664 kB
Buffers: 70516 kB
Cached: 597136 kB
SwapCached: 10036 kB
Active: 289836 kB
Inactive: 413284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1252664 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 44724 kB
Slab: 85176 kB
Committed_AS: 3610620 kB
PageTables: 2208 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= 66310 MiB
End job on node19 on Sat Jan 6 10:56:00 UTC 2007