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/198078-1168126819/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=10 nbDomainTypes=1 minDomainSize=56 maxDomainSize=56
0.41 => wckTime=0.097 cpuTime=0.07 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.70 nbConstraints=375 nbMergedConstraints=540 nbConvertedConstraints=45 nbConvertConstraintsChecks=3136
0.70 nbExtensionStructures=1 nbSharedExtensionStructures=44 nbConflictsStructures=1 nbSharedConflictsStructures=44
0.70 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.70 nbSharedEvaluationManagers=328 maxDegree=129 maxArity=4
0.70 => wckTime=0.39 cpuTime=0.25 mem=13M778
0.74
0.74 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.621 cpuTime=0.42 mem=18M477
1.63
1.63 preprocessing
1.63 nbConstraintChecks=620006 nbValidityChecks=949150 nbPropagations=246 nbRevisions=34858 nbUselessRevisions=33944
1.63 nbSingletonTests=53 nbEffectiveSingletonTests=9 nbESACBranches=14 nbRemovedValues=105 detectedInconsistency=no
1.63 => wckTime=0.695 cpuTime=0.66 mem=18M477
1.92
1.92 search
1.92 run=0 nbConstraintChecks=219236 nbValidityChecks=553800 nbPropagations=475 nbRevisions=66357
1.92 nbUselessRevisions=64275 nbAssignments=62 nbFailedAssignments=47 nbBacktracks=11 nbVisitedNodes=119
1.92 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.981 cpuTime=0.93 mem=18M477
2.76
2.76 search
2.76 run=1 nbConstraintChecks=937290 nbValidityChecks=2133831 nbPropagations=1566 nbRevisions=219798
2.76 nbUselessRevisions=213484 nbAssignments=206 nbFailedAssignments=125 nbBacktracks=26 nbVisitedNodes=308
2.76 nbRestartNogoods=15 mapSize=26 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.826 cpuTime=1.76 mem=18M477
3.83
3.83 search
3.83 run=2 nbConstraintChecks=1824212 nbValidityChecks=4850831 nbPropagations=3784 nbRevisions=519441
3.83 nbUselessRevisions=505686 nbAssignments=423 nbFailedAssignments=199 nbBacktracks=48 nbVisitedNodes=505
3.83 nbRestartNogoods=38 mapSize=47 nbInferences=0 nbTooLargeKeys=0
3.83 => wckTime=2.896 cpuTime=2.82 mem=18M477
4.53
4.53 search
4.53 run=3 nbConstraintChecks=2383122 nbValidityChecks=6663069 nbPropagations=6925 nbRevisions=925874
4.53 nbUselessRevisions=901424 nbAssignments=622 nbFailedAssignments=323 nbBacktracks=82 nbVisitedNodes=813
4.53 nbRestartNogoods=55 mapSize=74 nbInferences=0 nbTooLargeKeys=0
4.53 => wckTime=3.592 cpuTime=3.51 mem=18M477
5.30
5.30 search
5.30 run=4 nbConstraintChecks=2991117 nbValidityChecks=8429056 nbPropagations=11444 nbRevisions=1502920
5.30 nbUselessRevisions=1461181 nbAssignments=1014 nbFailedAssignments=639 nbBacktracks=132 nbVisitedNodes=1544
5.30 nbRestartNogoods=61 mapSize=124 nbInferences=0 nbTooLargeKeys=0
5.30 => wckTime=4.363 cpuTime=4.27 mem=18M477
6.69
6.69 search
6.69 run=5 nbConstraintChecks=4269789 nbValidityChecks=10782766 nbPropagations=17287 nbRevisions=2250920
6.69 nbUselessRevisions=2186493 nbAssignments=1350 nbFailedAssignments=894 nbBacktracks=207 nbVisitedNodes=2198
6.69 nbRestartNogoods=74 mapSize=195 nbInferences=0 nbTooLargeKeys=0
6.69 => wckTime=5.754 cpuTime=5.66 mem=18M477
8.67
8.67 search
8.67 run=6 nbConstraintChecks=6003642 nbValidityChecks=14673932 nbPropagations=25300 nbRevisions=3274398
8.67 nbUselessRevisions=3177544 nbAssignments=1851 nbFailedAssignments=1227 nbBacktracks=320 nbVisitedNodes=3074
8.67 nbRestartNogoods=93 mapSize=298 nbInferences=0 nbTooLargeKeys=0
8.67 => wckTime=7.734 cpuTime=7.63 mem=18M477
10.48
10.48 search
10.48 run=7 nbConstraintChecks=7533613 nbValidityChecks=18856062 nbPropagations=36171 nbRevisions=4620075
10.48 nbUselessRevisions=4479967 nbAssignments=2501 nbFailedAssignments=1567 nbBacktracks=490 nbVisitedNodes=4054
10.48 nbRestartNogoods=111 mapSize=458 nbInferences=0 nbTooLargeKeys=0
10.48 => wckTime=9.546 cpuTime=9.44 mem=18M477
13.70
13.70 search
13.70 run=8 nbConstraintChecks=10179159 nbValidityChecks=26235449 nbPropagations=52146 nbRevisions=6578242
13.70 nbUselessRevisions=6370938 nbAssignments=3740 nbFailedAssignments=2510 nbBacktracks=746 nbVisitedNodes=6403
13.70 nbRestartNogoods=133 mapSize=688 nbInferences=0 nbTooLargeKeys=0
13.70 => wckTime=12.759 cpuTime=12.65 mem=19M453
18.06
18.06 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=19M453)
18.58
18.58 search
18.58 run=9 nbConstraintChecks=14547983 nbValidityChecks=34777141 nbPropagations=73895 nbRevisions=9300303
18.58 nbUselessRevisions=8995070 nbAssignments=5273 nbFailedAssignments=3617 nbBacktracks=1130 nbVisitedNodes=9279
18.58 nbRestartNogoods=144
18.58 => wckTime=17.648 cpuTime=17.53 mem=19M453
25.43
25.43 search
25.43 run=10 nbConstraintChecks=20070435 nbValidityChecks=49719697 nbPropagations=107590 nbRevisions=13483453
25.43 nbUselessRevisions=13019250 nbAssignments=8364 nbFailedAssignments=6091 nbBacktracks=1706 nbVisitedNodes=15270
25.43 nbRestartNogoods=160
25.43 => wckTime=24.497 cpuTime=24.35 mem=19M453
34.82
34.82 search
34.82 run=11 nbConstraintChecks=28166960 nbValidityChecks=65007397 nbPropagations=153530 nbRevisions=19257149
34.82 nbUselessRevisions=18568003 nbAssignments=11461 nbFailedAssignments=8288 nbBacktracks=2571 nbVisitedNodes=21192
34.82 nbRestartNogoods=175
34.82 => wckTime=33.888 cpuTime=33.68 mem=19M453
42.42
42.42 search
42.42 run=12 nbConstraintChecks=34144003 nbValidityChecks=77433627 nbPropagations=212302 nbRevisions=26547481
42.42 nbUselessRevisions=25571145 nbAssignments=14672 nbFailedAssignments=10430 nbBacktracks=3595
42.42 nbVisitedNodes=27220 nbRestartNogoods=205
42.42 => wckTime=41.481 cpuTime=41.21 mem=19M453
42.42
42.42 global
42.42 nbConstraintChecks=34764009 nbValidityChecks=78382777 nbPropagations=212548 nbRevisions=26582339
42.42 nbUselessRevisions=25605089 nbRestartNogoods=205 solvingWckTime=41.483 solvingCpuTime=41.21 expiredTime=no
42.42 totalExploration=no nbFoundSolutions=1 globalCpuTime=41.69
42.42 => wckTime=42.106 cpuTime=41.63 mem=19M453
42.42
42.42 s SATISFIABLE
42.42 v 0 2 14 21 29 32 45 49 54 55
42.42 d NODES 14672
42.42 d CHECKS 34764009
42.42
42.42 totalWckTime=42.186 totalCpuTime=41.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-198078-1168126819 -o ROOT/results/node10/solver-198078-1168126819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198078-1168126819/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.00 1.69 1.25 4/97 14060
/proc/meminfo: memFree=1212808/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=11868 CPUtime=0
/proc/14059/stat : 14059 (java) D 14057 14059 13893 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 161077036 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905508 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/14059/statm: 2967 515 425 14 0 1602 0
[startup+0.103566 s]
/proc/loadavg: 2.00 1.69 1.25 4/97 14060
/proc/meminfo: memFree=1212808/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=914988 CPUtime=0.08
/proc/14059/stat : 14059 (java) R 14057 14059 13893 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 161077036 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14059/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511621 s]
/proc/loadavg: 2.00 1.69 1.25 4/97 14060
/proc/meminfo: memFree=1212808/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=915328 CPUtime=0.49
/proc/14059/stat : 14059 (java) S 14057 14059 13893 0 -1 0 6375 0 1 0 45 4 0 0 17 0 8 0 161077036 937295872 6114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14059/statm: 228832 6114 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33273 s]
/proc/loadavg: 2.00 1.69 1.25 4/104 14067
/proc/meminfo: memFree=1185168/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=915576 CPUtime=1.3
/proc/14059/stat : 14059 (java) R 14057 14059 13893 0 -1 0 9543 0 1 0 123 7 0 0 20 0 8 0 161077036 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14059/statm: 228894 9281 2542 14 0 215364 0
[pid=14059/tid=14061] ppid=14057 vsize=915576 CPUtime=0.03
/proc/14059/task/14061/stat : 14061 (java) S 14057 14059 13893 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 161077040 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14062] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14062/stat : 14062 (java) S 14057 14059 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161077041 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14063] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14063/stat : 14063 (java) S 14057 14059 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161077041 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14064] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14064/stat : 14064 (java) S 14057 14059 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161077044 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14065] ppid=14057 vsize=915576 CPUtime=0.22
/proc/14059/task/14065/stat : 14065 (java) S 14057 14059 13893 0 -1 64 399 0 0 0 21 1 0 0 18 0 8 0 161077044 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14066] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14066/stat : 14066 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161077044 937549824 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14067] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14067/stat : 14067 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161077044 937549824 9281 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) 915576
[startup+2.96995 s]
/proc/loadavg: 2.00 1.69 1.25 3/104 14067
/proc/meminfo: memFree=1184080/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=915576 CPUtime=2.92
/proc/14059/stat : 14059 (java) R 14057 14059 13893 0 -1 0 9640 0 1 0 284 8 0 0 25 0 8 0 161077036 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14059/statm: 228894 9376 2543 14 0 215364 0
[pid=14059/tid=14061] ppid=14057 vsize=915576 CPUtime=0.03
/proc/14059/task/14061/stat : 14061 (java) S 14057 14059 13893 0 -1 64 181 0 0 0 3 0 0 0 17 0 8 0 161077040 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14062] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14062/stat : 14062 (java) S 14057 14059 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161077041 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14063] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14063/stat : 14063 (java) S 14057 14059 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161077041 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14064] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14064/stat : 14064 (java) S 14057 14059 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161077044 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14065] ppid=14057 vsize=915576 CPUtime=0.23
/proc/14059/task/14065/stat : 14065 (java) S 14057 14059 13893 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 161077044 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14066] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14066/stat : 14066 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161077044 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14067] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14067/stat : 14067 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161077044 937549824 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915576
[startup+6.2664 s]
/proc/loadavg: 2.00 1.69 1.25 3/104 14067
/proc/meminfo: memFree=1181776/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=915576 CPUtime=6.22
/proc/14059/stat : 14059 (java) R 14057 14059 13893 0 -1 0 9667 0 1 0 614 8 0 0 25 0 8 0 161077036 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14059/statm: 228894 9400 2543 14 0 215364 0
[pid=14059/tid=14061] ppid=14057 vsize=915576 CPUtime=0.03
/proc/14059/task/14061/stat : 14061 (java) S 14057 14059 13893 0 -1 64 181 0 0 0 3 0 0 0 17 0 8 0 161077040 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14062] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14062/stat : 14062 (java) S 14057 14059 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161077041 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14063] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14063/stat : 14063 (java) S 14057 14059 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161077041 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14064] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14064/stat : 14064 (java) S 14057 14059 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161077044 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14065] ppid=14057 vsize=915576 CPUtime=0.26
/proc/14059/task/14065/stat : 14065 (java) S 14057 14059 13893 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 161077044 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14066] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14066/stat : 14066 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161077044 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14067] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14067/stat : 14067 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161077044 937549824 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915576
[startup+12.7383 s]
/proc/loadavg: 2.00 1.70 1.26 3/104 14067
/proc/meminfo: memFree=1177624/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=915576 CPUtime=12.68
/proc/14059/stat : 14059 (java) R 14057 14059 13893 0 -1 0 9708 0 1 0 1260 8 0 0 25 0 8 0 161077036 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742957 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14059/statm: 228894 9437 2543 14 0 215364 0
[pid=14059/tid=14061] ppid=14057 vsize=915576 CPUtime=0.03
/proc/14059/task/14061/stat : 14061 (java) S 14057 14059 13893 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 161077040 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14062] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14062/stat : 14062 (java) S 14057 14059 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161077041 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14063] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14063/stat : 14063 (java) S 14057 14059 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161077041 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14064] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14064/stat : 14064 (java) S 14057 14059 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161077044 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14065] ppid=14057 vsize=915576 CPUtime=0.28
/proc/14059/task/14065/stat : 14065 (java) S 14057 14059 13893 0 -1 64 427 0 0 0 27 1 0 0 16 0 8 0 161077044 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14066] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14066/stat : 14066 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161077044 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14067] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14067/stat : 14067 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161077044 937549824 9437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915576
[startup+25.6266 s]
/proc/loadavg: 2.00 1.71 1.27 3/104 14067
/proc/meminfo: memFree=1171288/2055920 swapFree=4178332/4192956
[pid=14059] ppid=14057 vsize=915576 CPUtime=25.55
/proc/14059/stat : 14059 (java) R 14057 14059 13893 0 -1 0 9736 0 1 0 2546 9 0 0 25 0 8 0 161077036 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14059/statm: 228894 9464 2543 14 0 215364 0
[pid=14059/tid=14061] ppid=14057 vsize=915576 CPUtime=0.03
/proc/14059/task/14061/stat : 14061 (java) S 14057 14059 13893 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 161077040 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14062] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14062/stat : 14062 (java) S 14057 14059 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161077041 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14063] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14063/stat : 14063 (java) S 14057 14059 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161077041 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14064] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14064/stat : 14064 (java) S 14057 14059 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161077044 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14065] ppid=14057 vsize=915576 CPUtime=0.29
/proc/14059/task/14065/stat : 14065 (java) S 14057 14059 13893 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 161077044 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14059/tid=14066] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14066/stat : 14066 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161077044 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14059/tid=14067] ppid=14057 vsize=915576 CPUtime=0
/proc/14059/task/14067/stat : 14067 (java) S 14057 14059 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161077044 937549824 9464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 42.4463
CPU time (s): 42.2406
CPU user time (s): 42.1416
CPU system time (s): 0.098984
CPU usage (%): 99.5153
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1416
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9832
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= 1929
involuntary context switches= 2775
runsolver used 0.065989 s user time and 0.140978 s system time
The end
Begin job on node10 on Sat Jan 6 23:40:19 UTC 2007
IDJOB= 198078
IDBENCH= 3533
FILE ID= node10/198078-1168126819
PBS_JOBID= 3477694
Free space on /tmp= 66355 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-55-10-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198078-1168126819/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-198078-1168126819 -o ROOT/results/node10/solver-198078-1168126819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198078-1168126819/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 37c35eed016e9cffd7807f53c9cfcdf1
RANDOM SEED= 858194077
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.232
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.232
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: 1213224 kB
Buffers: 56820 kB
Cached: 510492 kB
SwapCached: 2120 kB
Active: 389252 kB
Inactive: 363584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1213224 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1752 kB
Writeback: 0 kB
Mapped: 205780 kB
Slab: 74348 kB
Committed_AS: 4560832 kB
PageTables: 2560 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= 66355 MiB
End job on node10 on Sat Jan 6 23:41:02 UTC 2007