0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208601-1168074773/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.69
0.69 constraints being loaded...
0.86 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.86 => wckTime=0.544 cpuTime=0.5 mem=43M588
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.789 cpuTime=0.64 mem=21M525
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0020 cpuTime=0.0 mem=21M525
1.22
1.22 search
1.22 run=0 nbConstraintChecks=23494 nbValidityChecks=39505 nbPropagations=306 nbRevisions=2795
1.22 nbUselessRevisions=2183 nbAssignments=27 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=46
1.22 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.11 cpuTime=0.06 mem=21M525
1.31
1.31 search
1.31 run=1 nbConstraintChecks=76432 nbValidityChecks=145360 nbPropagations=1286 nbRevisions=13351
1.31 nbUselessRevisions=10253 nbAssignments=94 nbFailedAssignments=59 nbBacktracks=25 nbVisitedNodes=172
1.31 nbRestartNogoods=4 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.2 cpuTime=0.14 mem=21M525
1.39
1.39 search
1.39 run=2 nbConstraintChecks=125960 nbValidityChecks=245395 nbPropagations=2945 nbRevisions=31482
1.39 nbUselessRevisions=24291 nbAssignments=157 nbFailedAssignments=95 nbBacktracks=49 nbVisitedNodes=289
1.39 nbRestartNogoods=10 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.282 cpuTime=0.22 mem=21M525
1.49
1.49 search
1.49 run=3 nbConstraintChecks=197427 nbValidityChecks=385455 nbPropagations=5426 nbRevisions=58974
1.49 nbUselessRevisions=45547 nbAssignments=240 nbFailedAssignments=141 nbBacktracks=82 nbVisitedNodes=438
1.49 nbRestartNogoods=13 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.383 cpuTime=0.31 mem=21M525
1.63
1.63 search
1.63 run=4 nbConstraintChecks=302220 nbValidityChecks=587849 nbPropagations=9259 nbRevisions=100745
1.63 nbUselessRevisions=77816 nbAssignments=362 nbFailedAssignments=206 nbBacktracks=132 nbVisitedNodes=661
1.63 nbRestartNogoods=19 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.521 cpuTime=0.45 mem=21M525
1.82
1.82 search
1.82 run=5 nbConstraintChecks=447511 nbValidityChecks=878051 nbPropagations=15071 nbRevisions=165112
1.82 nbUselessRevisions=127541 nbAssignments=543 nbFailedAssignments=307 nbBacktracks=207 nbVisitedNodes=994
1.82 nbRestartNogoods=24 mapSize=186 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.715 cpuTime=0.63 mem=21M525
2.05
2.05 search
2.05 run=6 nbConstraintChecks=630316 nbValidityChecks=1234271 nbPropagations=23685 nbRevisions=257236
2.05 nbUselessRevisions=198304 nbAssignments=808 nbFailedAssignments=455 nbBacktracks=320 nbVisitedNodes=1477
2.05 nbRestartNogoods=31 mapSize=288 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=0.949 cpuTime=0.86 mem=21M525
2.54
2.54 search
2.54 run=7 nbConstraintChecks=1010158 nbValidityChecks=1995577 nbPropagations=37036 nbRevisions=403233
2.54 nbUselessRevisions=311141 nbAssignments=1274 nbFailedAssignments=746 nbBacktracks=490 nbVisitedNodes=2355
2.54 nbRestartNogoods=39 mapSize=438 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=1.437 cpuTime=1.33 mem=21M525
3.16
3.16 search
3.16 run=8 nbConstraintChecks=1497429 nbValidityChecks=2943188 nbPropagations=56868 nbRevisions=615387
3.16 nbUselessRevisions=474508 nbAssignments=1930 nbFailedAssignments=1141 nbBacktracks=746 nbVisitedNodes=3569
3.16 nbRestartNogoods=54 mapSize=674 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=2.051 cpuTime=1.93 mem=21M525
4.08
4.08 search
4.08 run=9 nbConstraintChecks=2245209 nbValidityChecks=4412960 nbPropagations=86669 nbRevisions=940281
4.08 nbUselessRevisions=726039 nbAssignments=2839 nbFailedAssignments=1661 nbBacktracks=1132 nbVisitedNodes=5265
4.08 nbRestartNogoods=64 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
4.08 => wckTime=2.975 cpuTime=2.84 mem=21M525
4.12
4.12 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=21M525)
5.56
5.56 search
5.56 run=10 nbConstraintChecks=3460408 nbValidityChecks=6825579 nbPropagations=131244 nbRevisions=1436727
5.56 nbUselessRevisions=1111545 nbAssignments=4234 nbFailedAssignments=2477 nbBacktracks=1709 nbVisitedNodes=7856
5.56 nbRestartNogoods=72
5.56 => wckTime=4.459 cpuTime=4.3 mem=21M525
7.47
7.47 search
7.47 run=11 nbConstraintChecks=5058533 nbValidityChecks=9881900 nbPropagations=196033 nbRevisions=2147230
7.47 nbUselessRevisions=1661410 nbAssignments=6126 nbFailedAssignments=3500 nbBacktracks=2573 nbVisitedNodes=11324
7.47 nbRestartNogoods=82
7.47 => wckTime=6.366 cpuTime=6.19 mem=22M492
10.59
10.59 search
10.59 run=12 nbConstraintChecks=7623092 nbValidityChecks=14995797 nbPropagations=294223 nbRevisions=3240924
10.59 nbUselessRevisions=2513515 nbAssignments=9164 nbFailedAssignments=5237 nbBacktracks=3870 nbVisitedNodes=16980
10.59 nbRestartNogoods=97
10.59 => wckTime=9.48 cpuTime=9.27 mem=22M492
14.50
14.50 search
14.50 run=13 nbConstraintChecks=10921326 nbValidityChecks=21286774 nbPropagations=437798 nbRevisions=4793692
14.50 nbUselessRevisions=3716634 nbAssignments=13533 nbFailedAssignments=7655 nbBacktracks=5816 nbVisitedNodes=24931
14.50 nbRestartNogoods=117
14.50 => wckTime=13.397 cpuTime=13.15 mem=22M492
21.05
21.05 search
21.05 run=14 nbConstraintChecks=16365354 nbValidityChecks=32153142 nbPropagations=652045 nbRevisions=7154786
21.05 nbUselessRevisions=5557510 nbAssignments=19970 nbFailedAssignments=11310 nbBacktracks=8578 nbVisitedNodes=36949
21.05 nbRestartNogoods=132
21.05 => wckTime=19.943 cpuTime=19.64 mem=22M492
21.05
21.05 global
21.05 nbConstraintChecks=16365354 nbValidityChecks=32153142 nbPropagations=652065 nbRevisions=7154786
21.05 nbUselessRevisions=5557510 nbRestartNogoods=132 solvingWckTime=19.944 solvingCpuTime=19.64 expiredTime=no
21.05 totalExploration=no nbFoundSolutions=1 globalCpuTime=20.32
21.05 => wckTime=20.736 cpuTime=20.28 mem=22M492
21.05
21.05 s SATISFIABLE
21.05 v 12 16 4 10 3 9 9 19 16 0 11 19 19 5 14 10 2 4 4 12
21.05 d NODES 19970
21.05 d CHECKS 16365354
21.05
21.05 totalWckTime=20.817 totalCpuTime=20.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-208601-1168074773 -o ROOT/results/node19/solver-208601-1168074773 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208601-1168074773/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.84 1.95 1.97 4/93 22741
/proc/meminfo: memFree=1147544/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=1784 CPUtime=0
/proc/22740/stat : 22740 (java) R 22738 22740 22561 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155871925 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22740/statm: 446 140 106 14 0 91 0
[startup+0.105019 s]
/proc/loadavg: 1.84 1.95 1.97 4/93 22741
/proc/meminfo: memFree=1147544/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=914988 CPUtime=0.08
/proc/22740/stat : 22740 (java) S 22738 22740 22561 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155871925 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22740/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515093 s]
/proc/loadavg: 1.84 1.95 1.97 4/93 22741
/proc/meminfo: memFree=1147544/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=915328 CPUtime=0.49
/proc/22740/stat : 22740 (java) R 22738 22740 22561 0 -1 0 7630 0 1 0 45 4 0 0 18 0 8 0 155871925 937295872 7369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073581019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22740/statm: 228832 7369 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34325 s]
/proc/loadavg: 1.84 1.95 1.97 4/100 22748
/proc/meminfo: memFree=1088864/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=915460 CPUtime=1.3
/proc/22740/stat : 22740 (java) R 22738 22740 22561 0 -1 0 17372 0 1 0 121 9 0 0 23 0 8 0 155871925 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22740/statm: 228865 17109 2517 14 0 215335 0
[pid=22740/tid=22742] ppid=22738 vsize=915460 CPUtime=0.06
/proc/22740/task/22742/stat : 22742 (java) S 22738 22740 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155871929 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22743] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22743/stat : 22743 (java) S 22738 22740 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22744] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22744/stat : 22744 (java) S 22738 22740 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22745] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22745/stat : 22745 (java) S 22738 22740 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155871933 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22746] ppid=22738 vsize=915460 CPUtime=0.18
/proc/22740/task/22746/stat : 22746 (java) S 22738 22740 22561 0 -1 64 355 0 0 0 17 1 0 0 15 0 8 0 155871933 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22747] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22747/stat : 22747 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155871933 937431040 17109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22748] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22748/stat : 22748 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155871933 937431040 17109 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) 915460
[startup+2.98056 s]
/proc/loadavg: 1.85 1.95 1.97 3/100 22748
/proc/meminfo: memFree=1088608/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=915460 CPUtime=2.94
/proc/22740/stat : 22740 (java) R 22738 22740 22561 0 -1 0 17391 0 1 0 284 10 0 0 25 0 8 0 155871925 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22740/statm: 228865 17127 2517 14 0 215335 0
[pid=22740/tid=22742] ppid=22738 vsize=915460 CPUtime=0.06
/proc/22740/task/22742/stat : 22742 (java) S 22738 22740 22561 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 155871929 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22743] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22743/stat : 22743 (java) S 22738 22740 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22744] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22744/stat : 22744 (java) S 22738 22740 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22745] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22745/stat : 22745 (java) S 22738 22740 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155871933 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22746] ppid=22738 vsize=915460 CPUtime=0.22
/proc/22740/task/22746/stat : 22746 (java) S 22738 22740 22561 0 -1 64 374 0 0 0 21 1 0 0 16 0 8 0 155871933 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22747] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22747/stat : 22747 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155871933 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22748] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22748/stat : 22748 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155871933 937431040 17127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.18216 s]
/proc/loadavg: 1.85 1.95 1.97 3/100 22748
/proc/meminfo: memFree=1088544/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=915460 CPUtime=6.1
/proc/22740/stat : 22740 (java) R 22738 22740 22561 0 -1 0 17403 0 1 0 600 10 0 0 25 0 8 0 155871925 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22740/statm: 228865 17137 2517 14 0 215335 0
[pid=22740/tid=22742] ppid=22738 vsize=915460 CPUtime=0.06
/proc/22740/task/22742/stat : 22742 (java) S 22738 22740 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155871929 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22743] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22743/stat : 22743 (java) S 22738 22740 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22744] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22744/stat : 22744 (java) S 22738 22740 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22745] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22745/stat : 22745 (java) S 22738 22740 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22746] ppid=22738 vsize=915460 CPUtime=0.23
/proc/22740/task/22746/stat : 22746 (java) S 22738 22740 22561 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22747] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22747/stat : 22747 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22748] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22748/stat : 22748 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6624 s]
/proc/loadavg: 1.88 1.96 1.97 3/100 22748
/proc/meminfo: memFree=1088736/2055920 swapFree=4171232/4192956
[pid=22740] ppid=22738 vsize=915460 CPUtime=12.52
/proc/22740/stat : 22740 (java) R 22738 22740 22561 0 -1 0 17403 0 1 0 1242 10 0 0 25 0 8 0 155871925 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22740/statm: 228865 17137 2517 14 0 215335 0
[pid=22740/tid=22742] ppid=22738 vsize=915460 CPUtime=0.06
/proc/22740/task/22742/stat : 22742 (java) S 22738 22740 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155871929 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22743] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22743/stat : 22743 (java) S 22738 22740 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22744] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22744/stat : 22744 (java) S 22738 22740 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155871930 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22745] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22745/stat : 22745 (java) S 22738 22740 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22746] ppid=22738 vsize=915460 CPUtime=0.23
/proc/22740/task/22746/stat : 22746 (java) S 22738 22740 22561 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22747] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22747/stat : 22747 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22740/tid=22748] ppid=22738 vsize=915460 CPUtime=0
/proc/22740/task/22748/stat : 22748 (java) S 22738 22740 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155871933 937431040 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 21.0921
CPU time (s): 20.8628
CPU user time (s): 20.7478
CPU system time (s): 0.114982
CPU usage (%): 98.9132
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.7478
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17411
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= 1417
involuntary context switches= 2458
runsolver used 0.028995 s user time and 0.076988 s system time
The end
Begin job on node19 on Sat Jan 6 09:12:53 UTC 2007
IDJOB= 208601
IDBENCH= 4414
FILE ID= node19/208601-1168074773
PBS_JOBID= 3475785
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208601-1168074773/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-208601-1168074773 -o ROOT/results/node19/solver-208601-1168074773 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208601-1168074773/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6f549300a11f65286b80025d60d2f5e1
RANDOM SEED= 728666528
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: 1147960 kB
Buffers: 70140 kB
Cached: 581736 kB
SwapCached: 10036 kB
Active: 400632 kB
Inactive: 406068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1147960 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 3232 kB
Writeback: 0 kB
Mapped: 174120 kB
Slab: 85516 kB
Committed_AS: 4376800 kB
PageTables: 2652 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= 66303 MiB
End job on node19 on Sat Jan 6 09:13:14 UTC 2007