0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208717-1168189546/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.08 mem=6M951
0.41
0.41 relations being loaded...
0.67
0.67 constraints being loaded...
0.82 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
0.82 => wckTime=0.506 cpuTime=0.44 mem=41M374
0.90
0.90 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.755 cpuTime=0.58 mem=20M993
1.14
1.14 preprocessing
1.14 nbConstraintChecks=19352 nbValidityChecks=30186 nbPropagations=153 nbRevisions=1460 nbUselessRevisions=1229
1.14 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.14 => wckTime=0.07 cpuTime=0.05 mem=20M993
1.21
1.21 search
1.21 run=0 nbConstraintChecks=31509 nbValidityChecks=58045 nbPropagations=507 nbRevisions=4992
1.21 nbUselessRevisions=3915 nbAssignments=32 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=57
1.21 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.136 cpuTime=0.1 mem=21M996
1.26
1.26 search
1.26 run=1 nbConstraintChecks=66033 nbValidityChecks=132617 nbPropagations=1510 nbRevisions=15341
1.26 nbUselessRevisions=12016 nbAssignments=82 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=147
1.26 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.192 cpuTime=0.16 mem=21M996
1.40
1.40 search
1.40 run=2 nbConstraintChecks=165722 nbValidityChecks=327126 nbPropagations=3487 nbRevisions=38268
1.40 nbUselessRevisions=29928 nbAssignments=165 nbFailedAssignments=108 nbBacktracks=47 nbVisitedNodes=306
1.40 nbRestartNogoods=8 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.327 cpuTime=0.29 mem=21M996
1.50
1.50 search
1.50 run=3 nbConstraintChecks=243742 nbValidityChecks=487884 nbPropagations=6653 nbRevisions=74144
1.50 nbUselessRevisions=57945 nbAssignments=267 nbFailedAssignments=173 nbBacktracks=82 nbVisitedNodes=502
1.50 nbRestartNogoods=13 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.433 cpuTime=0.39 mem=21M996
1.76
1.76 search
1.76 run=4 nbConstraintChecks=451227 nbValidityChecks=909840 nbPropagations=11916 nbRevisions=137619
1.76 nbUselessRevisions=107436 nbAssignments=464 nbFailedAssignments=318 nbBacktracks=132 nbVisitedNodes=884
1.76 nbRestartNogoods=14 mapSize=125 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.686 cpuTime=0.64 mem=21M996
2.03
2.03 search
2.03 run=5 nbConstraintChecks=669173 nbValidityChecks=1344069 nbPropagations=19899 nbRevisions=231917
2.03 nbUselessRevisions=180577 nbAssignments=713 nbFailedAssignments=489 nbBacktracks=207 nbVisitedNodes=1360
2.03 nbRestartNogoods=18 mapSize=195 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.963 cpuTime=0.91 mem=21M996
2.45
2.45 search
2.45 run=6 nbConstraintChecks=1013373 nbValidityChecks=2002651 nbPropagations=32335 nbRevisions=375629
2.45 nbUselessRevisions=291519 nbAssignments=1089 nbFailedAssignments=744 nbBacktracks=320 nbVisitedNodes=2066
2.45 nbRestartNogoods=22 mapSize=303 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=1.379 cpuTime=1.32 mem=21M996
3.13
3.13 search
3.13 run=7 nbConstraintChecks=1583020 nbValidityChecks=3103952 nbPropagations=50911 nbRevisions=592750
3.13 nbUselessRevisions=459082 nbAssignments=1552 nbFailedAssignments=1036 nbBacktracks=490 nbVisitedNodes=2954
3.13 nbRestartNogoods=26 mapSize=465 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=2.057 cpuTime=1.98 mem=21M996
4.03
4.03 search
4.03 run=8 nbConstraintChecks=2360222 nbValidityChecks=4579363 nbPropagations=79290 nbRevisions=917347
4.03 nbUselessRevisions=708969 nbAssignments=2331 nbFailedAssignments=1554 nbBacktracks=746 nbVisitedNodes=4452
4.03 nbRestartNogoods=29 mapSize=713 nbInferences=0 nbTooLargeKeys=0
4.03 => wckTime=2.957 cpuTime=2.87 mem=21M996
5.40
5.40 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=21M996)
5.52
5.52 search
5.52 run=9 nbConstraintChecks=3702793 nbValidityChecks=7169219 nbPropagations=121331 nbRevisions=1410418
5.52 nbUselessRevisions=1089251 nbAssignments=3398 nbFailedAssignments=2219 nbBacktracks=1130 nbVisitedNodes=6463
5.52 nbRestartNogoods=42
5.52 => wckTime=4.448 cpuTime=4.36 mem=21M996
7.59
7.59 search
7.59 run=10 nbConstraintChecks=5529880 nbValidityChecks=10707466 nbPropagations=183443 nbRevisions=2143181
7.59 nbUselessRevisions=1656251 nbAssignments=5014 nbFailedAssignments=3256 nbBacktracks=1707 nbVisitedNodes=9539
7.59 nbRestartNogoods=53
7.59 => wckTime=6.52 cpuTime=6.42 mem=21M996
10.22
10.22 search
10.22 run=11 nbConstraintChecks=7842302 nbValidityChecks=15332094 nbPropagations=273687 nbRevisions=3196493
10.22 nbUselessRevisions=2473917 nbAssignments=7540 nbFailedAssignments=4915 nbBacktracks=2571 nbVisitedNodes=14277
10.22 nbRestartNogoods=61
10.22 => wckTime=9.149 cpuTime=9.05 mem=21M996
14.89
14.89 search
14.89 run=12 nbConstraintChecks=12111267 nbValidityChecks=23538886 nbPropagations=412032 nbRevisions=4812816
14.89 nbUselessRevisions=3725121 nbAssignments=11479 nbFailedAssignments=7546 nbBacktracks=3868 nbVisitedNodes=21856
14.89 nbRestartNogoods=80
14.89 => wckTime=13.82 cpuTime=13.71 mem=21M996
21.26
21.27 search
21.27 run=13 nbConstraintChecks=17752406 nbValidityChecks=34641736 nbPropagations=615733 nbRevisions=7189489
21.27 nbUselessRevisions=5569082 nbAssignments=16794 nbFailedAssignments=10913 nbBacktracks=5814 nbVisitedNodes=31902
21.27 nbRestartNogoods=102
21.27 => wckTime=20.195 cpuTime=20.08 mem=21M996
31.85
31.85 search
31.85 run=14 nbConstraintChecks=27222377 nbValidityChecks=53072139 nbPropagations=921305 nbRevisions=10785695
31.85 nbUselessRevisions=8366906 nbAssignments=25023 nbFailedAssignments=16217 nbBacktracks=8733 nbVisitedNodes=47567
31.85 nbRestartNogoods=121
31.85 => wckTime=30.779 cpuTime=30.66 mem=21M996
39.37
39.37 search
39.37 run=15 nbConstraintChecks=33958474 nbValidityChecks=66298705 nbPropagations=1298696 nbRevisions=15248778
39.37 nbUselessRevisions=11844530 nbAssignments=30786 nbFailedAssignments=19958 nbBacktracks=10735
39.37 nbVisitedNodes=58581 nbRestartNogoods=134
39.37 => wckTime=38.299 cpuTime=38.15 mem=21M996
39.37
39.37 global
39.37 nbConstraintChecks=33977826 nbValidityChecks=66328891 nbPropagations=1298849 nbRevisions=15250238
39.37 nbUselessRevisions=11845759 nbRestartNogoods=134 solvingWckTime=38.3 solvingCpuTime=38.15 expiredTime=no
39.37 totalExploration=no nbFoundSolutions=1 globalCpuTime=38.79
39.37 => wckTime=39.058 cpuTime=38.73 mem=21M996
39.37
39.37 s SATISFIABLE
39.37 v 9 11 11 0 7 4 1 3 14 13 0 19 10 18 10 6 14 5 10 7
39.37 d NODES 30786
39.37 d CHECKS 33977826
39.37
39.38 totalWckTime=39.139 totalCpuTime=38.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-208717-1168189546 -o ROOT/results/node6/solver-208717-1168189546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208717-1168189546/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.89 1.99 1.99 4/87 17139
/proc/meminfo: memFree=1242848/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=172 CPUtime=0
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 167350041 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 0 0 0
/proc/17138/statm: 43 24 18 14 0 3 0
[startup+0.107456 s]
/proc/loadavg: 1.89 1.99 1.99 4/87 17139
/proc/meminfo: memFree=1242848/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=914988 CPUtime=0.07
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 2980 0 1 0 6 1 0 0 22 0 8 0 167350041 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228747 2728 1424 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515502 s]
/proc/loadavg: 1.89 1.99 1.99 4/87 17139
/proc/meminfo: memFree=1242848/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=915328 CPUtime=0.48
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 7706 0 1 0 43 5 0 0 25 0 8 0 167350041 937295872 7445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228832 7447 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3366 s]
/proc/loadavg: 1.89 1.99 1.99 3/94 17146
/proc/meminfo: memFree=1186472/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=915460 CPUtime=1.3
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 16804 0 1 0 121 9 0 0 25 0 8 0 167350041 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228865 16542 2527 14 0 215335 0
[pid=17138/tid=17140] ppid=17136 vsize=915460 CPUtime=0.06
/proc/17138/task/17140/stat : 17140 (java) S 17136 17138 16247 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167350045 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17141] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17141/stat : 17141 (java) S 17136 17138 16247 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17142] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17142/stat : 17142 (java) S 17136 17138 16247 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17143] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17143/stat : 17143 (java) S 17136 17138 16247 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167350049 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17144] ppid=17136 vsize=915460 CPUtime=0.17
/proc/17138/task/17144/stat : 17144 (java) S 17136 17138 16247 0 -1 64 357 0 0 0 17 0 0 0 15 0 8 0 167350049 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17145] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17145/stat : 17145 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167350049 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17146] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17146/stat : 17146 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167350049 937431040 16542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97479 s]
/proc/loadavg: 1.89 1.99 1.99 3/94 17146
/proc/meminfo: memFree=1186344/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=915460 CPUtime=2.93
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 16816 0 1 0 284 9 0 0 25 0 8 0 167350041 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738957 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228865 16552 2527 14 0 215335 0
[pid=17138/tid=17140] ppid=17136 vsize=915460 CPUtime=0.06
/proc/17138/task/17140/stat : 17140 (java) S 17136 17138 16247 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 167350045 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17141] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17141/stat : 17141 (java) S 17136 17138 16247 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17142] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17142/stat : 17142 (java) S 17136 17138 16247 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17143] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17143/stat : 17143 (java) S 17136 17138 16247 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167350049 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17144] ppid=17136 vsize=915460 CPUtime=0.19
/proc/17138/task/17144/stat : 17144 (java) S 17136 17138 16247 0 -1 64 367 0 0 0 19 0 0 0 15 0 8 0 167350049 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17145] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17145/stat : 17145 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167350049 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17146] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17146/stat : 17146 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167350049 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.18317 s]
/proc/loadavg: 1.90 1.99 1.99 3/94 17146
/proc/meminfo: memFree=1186088/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=915460 CPUtime=6.15
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 16830 0 1 0 605 10 0 0 25 0 8 0 167350041 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228865 16564 2527 14 0 215335 0
[pid=17138/tid=17140] ppid=17136 vsize=915460 CPUtime=0.06
/proc/17138/task/17140/stat : 17140 (java) S 17136 17138 16247 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167350045 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17141] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17141/stat : 17141 (java) S 17136 17138 16247 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17142] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17142/stat : 17142 (java) S 17136 17138 16247 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17143] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17143/stat : 17143 (java) S 17136 17138 16247 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167350049 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17144] ppid=17136 vsize=915460 CPUtime=0.22
/proc/17138/task/17144/stat : 17144 (java) S 17136 17138 16247 0 -1 64 380 0 0 0 22 0 0 0 16 0 8 0 167350049 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17145] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17145/stat : 17145 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167350049 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17146] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17146/stat : 17146 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167350049 937431040 16564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.6629 s]
/proc/loadavg: 1.91 1.99 1.99 3/94 17146
/proc/meminfo: memFree=1185768/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=915460 CPUtime=12.62
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 16834 0 1 0 1252 10 0 0 25 0 8 0 167350041 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228865 16567 2527 14 0 215335 0
[pid=17138/tid=17140] ppid=17136 vsize=915460 CPUtime=0.06
/proc/17138/task/17140/stat : 17140 (java) S 17136 17138 16247 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167350045 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17141] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17141/stat : 17141 (java) S 17136 17138 16247 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17142] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17142/stat : 17142 (java) S 17136 17138 16247 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17143] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17143/stat : 17143 (java) S 17136 17138 16247 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17144] ppid=17136 vsize=915460 CPUtime=0.23
/proc/17138/task/17144/stat : 17144 (java) S 17136 17138 16247 0 -1 64 383 0 0 0 23 0 0 0 15 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17145] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17145/stat : 17145 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17146] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17146/stat : 17146 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.5384 s]
/proc/loadavg: 1.93 1.99 1.99 3/94 17146
/proc/meminfo: memFree=1185192/2055924 swapFree=4165672/4192956
[pid=17138] ppid=17136 vsize=915460 CPUtime=25.49
/proc/17138/stat : 17138 (java) R 17136 17138 16247 0 -1 0 16834 0 1 0 2539 10 0 0 25 0 8 0 167350041 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17138/statm: 228865 16567 2527 14 0 215335 0
[pid=17138/tid=17140] ppid=17136 vsize=915460 CPUtime=0.06
/proc/17138/task/17140/stat : 17140 (java) S 17136 17138 16247 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167350045 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17141] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17141/stat : 17141 (java) S 17136 17138 16247 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17142] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17142/stat : 17142 (java) S 17136 17138 16247 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167350045 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17143] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17143/stat : 17143 (java) S 17136 17138 16247 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17144] ppid=17136 vsize=915460 CPUtime=0.23
/proc/17138/task/17144/stat : 17144 (java) S 17136 17138 16247 0 -1 64 383 0 0 0 23 0 0 0 15 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17145] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17145/stat : 17145 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17138/tid=17146] ppid=17136 vsize=915460 CPUtime=0
/proc/17138/task/17146/stat : 17146 (java) S 17136 17138 16247 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167350049 937431040 16567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 39.4436
CPU time (s): 39.315
CPU user time (s): 39.199
CPU system time (s): 0.115982
CPU usage (%): 99.674
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.199
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16843
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= 1924
involuntary context switches= 3112
runsolver used 0.052991 s user time and 0.132979 s system time
The end
Begin job on node6 on Sun Jan 7 17:05:46 UTC 2007
IDJOB= 208717
IDBENCH= 4428
FILE ID= node6/208717-1168189546
PBS_JOBID= 3478973
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208717-1168189546/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-208717-1168189546 -o ROOT/results/node6/solver-208717-1168189546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208717-1168189546/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3d1b6725db62d62d93fa0b4098d2359
RANDOM SEED= 197552672
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.240
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.240
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: 2055924 kB
MemFree: 1243328 kB
Buffers: 71612 kB
Cached: 557548 kB
SwapCached: 2424 kB
Active: 221936 kB
Inactive: 505936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1243328 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 3264 kB
Writeback: 0 kB
Mapped: 109540 kB
Slab: 69340 kB
Committed_AS: 4821264 kB
PageTables: 2508 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= 66540 MiB
End job on node6 on Sun Jan 7 17:06:26 UTC 2007