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/202675-1168153344/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2928 maxDegree=24
0.61 maxArity=2
0.61 => wckTime=0.304 cpuTime=0.22 mem=12M803
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.498 cpuTime=0.34 mem=15M16
0.86
0.86 preprocessing
0.86 nbConstraintChecks=73219 nbPropagations=982 nbRevisions=7332 nbUselessRevisions=5985 nbSingletonTests=54
0.86 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.05 cpuTime=0.04 mem=15M16
0.88
0.88 search
0.88 run=0 nbConstraintChecks=32851 nbPropagations=1478 nbRevisions=13361 nbUselessRevisions=10874 nbAssignments=26
0.88 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.074 cpuTime=0.06 mem=15M16
0.90
0.90 search
0.90 run=1 nbConstraintChecks=77821 nbPropagations=3581 nbRevisions=34427 nbUselessRevisions=27922 nbAssignments=61
0.90 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=98 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.092 cpuTime=0.07 mem=15M16
0.92
0.92 search
0.92 run=2 nbConstraintChecks=138474 nbPropagations=6555 nbRevisions=67002 nbUselessRevisions=54410
0.92 nbAssignments=110 nbFailedAssignments=42 nbBacktracks=50 nbVisitedNodes=179 nbRestartNogoods=4 mapSize=42
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.109 cpuTime=0.08 mem=15M16
0.94
0.94 search
0.94 run=3 nbConstraintChecks=238501 nbPropagations=10938 nbRevisions=118869 nbUselessRevisions=96684
0.94 nbAssignments=178 nbFailedAssignments=69 nbBacktracks=86 nbVisitedNodes=297 nbRestartNogoods=7 mapSize=74
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.129 cpuTime=0.1 mem=15M16
0.97
0.97 search
0.97 run=4 nbConstraintChecks=390838 nbPropagations=17329 nbRevisions=199457 nbUselessRevisions=162205
0.97 nbAssignments=283 nbFailedAssignments=118 nbBacktracks=136 nbVisitedNodes=486 nbRestartNogoods=10 mapSize=119
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.16 cpuTime=0.13 mem=15M16
1.01
1.01 search
1.01 run=5 nbConstraintChecks=601640 nbPropagations=26473 nbRevisions=317410 nbUselessRevisions=257438
1.01 nbAssignments=417 nbFailedAssignments=172 nbBacktracks=212 nbVisitedNodes=724 nbRestartNogoods=13 mapSize=188
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.202 cpuTime=0.16 mem=15M16
1.06
1.06 search
1.06 run=6 nbConstraintChecks=839720 nbPropagations=39213 nbRevisions=483971 nbUselessRevisions=392301
1.06 nbAssignments=611 nbFailedAssignments=246 nbBacktracks=326 nbVisitedNodes=1058 nbRestartNogoods=17 mapSize=291
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.249 cpuTime=0.21 mem=15M16
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1259131 nbPropagations=57727 nbRevisions=729624 nbUselessRevisions=590990
1.14 nbAssignments=917 nbFailedAssignments=373 nbBacktracks=497 nbVisitedNodes=1590 nbRestartNogoods=25 mapSize=437
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.333 cpuTime=0.28 mem=15M16
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1882380 nbPropagations=84868 nbRevisions=1093057 nbUselessRevisions=884759
1.26 nbAssignments=1355 nbFailedAssignments=548 nbBacktracks=754 nbVisitedNodes=2358 nbRestartNogoods=31
1.26 mapSize=663 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.448 cpuTime=0.39 mem=15M16
1.43
1.43 search
1.43 run=9 nbConstraintChecks=2890068 nbPropagations=124510 nbRevisions=1634581 nbUselessRevisions=1321337
1.43 nbAssignments=1998 nbFailedAssignments=803 nbBacktracks=1139 nbVisitedNodes=3481 nbRestartNogoods=37
1.43 mapSize=992 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.62 cpuTime=0.55 mem=15M16
1.46
1.46 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=15M16)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=4263045 nbPropagations=182796 nbRevisions=2435674 nbUselessRevisions=1967494
1.66 nbAssignments=3017 nbFailedAssignments=1240 nbBacktracks=1716 nbVisitedNodes=5287 nbRestartNogoods=41
1.66 => wckTime=0.847 cpuTime=0.76 mem=15M16
1.95
1.95 search
1.95 run=11 nbConstraintChecks=6177233 nbPropagations=267246 nbRevisions=3608511 nbUselessRevisions=2914086
1.95 nbAssignments=4431 nbFailedAssignments=1786 nbBacktracks=2580 nbVisitedNodes=7749 nbRestartNogoods=51
1.95 => wckTime=1.141 cpuTime=1.05 mem=15M16
2.48
2.48 search
2.48 run=12 nbConstraintChecks=9468724 nbPropagations=396216 nbRevisions=5416174 nbUselessRevisions=4374470
2.48 nbAssignments=6706 nbFailedAssignments=2755 nbBacktracks=3877 nbVisitedNodes=11824 nbRestartNogoods=58
2.48 => wckTime=1.669 cpuTime=1.55 mem=15M16
3.22
3.22 search
3.22 run=13 nbConstraintChecks=14564838 nbPropagations=591786 nbRevisions=8150263 nbUselessRevisions=6578114
3.22 nbAssignments=10117 nbFailedAssignments=4215 nbBacktracks=5824 nbVisitedNodes=17853 nbRestartNogoods=67
3.22 => wckTime=2.413 cpuTime=2.29 mem=15M16
4.39
4.39 search
4.39 run=14 nbConstraintChecks=22552823 nbPropagations=889293 nbRevisions=12369497 nbUselessRevisions=9979950
4.39 nbAssignments=15359 nbFailedAssignments=6531 nbBacktracks=8744 nbVisitedNodes=27249 nbRestartNogoods=77
4.39 => wckTime=3.577 cpuTime=3.45 mem=15M16
5.91
5.91 search
5.91 run=15 nbConstraintChecks=32626513 nbPropagations=1324445 nbRevisions=18525341 nbUselessRevisions=14950098
5.91 nbAssignments=22706 nbFailedAssignments=9494 nbBacktracks=13123 nbVisitedNodes=40069 nbRestartNogoods=82
5.91 => wckTime=5.101 cpuTime=4.95 mem=15M16
8.43
8.43 search
8.43 run=16 nbConstraintChecks=49887751 nbPropagations=1984400 nbRevisions=27883892 nbUselessRevisions=22505041
8.43 nbAssignments=34177 nbFailedAssignments=14390 nbBacktracks=19692 nbVisitedNodes=60444 nbRestartNogoods=89
8.43 => wckTime=7.62 cpuTime=7.45 mem=15M16
11.85
11.85 search
11.85 run=17 nbConstraintChecks=72869247 nbPropagations=2950591 nbRevisions=41575719 nbUselessRevisions=33559904
11.85 nbAssignments=50560 nbFailedAssignments=20913 nbBacktracks=29546 nbVisitedNodes=89033 nbRestartNogoods=97
11.85 => wckTime=11.037 cpuTime=10.83 mem=15M991
17.36
17.36 search
17.36 run=18 nbConstraintChecks=110463714 nbPropagations=4411479 nbRevisions=62194181 nbUselessRevisions=50186198
17.36 nbAssignments=75800 nbFailedAssignments=31366 nbBacktracks=44329 nbVisitedNodes=133625 nbRestartNogoods=108
17.36 => wckTime=16.555 cpuTime=16.3 mem=15M991
25.39
25.39 search
25.39 run=19 nbConstraintChecks=165229981 nbPropagations=6588572 nbRevisions=92993454 nbUselessRevisions=75037178
25.39 nbAssignments=113292 nbFailedAssignments=46683 nbBacktracks=66497 nbVisitedNodes=199482 nbRestartNogoods=118
25.39 => wckTime=24.578 cpuTime=24.27 mem=15M991
37.51
37.51 search
37.51 run=20 nbConstraintChecks=248867055 nbPropagations=9866406 nbRevisions=139437179 nbUselessRevisions=112532798
37.51 nbAssignments=170132 nbFailedAssignments=70244 nbBacktracks=99750 nbVisitedNodes=299886 nbRestartNogoods=136
37.51 => wckTime=36.705 cpuTime=36.4 mem=15M991
55.82
55.82 search
55.82 run=21 nbConstraintChecks=376702452 nbPropagations=14795739 nbRevisions=209387046 nbUselessRevisions=169007062
55.82 nbAssignments=255164 nbFailedAssignments=105389 nbBacktracks=149630 nbVisitedNodes=449776 nbRestartNogoods=149
55.82 => wckTime=55.006 cpuTime=54.69 mem=15M991
82.28
82.28 search
82.28 run=22 nbConstraintChecks=560429719 nbPropagations=22141363 nbRevisions=313370840 nbUselessRevisions=252959092
82.28 nbAssignments=380668 nbFailedAssignments=156069 nbBacktracks=224449 nbVisitedNodes=669424 nbRestartNogoods=169
82.28 => wckTime=81.474 cpuTime=81.15 mem=15M991
100.65
100.65 search
100.65 run=23 nbConstraintChecks=689133577 nbPropagations=31142459 nbRevisions=440888687 nbUselessRevisions=355895013
100.65 nbAssignments=465240 nbFailedAssignments=191045 nbBacktracks=274046 nbVisitedNodes=818321 nbRestartNogoods=180
100.65 => wckTime=99.839 cpuTime=99.5 mem=15M991
100.65
100.65 global
100.65 nbConstraintChecks=689206796 nbPropagations=31143441 nbRevisions=440896019 nbUselessRevisions=355900998
100.65 nbRestartNogoods=180 solvingWckTime=99.84 solvingCpuTime=99.51 expiredTime=no totalExploration=yes
100.65 nbFoundSolutions=0 globalCpuTime=99.91
100.65 => wckTime=100.342 cpuTime=99.85 mem=15M991
100.65
100.65 s UNSATISFIABLE
100.65 d NODES 465240
100.65 d CHECKS 689206796
100.65
100.65 totalWckTime=100.419 totalCpuTime=99.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-202675-1168153344 -o ROOT/results/node76/solver-202675-1168153344 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202675-1168153344/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.08 2.03 2.01 3/87 22722
/proc/meminfo: memFree=1277416/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=18544 CPUtime=0
/proc/22721/stat : 22721 (runsolver) R 22719 22721 21761 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 163731457 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22721/statm: 4636 280 245 17 0 2626 0
[startup+0.112277 s]
/proc/loadavg: 2.08 2.03 2.01 3/87 22722
/proc/meminfo: memFree=1277416/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=914992 CPUtime=0.08
/proc/22721/stat : 22721 (java) S 22719 22721 21761 0 -1 0 2995 0 1 0 7 1 0 0 24 0 8 0 163731457 936951808 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22721/statm: 228748 2743 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.52036 s]
/proc/loadavg: 2.08 2.03 2.01 3/87 22722
/proc/meminfo: memFree=1277416/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915332 CPUtime=0.49
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 6921 0 1 0 45 4 0 0 25 0 8 0 163731457 937299968 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924213 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22721/statm: 228833 6662 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34223 s]
/proc/loadavg: 2.08 2.03 2.01 4/94 22729
/proc/meminfo: memFree=1253424/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915460 CPUtime=1.3
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 8737 0 1 0 123 7 0 0 25 0 8 0 163731457 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22721/statm: 228865 8477 2525 14 0 215334 0
[pid=22721/tid=22723] ppid=22719 vsize=915460 CPUtime=0.03
/proc/22721/task/22723/stat : 22723 (java) S 22719 22721 21761 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163731462 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22724] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22724/stat : 22724 (java) S 22719 22721 21761 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163731462 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22725] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22725/stat : 22725 (java) S 22719 22721 21761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163731462 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22726] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22726/stat : 22726 (java) S 22719 22721 21761 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163731466 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22727] ppid=22719 vsize=915460 CPUtime=0.21
/proc/22721/task/22727/stat : 22727 (java) S 22719 22721 21761 0 -1 64 386 0 0 0 20 1 0 0 15 0 8 0 163731466 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22728] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22728/stat : 22728 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163731466 937431040 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22729] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22729/stat : 22729 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163731466 937431040 8477 18446744073709551615 134512640 134570532 4294956480 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.99756 s]
/proc/loadavg: 2.08 2.03 2.01 4/94 22729
/proc/meminfo: memFree=1253168/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915460 CPUtime=2.92
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 8769 0 1 0 285 7 0 0 25 0 8 0 163731457 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22721/statm: 228865 8508 2525 14 0 215334 0
[pid=22721/tid=22723] ppid=22719 vsize=915460 CPUtime=0.03
/proc/22721/task/22723/stat : 22723 (java) S 22719 22721 21761 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 163731462 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22724] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22724/stat : 22724 (java) S 22719 22721 21761 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163731462 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22725] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22725/stat : 22725 (java) S 22719 22721 21761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163731462 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22726] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22726/stat : 22726 (java) S 22719 22721 21761 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163731466 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22727] ppid=22719 vsize=915460 CPUtime=0.23
/proc/22721/task/22727/stat : 22727 (java) S 22719 22721 21761 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 163731466 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22728] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22728/stat : 22728 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163731466 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22729] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22729/stat : 22729 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163731466 937431040 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.2842 s]
/proc/loadavg: 2.08 2.03 2.01 3/94 22733
/proc/meminfo: memFree=1253040/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915460 CPUtime=6.17
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 8780 0 1 0 610 7 0 0 25 0 8 0 163731457 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22721/statm: 228865 8517 2525 14 0 215334 0
[pid=22721/tid=22723] ppid=22719 vsize=915460 CPUtime=0.03
/proc/22721/task/22723/stat : 22723 (java) S 22719 22721 21761 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163731462 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22724] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22724/stat : 22724 (java) S 22719 22721 21761 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163731462 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22725] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22725/stat : 22725 (java) S 22719 22721 21761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163731462 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22726] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22726/stat : 22726 (java) S 22719 22721 21761 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163731466 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22727] ppid=22719 vsize=915460 CPUtime=0.23
/proc/22721/task/22727/stat : 22727 (java) S 22719 22721 21761 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163731466 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22728] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22728/stat : 22728 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163731466 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22729] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22729/stat : 22729 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163731466 937431040 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460
[startup+12.7595 s]
/proc/loadavg: 2.07 2.03 2.00 3/88 22755
/proc/meminfo: memFree=1254168/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915460 CPUtime=12.57
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 8784 0 1 0 1250 7 0 0 25 0 8 0 163731457 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832683 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22721/statm: 228865 8521 2525 14 0 215334 0
[pid=22721/tid=22723] ppid=22719 vsize=915460 CPUtime=0.03
/proc/22721/task/22723/stat : 22723 (java) S 22719 22721 21761 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163731462 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22724] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22724/stat : 22724 (java) S 22719 22721 21761 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163731462 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22725] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22725/stat : 22725 (java) S 22719 22721 21761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163731462 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22726] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22726/stat : 22726 (java) S 22719 22721 21761 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163731466 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22727] ppid=22719 vsize=915460 CPUtime=0.23
/proc/22721/task/22727/stat : 22727 (java) S 22719 22721 21761 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163731466 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22728] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22728/stat : 22728 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163731466 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22729] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22729/stat : 22729 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163731466 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915460
[startup+25.603 s]
/proc/loadavg: 2.06 2.03 2.00 2/78 22772
/proc/meminfo: memFree=1377328/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915460 CPUtime=25.33
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 8789 0 1 0 2526 7 0 0 25 0 8 0 163731457 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073323881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22721/statm: 228865 8526 2525 14 0 215334 0
[pid=22721/tid=22723] ppid=22719 vsize=915460 CPUtime=0.03
/proc/22721/task/22723/stat : 22723 (java) S 22719 22721 21761 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163731462 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22724] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22724/stat : 22724 (java) S 22719 22721 21761 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163731462 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22725] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22725/stat : 22725 (java) S 22719 22721 21761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163731462 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22726] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22726/stat : 22726 (java) S 22719 22721 21761 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163731466 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22727] ppid=22719 vsize=915460 CPUtime=0.23
/proc/22721/task/22727/stat : 22727 (java) S 22719 22721 21761 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163731466 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22728] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22728/stat : 22728 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163731466 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22729] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22729/stat : 22729 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163731466 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915460
[startup+51.275 s]
/proc/loadavg: 1.69 1.95 1.98 2/77 22776
/proc/meminfo: memFree=1377600/2055888 swapFree=4095388/4096564
[pid=22721] ppid=22719 vsize=915460 CPUtime=51
/proc/22721/stat : 22721 (java) R 22719 22721 21761 0 -1 0 8792 0 1 0 5092 8 0 0 25 0 8 0 163731457 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22721/statm: 228865 8529 2525 14 0 215334 0
[pid=22721/tid=22723] ppid=22719 vsize=915460 CPUtime=0.03
/proc/22721/task/22723/stat : 22723 (java) S 22719 22721 21761 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163731462 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22724] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22724/stat : 22724 (java) S 22719 22721 21761 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163731462 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22725] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22725/stat : 22725 (java) S 22719 22721 21761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163731462 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22726] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22726/stat : 22726 (java) S 22719 22721 21761 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163731466 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22727] ppid=22719 vsize=915460 CPUtime=0.23
/proc/22721/task/22727/stat : 22727 (java) S 22719 22721 21761 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 163731466 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22728] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22728/stat : 22728 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163731466 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22721/tid=22729] ppid=22719 vsize=915460 CPUtime=0
/proc/22721/task/22729/stat : 22729 (java) S 22719 22721 21761 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163731466 937431040 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 100.705
CPU time (s): 100.378
CPU user time (s): 100.289
CPU system time (s): 0.088986
CPU usage (%): 99.6746
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.289
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8889
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= 3216
involuntary context switches= 3971
runsolver used 0.111982 s user time and 0.265959 s system time
The end
Begin job on node76 on Sun Jan 7 07:02:24 UTC 2007
IDJOB= 202675
IDBENCH= 3876
FILE ID= node76/202675-1168153344
PBS_JOBID= 3478415
Free space on /tmp= 66638 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202675-1168153344/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-202675-1168153344 -o ROOT/results/node76/solver-202675-1168153344 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202675-1168153344/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 479f9449235bd0b9c09bd60353b3e5ce
RANDOM SEED= 71386753
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1277704 kB
Buffers: 57184 kB
Cached: 532872 kB
SwapCached: 456 kB
Active: 426312 kB
Inactive: 296476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1277704 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 141240 kB
Slab: 40396 kB
Committed_AS: 6242148 kB
PageTables: 2248 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66647 MiB
End job on node76 on Sun Jan 7 07:04:04 UTC 2007