0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/229199-1168080943/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.43 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.43
0.43 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=1352 maxDegree=17
0.61 maxArity=2
0.61 => wckTime=0.287 cpuTime=0.19 mem=11M893
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.489 cpuTime=0.33 mem=13M736
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.0 mem=13M736
0.87
0.87 search
0.87 run=0 nbConstraintChecks=28823 nbPropagations=517 nbRevisions=4654 nbUselessRevisions=3556 nbAssignments=24
0.87 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.054 cpuTime=0.03 mem=14M712
0.89
0.89 search
0.89 run=1 nbConstraintChecks=63457 nbPropagations=1607 nbRevisions=15125 nbUselessRevisions=11649 nbAssignments=58
0.89 nbFailedAssignments=21 nbBacktracks=26 nbVisitedNodes=97 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.073 cpuTime=0.04 mem=14M712
0.91
0.91 search
0.91 run=2 nbConstraintChecks=105767 nbPropagations=3425 nbRevisions=32873 nbUselessRevisions=25289
0.91 nbAssignments=97 nbFailedAssignments=34 nbBacktracks=49 nbVisitedNodes=163 nbRestartNogoods=4 mapSize=46
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.091 cpuTime=0.06 mem=14M712
0.93
0.93 search
0.93 run=3 nbConstraintChecks=156203 nbPropagations=6193 nbRevisions=59863 nbUselessRevisions=46001
0.93 nbAssignments=150 nbFailedAssignments=48 nbBacktracks=83 nbVisitedNodes=250 nbRestartNogoods=5 mapSize=71
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.107 cpuTime=0.07 mem=14M712
0.95
0.95 search
0.95 run=4 nbConstraintChecks=269663 nbPropagations=10874 nbRevisions=107401 nbUselessRevisions=82308
0.95 nbAssignments=249 nbFailedAssignments=89 nbBacktracks=134 nbVisitedNodes=424 nbRestartNogoods=9 mapSize=116
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.133 cpuTime=0.09 mem=14M712
0.98
0.99 search
0.99 run=5 nbConstraintChecks=400445 nbPropagations=17904 nbRevisions=179480 nbUselessRevisions=137401
0.99 nbAssignments=388 nbFailedAssignments=146 nbBacktracks=209 nbVisitedNodes=657 nbRestartNogoods=14 mapSize=176
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.166 cpuTime=0.12 mem=14M712
1.03
1.03 search
1.03 run=6 nbConstraintChecks=587126 nbPropagations=28206 nbRevisions=285268 nbUselessRevisions=217831
1.03 nbAssignments=573 nbFailedAssignments=209 nbBacktracks=326 nbVisitedNodes=970 nbRestartNogoods=18 mapSize=264
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.207 cpuTime=0.16 mem=14M712
1.09
1.09 search
1.09 run=7 nbConstraintChecks=901488 nbPropagations=44005 nbRevisions=450010 nbUselessRevisions=343522
1.09 nbAssignments=864 nbFailedAssignments=327 nbBacktracks=496 nbVisitedNodes=1476 nbRestartNogoods=23 mapSize=400
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.273 cpuTime=0.22 mem=14M712
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1337591 nbPropagations=67557 nbRevisions=698199 nbUselessRevisions=533788
1.19 nbAssignments=1295 nbFailedAssignments=495 nbBacktracks=753 nbVisitedNodes=2229 nbRestartNogoods=26
1.19 mapSize=626 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.372 cpuTime=0.31 mem=14M712
1.34
1.34 search
1.34 run=9 nbConstraintChecks=2014931 nbPropagations=103397 nbRevisions=1075846 nbUselessRevisions=822487
1.34 nbAssignments=1943 nbFailedAssignments=752 nbBacktracks=1137 nbVisitedNodes=3370 nbRestartNogoods=34
1.34 mapSize=959 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.517 cpuTime=0.44 mem=14M712
1.36
1.36 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M712)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=3133728 nbPropagations=158728 nbRevisions=1671911 nbUselessRevisions=1279566
1.54 nbAssignments=3003 nbFailedAssignments=1228 nbBacktracks=1715 nbVisitedNodes=5255 nbRestartNogoods=39
1.54 => wckTime=0.725 cpuTime=0.64 mem=14M712
1.79
1.79 search
1.79 run=11 nbConstraintChecks=4560561 nbPropagations=240423 nbRevisions=2550249 nbUselessRevisions=1952112
1.79 nbAssignments=4435 nbFailedAssignments=1792 nbBacktracks=2581 nbVisitedNodes=7743 nbRestartNogoods=43
1.79 => wckTime=0.974 cpuTime=0.88 mem=14M712
2.16
2.16 search
2.16 run=12 nbConstraintChecks=6817041 nbPropagations=361294 nbRevisions=3847399 nbUselessRevisions=2943512
2.16 nbAssignments=6539 nbFailedAssignments=2592 nbBacktracks=3880 nbVisitedNodes=11372 nbRestartNogoods=49
2.16 => wckTime=1.344 cpuTime=1.25 mem=14M712
2.72
2.72 search
2.72 run=13 nbConstraintChecks=10111538 nbPropagations=542140 nbRevisions=5789261 nbUselessRevisions=4430929
2.72 nbAssignments=9811 nbFailedAssignments=3910 nbBacktracks=5829 nbVisitedNodes=17041 nbRestartNogoods=57
2.72 => wckTime=1.897 cpuTime=1.8 mem=14M712
3.63
3.63 search
3.63 run=14 nbConstraintChecks=15657718 nbPropagations=819897 nbRevisions=8816284 nbUselessRevisions=6755869
3.63 nbAssignments=14942 nbFailedAssignments=6116 nbBacktracks=8750 nbVisitedNodes=26170 nbRestartNogoods=66
3.63 => wckTime=2.813 cpuTime=2.7 mem=14M712
4.84
4.84 search
4.84 run=15 nbConstraintChecks=22889986 nbPropagations=1228410 nbRevisions=13239177 nbUselessRevisions=10149034
4.84 nbAssignments=22076 nbFailedAssignments=8866 nbBacktracks=13130 nbVisitedNodes=38495 nbRestartNogoods=72
4.84 => wckTime=4.019 cpuTime=3.9 mem=14M712
6.83
6.83 search
6.83 run=16 nbConstraintChecks=35070320 nbPropagations=1849940 nbRevisions=20003452 nbUselessRevisions=15341391
6.83 nbAssignments=33287 nbFailedAssignments=13506 nbBacktracks=19698 nbVisitedNodes=58248 nbRestartNogoods=76
6.83 => wckTime=6.015 cpuTime=5.87 mem=14M712
9.69
9.69 search
9.69 run=17 nbConstraintChecks=52388324 nbPropagations=2779992 nbRevisions=30159693 nbUselessRevisions=23152278
9.69 nbAssignments=49794 nbFailedAssignments=20151 nbBacktracks=29553 nbVisitedNodes=87211 nbRestartNogoods=81
9.69 => wckTime=8.872 cpuTime=8.71 mem=14M712
13.93
13.93 search
13.93 run=18 nbConstraintChecks=78038606 nbPropagations=4165512 nbRevisions=45216979 nbUselessRevisions=34723160
13.93 nbAssignments=73934 nbFailedAssignments=29504 nbBacktracks=44334 nbVisitedNodes=129228 nbRestartNogoods=87
13.93 => wckTime=13.114 cpuTime=12.91 mem=14M712
20.41
20.41 search
20.41 run=19 nbConstraintChecks=117127771 nbPropagations=6240746 nbRevisions=67797011 nbUselessRevisions=52082939
20.41 nbAssignments=110608 nbFailedAssignments=44002 nbBacktracks=66507 nbVisitedNodes=193142 nbRestartNogoods=101
20.41 => wckTime=19.594 cpuTime=19.32 mem=14M712
24.35
24.35 search
24.35 run=20 nbConstraintChecks=141178097 nbPropagations=8735977 nbRevisions=94952017 nbUselessRevisions=72953824
24.35 nbAssignments=132705 nbFailedAssignments=52627 nbBacktracks=79980 nbVisitedNodes=231554 nbRestartNogoods=107
24.35 => wckTime=23.528 cpuTime=23.24 mem=14M712
24.35
24.35 global
24.35 nbConstraintChecks=141178097 nbPropagations=8736017 nbRevisions=94952017 nbUselessRevisions=72953824
24.35 nbRestartNogoods=107 solvingWckTime=23.529 solvingCpuTime=23.24 expiredTime=no totalExploration=yes
24.35 nbFoundSolutions=0 globalCpuTime=23.62
24.35 => wckTime=24.021 cpuTime=23.57 mem=14M712
24.35
24.35 s UNSATISFIABLE
24.35 d NODES 132705
24.35 d CHECKS 141178097
24.35
24.35 totalWckTime=24.103 totalCpuTime=23.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-229199-1168080943 -o ROOT/results/node11/solver-229199-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229199-1168080943/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.08 1.32 1.65 4/93 30514
/proc/meminfo: memFree=1590840/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=18540 CPUtime=0
/proc/30513/stat : 30513 (runsolver) R 30511 30513 30222 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156491039 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30513/statm: 4635 279 244 17 0 2626 0
[startup+0.103481 s]
/proc/loadavg: 1.08 1.32 1.65 4/93 30514
/proc/meminfo: memFree=1590840/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=912760 CPUtime=0.07
/proc/30513/stat : 30513 (java) R 30511 30513 30222 0 -1 0 2771 0 1 0 6 1 0 0 17 0 8 0 156491039 934666240 2517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151969539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30513/statm: 228190 2517 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.512072 s]
/proc/loadavg: 1.08 1.32 1.65 4/93 30514
/proc/meminfo: memFree=1590840/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=915328 CPUtime=0.48
/proc/30513/stat : 30513 (java) R 30511 30513 30222 0 -1 0 6640 0 1 0 44 4 0 0 18 0 8 0 156491039 937295872 6379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154579184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30513/statm: 228832 6379 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34573 s]
/proc/loadavg: 1.23 1.35 1.65 3/100 30521
/proc/meminfo: memFree=1567488/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=915452 CPUtime=1.3
/proc/30513/stat : 30513 (java) R 30511 30513 30222 0 -1 0 8587 0 1 0 123 7 0 0 24 0 8 0 156491039 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30513/statm: 228863 8325 2513 14 0 215333 0
[pid=30513/tid=30515] ppid=30511 vsize=915452 CPUtime=0.03
/proc/30513/task/30515/stat : 30515 (java) S 30511 30513 30222 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491045 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30516] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30516/stat : 30516 (java) S 30511 30513 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491045 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30517] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30517/stat : 30517 (java) S 30511 30513 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491045 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30518] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30518/stat : 30518 (java) S 30511 30513 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491048 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30519] ppid=30511 vsize=915452 CPUtime=0.22
/proc/30513/task/30519/stat : 30519 (java) S 30511 30513 30222 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 156491048 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30520] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30520/stat : 30520 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491048 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30521] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30521/stat : 30521 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491049 937422848 8325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98827 s]
/proc/loadavg: 1.23 1.35 1.65 3/100 30521
/proc/meminfo: memFree=1567296/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=915452 CPUtime=2.92
/proc/30513/stat : 30513 (java) R 30511 30513 30222 0 -1 0 8605 0 1 0 285 7 0 0 25 0 8 0 156491039 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30513/statm: 228863 8342 2513 14 0 215333 0
[pid=30513/tid=30515] ppid=30511 vsize=915452 CPUtime=0.03
/proc/30513/task/30515/stat : 30515 (java) S 30511 30513 30222 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491045 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30516] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30516/stat : 30516 (java) S 30511 30513 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491045 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30517] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30517/stat : 30517 (java) S 30511 30513 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491045 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30518] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30518/stat : 30518 (java) S 30511 30513 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491048 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30519] ppid=30511 vsize=915452 CPUtime=0.23
/proc/30513/task/30519/stat : 30519 (java) S 30511 30513 30222 0 -1 64 388 0 0 0 22 1 0 0 15 0 8 0 156491048 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30520] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30520/stat : 30520 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491048 937422848 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30521] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30521/stat : 30521 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491049 937422848 8342 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.2817 s]
/proc/loadavg: 1.23 1.35 1.65 3/100 30521
/proc/meminfo: memFree=1567232/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=915452 CPUtime=6.19
/proc/30513/stat : 30513 (java) R 30511 30513 30222 0 -1 0 8612 0 1 0 612 7 0 0 25 0 8 0 156491039 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30513/statm: 228863 8348 2513 14 0 215333 0
[pid=30513/tid=30515] ppid=30511 vsize=915452 CPUtime=0.03
/proc/30513/task/30515/stat : 30515 (java) S 30511 30513 30222 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491045 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30516] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30516/stat : 30516 (java) S 30511 30513 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491045 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30517] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30517/stat : 30517 (java) S 30511 30513 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491045 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30518] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30518/stat : 30518 (java) S 30511 30513 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491048 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30519] ppid=30511 vsize=915452 CPUtime=0.24
/proc/30513/task/30519/stat : 30519 (java) S 30511 30513 30222 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156491048 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30520] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30520/stat : 30520 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491048 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30521] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30521/stat : 30521 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491049 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.762 s]
/proc/loadavg: 1.35 1.37 1.66 3/100 30521
/proc/meminfo: memFree=1567296/2055920 swapFree=4192812/4192956
[pid=30513] ppid=30511 vsize=915452 CPUtime=12.61
/proc/30513/stat : 30513 (java) R 30511 30513 30222 0 -1 0 8617 0 1 0 1254 7 0 0 25 0 8 0 156491039 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30513/statm: 228863 8353 2513 14 0 215333 0
[pid=30513/tid=30515] ppid=30511 vsize=915452 CPUtime=0.03
/proc/30513/task/30515/stat : 30515 (java) S 30511 30513 30222 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156491045 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30516] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30516/stat : 30516 (java) S 30511 30513 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491045 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30517] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30517/stat : 30517 (java) S 30511 30513 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491045 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30518] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30518/stat : 30518 (java) S 30511 30513 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491048 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30519] ppid=30511 vsize=915452 CPUtime=0.24
/proc/30513/task/30519/stat : 30519 (java) S 30511 30513 30222 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156491048 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30520] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30520/stat : 30520 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491048 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30513/tid=30521] ppid=30511 vsize=915452 CPUtime=0
/proc/30513/task/30521/stat : 30521 (java) S 30511 30513 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491049 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 24.3996
CPU time (s): 24.1103
CPU user time (s): 24.0313
CPU system time (s): 0.078987
CPU usage (%): 98.8144
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0313
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8714
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= 1572
involuntary context switches= 3171
runsolver used 0.043993 s user time and 0.074988 s system time
The end
Begin job on node11 on Sat Jan 6 10:55:54 UTC 2007
IDJOB= 229199
IDBENCH= 6285
FILE ID= node11/229199-1168080943
PBS_JOBID= 3475869
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-63_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229199-1168080943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-229199-1168080943 -o ROOT/results/node11/solver-229199-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229199-1168080943/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 68ec39505c29b43fdbda5606311a9b92
RANDOM SEED= 818120617
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.261
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 : 5931.00
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.261
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: 1591384 kB
Buffers: 41004 kB
Cached: 250512 kB
SwapCached: 0 kB
Active: 163596 kB
Inactive: 216932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1591384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 118004 kB
Slab: 68388 kB
Committed_AS: 5155720 kB
PageTables: 2480 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= 66319 MiB
End job on node11 on Sat Jan 6 10:56:32 UTC 2007