0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/218223-1168251829/unknown.xml
0.47
0.47 domains being loaded...
0.47
0.47 variables being loaded...
0.51 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.51 => wckTime=0.186 cpuTime=0.09 mem=6M951
0.51
0.51 relations being loaded...
0.79
0.79 constraints being loaded...
0.96 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.96 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
0.96 => wckTime=0.638 cpuTime=0.51 mem=43M600
1.04
1.04 solver IterativeSystematicSolver being built...
1.22 => wckTime=0.903 cpuTime=0.65 mem=21M261
1.30
1.30 preprocessing
1.30 nbConstraintChecks=19349 nbValidityChecks=30289 nbPropagations=155 nbRevisions=1550 nbUselessRevisions=1294
1.30 nbSingletonTests=24 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.30 => wckTime=0.076 cpuTime=0.05 mem=21M261
1.35
1.35 search
1.35 run=0 nbConstraintChecks=17237 nbValidityChecks=32451 nbPropagations=369 nbRevisions=3870
1.35 nbUselessRevisions=3149 nbAssignments=24 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=41
1.35 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.124 cpuTime=0.08 mem=22M245
1.40
1.40 search
1.40 run=1 nbConstraintChecks=49889 nbValidityChecks=93970 nbPropagations=1146 nbRevisions=12022
1.40 nbUselessRevisions=9665 nbAssignments=59 nbFailedAssignments=28 nbBacktracks=27 nbVisitedNodes=103
1.40 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.175 cpuTime=0.13 mem=22M245
1.46
1.46 search
1.46 run=2 nbConstraintChecks=87024 nbValidityChecks=166423 nbPropagations=2412 nbRevisions=25304
1.46 nbUselessRevisions=20158 nbAssignments=110 nbFailedAssignments=53 nbBacktracks=51 nbVisitedNodes=190
1.46 nbRestartNogoods=4 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.236 cpuTime=0.19 mem=22M245
1.62
1.62 search
1.62 run=3 nbConstraintChecks=199776 nbValidityChecks=381492 nbPropagations=4807 nbRevisions=53159
1.62 nbUselessRevisions=42218 nbAssignments=222 nbFailedAssignments=128 nbBacktracks=84 nbVisitedNodes=406
1.62 nbRestartNogoods=6 mapSize=71 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.393 cpuTime=0.33 mem=22M245
1.75
1.75 search
1.75 run=4 nbConstraintChecks=295550 nbValidityChecks=567846 nbPropagations=8460 nbRevisions=94646
1.75 nbUselessRevisions=74830 nbAssignments=348 nbFailedAssignments=191 nbBacktracks=136 nbVisitedNodes=615
1.75 nbRestartNogoods=14 mapSize=114 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.523 cpuTime=0.46 mem=22M245
2.01
2.01 search
2.01 run=5 nbConstraintChecks=493426 nbValidityChecks=934449 nbPropagations=14208 nbRevisions=159495
2.01 nbUselessRevisions=125422 nbAssignments=511 nbFailedAssignments=267 nbBacktracks=212 nbVisitedNodes=902
2.01 nbRestartNogoods=22 mapSize=186 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.786 cpuTime=0.72 mem=22M245
2.45
2.45 search
2.45 run=6 nbConstraintChecks=846952 nbValidityChecks=1603025 nbPropagations=23599 nbRevisions=269927
2.45 nbUselessRevisions=212015 nbAssignments=823 nbFailedAssignments=461 nbBacktracks=325 nbVisitedNodes=1495
2.45 nbRestartNogoods=25 mapSize=292 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=1.225 cpuTime=1.15 mem=22M245
2.90
2.90 search
2.90 run=7 nbConstraintChecks=1195967 nbValidityChecks=2273841 nbPropagations=37451 nbRevisions=428565
2.90 nbUselessRevisions=336599 nbAssignments=1258 nbFailedAssignments=689 nbBacktracks=495 nbVisitedNodes=2226
2.90 nbRestartNogoods=35 mapSize=426 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=1.673 cpuTime=1.59 mem=22M245
3.77
3.77 search
3.77 run=8 nbConstraintChecks=1869148 nbValidityChecks=3493515 nbPropagations=58156 nbRevisions=664470
3.77 nbUselessRevisions=521058 nbAssignments=1851 nbFailedAssignments=981 nbBacktracks=753 nbVisitedNodes=3228
3.77 nbRestartNogoods=50 mapSize=648 nbInferences=0 nbTooLargeKeys=0
3.77 => wckTime=2.54 cpuTime=2.43 mem=22M245
4.93
4.93 search
4.93 run=9 nbConstraintChecks=2812387 nbValidityChecks=5218257 nbPropagations=89052 nbRevisions=1012597
4.93 nbUselessRevisions=792526 nbAssignments=2694 nbFailedAssignments=1437 nbBacktracks=1138 nbVisitedNodes=4764
4.93 nbRestartNogoods=58 mapSize=980 nbInferences=0 nbTooLargeKeys=0
4.93 => wckTime=3.706 cpuTime=3.6 mem=22M245
5.16
5.16 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=22M245)
6.94
6.94 search
6.94 run=10 nbConstraintChecks=4502314 nbValidityChecks=8489002 nbPropagations=138723 nbRevisions=1582982
6.94 nbUselessRevisions=1238333 nbAssignments=4382 nbFailedAssignments=2544 nbBacktracks=1714 nbVisitedNodes=7994
6.94 nbRestartNogoods=69
6.94 => wckTime=5.71 cpuTime=5.58 mem=22M245
8.65
8.65 search
8.65 run=11 nbConstraintChecks=5936902 nbValidityChecks=11225129 nbPropagations=207361 nbRevisions=2353239
8.65 nbUselessRevisions=1839036 nbAssignments=6170 nbFailedAssignments=3466 nbBacktracks=2578 nbVisitedNodes=11193
8.65 nbRestartNogoods=78
8.65 => wckTime=7.421 cpuTime=7.28 mem=22M245
12.02
12.02 search
12.02 run=12 nbConstraintChecks=8737529 nbValidityChecks=16292671 nbPropagations=306222 nbRevisions=3457734
12.02 nbUselessRevisions=2698714 nbAssignments=8772 nbFailedAssignments=4765 nbBacktracks=3877 nbVisitedNodes=15833
12.02 nbRestartNogoods=98
12.02 => wckTime=10.794 cpuTime=10.64 mem=22M245
17.23
17.23 search
17.23 run=13 nbConstraintChecks=13203885 nbValidityChecks=24613475 nbPropagations=455696 nbRevisions=5129102
17.23 nbUselessRevisions=4000932 nbAssignments=13293 nbFailedAssignments=7337 nbBacktracks=5823 nbVisitedNodes=24149
17.23 nbRestartNogoods=117
17.23 => wckTime=16.003 cpuTime=15.82 mem=22M245
25.84
25.84 search
25.84 run=14 nbConstraintChecks=20549844 nbValidityChecks=38256336 nbPropagations=682845 nbRevisions=7708865
25.84 nbUselessRevisions=6012400 nbAssignments=20216 nbFailedAssignments=11338 nbBacktracks=8742 nbVisitedNodes=36928
25.84 nbRestartNogoods=128
25.84 => wckTime=24.614 cpuTime=24.39 mem=22M245
37.08
37.08 search
37.08 run=15 nbConstraintChecks=30042075 nbValidityChecks=55679809 nbPropagations=1017349 nbRevisions=11453813
37.08 nbUselessRevisions=8928263 nbAssignments=29615 nbFailedAssignments=16356 nbBacktracks=13121
37.08 nbVisitedNodes=54014 nbRestartNogoods=143
37.08 => wckTime=35.855 cpuTime=35.57 mem=22M245
41.81
41.81 search
41.81 run=16 nbConstraintChecks=34143602 nbValidityChecks=63569230 nbPropagations=1394810 nbRevisions=15710280
41.81 nbUselessRevisions=12247489 nbAssignments=33737 nbFailedAssignments=18963 nbBacktracks=14613
41.81 nbVisitedNodes=61788 nbRestartNogoods=164
41.81 => wckTime=40.588 cpuTime=40.28 mem=22M245
41.82
41.82 global
41.82 nbConstraintChecks=34162951 nbValidityChecks=63599519 nbPropagations=1394965 nbRevisions=15711830
41.82 nbUselessRevisions=12248783 nbRestartNogoods=164 solvingWckTime=40.589 solvingCpuTime=40.28 expiredTime=no
41.82 totalExploration=no nbFoundSolutions=1 globalCpuTime=40.98
41.82 => wckTime=41.495 cpuTime=40.93 mem=22M245
41.82
41.82 s SATISFIABLE
41.82 v 12 12 15 3 2 7 13 13 17 10 8 16 3 11 17 7 19 2 6 13
41.82 d NODES 33737
41.82 d CHECKS 34162951
41.82
41.82 totalWckTime=41.576 totalCpuTime=40.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-218223-1168251829 -o ROOT/results/node12/solver-218223-1168251829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218223-1168251829/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: 2.07 2.04 1.99 3/87 21550
/proc/meminfo: memFree=1691664/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=18540 CPUtime=0
/proc/21549/stat : 21549 (runsolver) R 21547 21549 21150 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173577918 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21549/statm: 4635 279 244 17 0 2626 0
[startup+0.102709 s]
/proc/loadavg: 2.07 2.04 1.99 3/87 21550
/proc/meminfo: memFree=1691664/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=913228 CPUtime=0.08
/proc/21549/stat : 21549 (java) S 21547 21549 21150 0 -1 0 2899 0 1 0 7 1 0 0 17 0 8 0 173577918 935145472 2645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228307 2645 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.514783 s]
/proc/loadavg: 2.07 2.04 1.99 3/87 21550
/proc/meminfo: memFree=1691664/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=915328 CPUtime=0.41
/proc/21549/stat : 21549 (java) R 21547 21549 21150 0 -1 0 6108 0 1 0 38 3 0 0 18 0 8 0 173577918 937295872 5847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228832 5847 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.34093 s]
/proc/loadavg: 2.07 2.04 1.99 4/94 21557
/proc/meminfo: memFree=1633176/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=915460 CPUtime=1.22
/proc/21549/stat : 21549 (java) R 21547 21549 21150 0 -1 0 17381 0 1 0 113 9 0 0 24 0 8 0 173577918 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228865 17119 2527 14 0 215335 0
[pid=21549/tid=21551] ppid=21547 vsize=915460 CPUtime=0.07
/proc/21549/task/21551/stat : 21551 (java) S 21547 21549 21150 0 -1 64 1839 0 0 0 7 0 0 0 17 0 8 0 173577922 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21552] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21552/stat : 21552 (java) S 21547 21549 21150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21553] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21553/stat : 21553 (java) S 21547 21549 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21554] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21554/stat : 21554 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173577926 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21555] ppid=21547 vsize=915460 CPUtime=0.16
/proc/21549/task/21555/stat : 21555 (java) S 21547 21549 21150 0 -1 64 351 0 0 0 15 1 0 0 15 0 8 0 173577926 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21556] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21556/stat : 21556 (java) S 21547 21549 21150 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173577926 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21557] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21557/stat : 21557 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173577926 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915460
[startup+2.97823 s]
/proc/loadavg: 2.07 2.04 1.99 3/94 21557
/proc/meminfo: memFree=1632728/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=915460 CPUtime=2.86
/proc/21549/stat : 21549 (java) R 21547 21549 21150 0 -1 0 17398 0 1 0 276 10 0 0 25 0 8 0 173577918 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228865 17135 2527 14 0 215335 0
[pid=21549/tid=21551] ppid=21547 vsize=915460 CPUtime=0.07
/proc/21549/task/21551/stat : 21551 (java) S 21547 21549 21150 0 -1 64 1839 0 0 0 7 0 0 0 17 0 8 0 173577922 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21552] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21552/stat : 21552 (java) S 21547 21549 21150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21553] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21553/stat : 21553 (java) S 21547 21549 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21554] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21554/stat : 21554 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173577926 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21555] ppid=21547 vsize=915460 CPUtime=0.2
/proc/21549/task/21555/stat : 21555 (java) S 21547 21549 21150 0 -1 64 367 0 0 0 19 1 0 0 15 0 8 0 173577926 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21556] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21556/stat : 21556 (java) S 21547 21549 21150 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173577926 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21557] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21557/stat : 21557 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173577926 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915460
[startup+6.18281 s]
/proc/loadavg: 2.07 2.04 1.99 3/94 21557
/proc/meminfo: memFree=1632664/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=915460 CPUtime=6.04
/proc/21549/stat : 21549 (java) R 21547 21549 21150 0 -1 0 17415 0 1 0 594 10 0 0 25 0 8 0 173577918 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228865 17149 2527 14 0 215335 0
[pid=21549/tid=21551] ppid=21547 vsize=915460 CPUtime=0.07
/proc/21549/task/21551/stat : 21551 (java) S 21547 21549 21150 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173577922 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21552] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21552/stat : 21552 (java) S 21547 21549 21150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21553] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21553/stat : 21553 (java) S 21547 21549 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21554] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21554/stat : 21554 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173577926 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21555] ppid=21547 vsize=915460 CPUtime=0.22
/proc/21549/task/21555/stat : 21555 (java) S 21547 21549 21150 0 -1 64 383 0 0 0 21 1 0 0 17 0 8 0 173577926 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21556] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21556/stat : 21556 (java) S 21547 21549 21150 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173577926 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21557] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21557/stat : 21557 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173577926 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915460
[startup+12.665 s]
/proc/loadavg: 2.06 2.04 1.99 3/94 21557
/proc/meminfo: memFree=1632672/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=915460 CPUtime=12.49
/proc/21549/stat : 21549 (java) R 21547 21549 21150 0 -1 0 17418 0 1 0 1239 10 0 0 25 0 8 0 173577918 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228865 17151 2527 14 0 215335 0
[pid=21549/tid=21551] ppid=21547 vsize=915460 CPUtime=0.07
/proc/21549/task/21551/stat : 21551 (java) S 21547 21549 21150 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173577922 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21552] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21552/stat : 21552 (java) S 21547 21549 21150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21553] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21553/stat : 21553 (java) S 21547 21549 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21554] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21554/stat : 21554 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21555] ppid=21547 vsize=915460 CPUtime=0.23
/proc/21549/task/21555/stat : 21555 (java) S 21547 21549 21150 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21556] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21556/stat : 21556 (java) S 21547 21549 21150 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21557] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21557/stat : 21557 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915460
[startup+25.5363 s]
/proc/loadavg: 2.05 2.03 1.99 3/94 21557
/proc/meminfo: memFree=1632800/2055920 swapFree=4160348/4192956
[pid=21549] ppid=21547 vsize=915460 CPUtime=25.3
/proc/21549/stat : 21549 (java) R 21547 21549 21150 0 -1 0 17418 0 1 0 2520 10 0 0 25 0 8 0 173577918 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21549/statm: 228865 17151 2527 14 0 215335 0
[pid=21549/tid=21551] ppid=21547 vsize=915460 CPUtime=0.07
/proc/21549/task/21551/stat : 21551 (java) S 21547 21549 21150 0 -1 64 1839 0 0 0 7 0 0 0 16 0 8 0 173577922 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21552] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21552/stat : 21552 (java) S 21547 21549 21150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21553] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21553/stat : 21553 (java) S 21547 21549 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173577923 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21554] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21554/stat : 21554 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21555] ppid=21547 vsize=915460 CPUtime=0.23
/proc/21549/task/21555/stat : 21555 (java) S 21547 21549 21150 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21556] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21556/stat : 21556 (java) S 21547 21549 21150 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21549/tid=21557] ppid=21547 vsize=915460 CPUtime=0
/proc/21549/task/21557/stat : 21557 (java) S 21547 21549 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173577926 937431040 17151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 41.8618
CPU time (s): 41.5317
CPU user time (s): 41.4077
CPU system time (s): 0.123981
CPU usage (%): 99.2114
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4077
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17426
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= 1914
involuntary context switches= 3096
runsolver used 0.036994 s user time and 0.156976 s system time
The end
Begin job on node12 on Mon Jan 8 10:23:49 UTC 2007
IDJOB= 218223
IDBENCH= 5214
FILE ID= node12/218223-1168251829
PBS_JOBID= 3481662
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218223-1168251829/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-218223-1168251829 -o ROOT/results/node12/solver-218223-1168251829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218223-1168251829/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c27e56abe268e3f242bac62371ab4a73
RANDOM SEED= 960867786
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.265
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.265
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: 1692080 kB
Buffers: 38328 kB
Cached: 101448 kB
SwapCached: 5132 kB
Active: 245456 kB
Inactive: 68112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1692080 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2996 kB
Writeback: 0 kB
Mapped: 184060 kB
Slab: 34944 kB
Committed_AS: 5070316 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= 66321 MiB
End job on node12 on Mon Jan 8 10:24:31 UTC 2007