0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214652-1168077735/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.55 nbVariables=2734 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.243 cpuTime=0.17 mem=10M819
0.55
0.55 predicates being loaded...
1.01
1.01 constraints being loaded...
4.57
4.57 INFO : Stopping converting binary constraints (cpu=4.06, mem = 22M534)
5.11 nbConstraints=559 nbMergedConstraints=179 nbConvertedConstraints=132 nbConvertConstraintsChecks=876860
5.11 nbExtensionStructures=1 nbSharedExtensionStructures=131 nbConflictsStructures=97 nbSharedConflictsStructures=349
5.11 nbSharedBinaryRepresentations=2 nbEvaluationManagers=203 nbSharedEvaluationManagers=224 maxDegree=9
5.11 maxArity=535
5.11 => wckTime=4.797 cpuTime=4.51 mem=35M343
5.17
5.17 solver IterativeSystematicSolver being built...
5.51 => wckTime=5.199 cpuTime=4.78 mem=46M218
6.49
6.49 preprocessing
6.49 nbConstraintChecks=226191 nbValidityChecks=1502 nbPropagations=2734 nbRevisions=1520 nbUselessRevisions=1520
6.49 nbRemovedValues=0 detectedInconsistency=no
6.49 => wckTime=0.97 cpuTime=0.94 mem=48M220
43.13
43.13 search
43.13 run=0 nbConstraintChecks=4762591 nbValidityChecks=46255 nbPropagations=5891 nbRevisions=26350
43.13 nbUselessRevisions=25927 nbAssignments=2734 nbFailedAssignments=0 nbBacktracks=0 nbVisitedNodes=2735
43.13 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=0
43.13 => wckTime=37.615 cpuTime=37.09 mem=28M559
43.13
43.13 global
43.13 nbConstraintChecks=4988782 nbValidityChecks=47757 nbPropagations=8625 nbRevisions=27870
43.13 nbUselessRevisions=27447 nbRestartNogoods=0 solvingWckTime=37.618 solvingCpuTime=37.09 expiredTime=no
43.13 totalExploration=no nbFoundSolutions=1 globalCpuTime=41.92
43.13 => wckTime=42.823 cpuTime=41.87 mem=28M559
43.14
43.14 s SATISFIABLE
43.14 v 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0
43.14 d NODES 2734
43.14 d CHECKS 4988782
43.14
43.14 totalWckTime=42.903 totalCpuTime=41.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-214652-1168077735 -o ROOT/results/node18/solver-214652-1168077735 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214652-1168077735/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.63 1.91 1.91 5/99 22306
/proc/meminfo: memFree=929424/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=9748 CPUtime=0
/proc/22305/stat : 22305 (java) D 22303 22305 22228 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156168519 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/22305/statm: 2437 412 333 14 0 1140 0
[startup+0.108754 s]
/proc/loadavg: 1.63 1.91 1.91 5/99 22306
/proc/meminfo: memFree=929424/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=914988 CPUtime=0.08
/proc/22305/stat : 22305 (java) R 22303 22305 22228 0 -1 0 3047 0 1 0 7 1 0 0 17 0 8 0 156168519 936947712 2793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516792 s]
/proc/loadavg: 1.63 1.91 1.91 5/99 22306
/proc/meminfo: memFree=929424/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=915328 CPUtime=0.5
/proc/22305/stat : 22305 (java) S 22303 22305 22228 0 -1 0 6612 0 1 0 46 4 0 0 17 0 8 0 156168519 937295872 6351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228832 6351 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33988 s]
/proc/loadavg: 1.63 1.91 1.91 3/106 22313
/proc/meminfo: memFree=871128/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=915464 CPUtime=1.31
/proc/22305/stat : 22305 (java) R 22303 22305 22228 0 -1 0 17643 0 1 0 121 10 0 0 23 0 8 0 156168519 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228866 17378 2179 14 0 215336 0
[pid=22305/tid=22307] ppid=22303 vsize=915464 CPUtime=0.04
/proc/22305/task/22307/stat : 22307 (java) S 22303 22305 22228 0 -1 64 1078 0 0 0 4 0 0 0 16 0 8 0 156168523 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22308] ppid=22303 vsize=915464 CPUtime=0
/proc/22305/task/22308/stat : 22308 (java) S 22303 22305 22228 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156168524 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22309] ppid=22303 vsize=915464 CPUtime=0
/proc/22305/task/22309/stat : 22309 (java) S 22303 22305 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156168524 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22310] ppid=22303 vsize=915464 CPUtime=0
/proc/22305/task/22310/stat : 22310 (java) S 22303 22305 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156168527 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22311] ppid=22303 vsize=915464 CPUtime=0.16
/proc/22305/task/22311/stat : 22311 (java) S 22303 22305 22228 0 -1 64 363 0 0 0 16 0 0 0 16 0 8 0 156168527 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22312] ppid=22303 vsize=915464 CPUtime=0
/proc/22305/task/22312/stat : 22312 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156168527 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22313] ppid=22303 vsize=915464 CPUtime=0
/proc/22305/task/22313/stat : 22313 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156168527 937435136 17378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.99303 s]
/proc/loadavg: 1.63 1.91 1.91 3/106 22315
/proc/meminfo: memFree=868192/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=915460 CPUtime=2.95
/proc/22305/stat : 22305 (java) R 22303 22305 22228 0 -1 0 17662 0 1 0 284 11 0 0 25 0 8 0 156168519 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228865 17396 2179 14 0 215335 0
[pid=22305/tid=22307] ppid=22303 vsize=915460 CPUtime=0.04
/proc/22305/task/22307/stat : 22307 (java) S 22303 22305 22228 0 -1 64 1078 0 0 0 4 0 0 0 16 0 8 0 156168523 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22308] ppid=22303 vsize=915460 CPUtime=0
/proc/22305/task/22308/stat : 22308 (java) S 22303 22305 22228 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156168524 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22309] ppid=22303 vsize=915460 CPUtime=0
/proc/22305/task/22309/stat : 22309 (java) S 22303 22305 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156168524 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22310] ppid=22303 vsize=915460 CPUtime=0
/proc/22305/task/22310/stat : 22310 (java) S 22303 22305 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156168527 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22311] ppid=22303 vsize=915460 CPUtime=0.19
/proc/22305/task/22311/stat : 22311 (java) S 22303 22305 22228 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 156168527 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22312] ppid=22303 vsize=915460 CPUtime=0
/proc/22305/task/22312/stat : 22312 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156168527 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22313] ppid=22303 vsize=915460 CPUtime=0
/proc/22305/task/22313/stat : 22313 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156168527 937431040 17396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.28834 s]
/proc/loadavg: 1.66 1.91 1.91 3/106 22317
/proc/meminfo: memFree=856096/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=915592 CPUtime=6.21
/proc/22305/stat : 22305 (java) R 22303 22305 22228 0 -1 0 21037 0 1 0 608 13 0 0 25 0 8 0 156168519 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228898 20768 2533 14 0 215368 0
[pid=22305/tid=22307] ppid=22303 vsize=915592 CPUtime=0.12
/proc/22305/task/22307/stat : 22307 (java) S 22303 22305 22228 0 -1 64 3963 0 0 0 11 1 0 0 16 0 8 0 156168523 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22308] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22308/stat : 22308 (java) S 22303 22305 22228 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156168524 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22309] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22309/stat : 22309 (java) S 22303 22305 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156168524 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22310] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22310/stat : 22310 (java) S 22303 22305 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156168527 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22311] ppid=22303 vsize=915592 CPUtime=0.3
/proc/22305/task/22311/stat : 22311 (java) S 22303 22305 22228 0 -1 64 440 0 0 0 29 1 0 0 16 0 8 0 156168527 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22312] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22312/stat : 22312 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156168527 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22313] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22313/stat : 22313 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156168527 937566208 20768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915592
[startup+12.777 s]
/proc/loadavg: 1.68 1.91 1.91 3/106 22321
/proc/meminfo: memFree=856096/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=915592 CPUtime=12.61
/proc/22305/stat : 22305 (java) R 22303 22305 22228 0 -1 0 21054 0 1 0 1248 13 0 0 25 0 8 0 156168519 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228898 20783 2534 14 0 215368 0
[pid=22305/tid=22307] ppid=22303 vsize=915592 CPUtime=0.12
/proc/22305/task/22307/stat : 22307 (java) S 22303 22305 22228 0 -1 64 3963 0 0 0 11 1 0 0 16 0 8 0 156168523 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22308] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22308/stat : 22308 (java) S 22303 22305 22228 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156168524 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22309] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22309/stat : 22309 (java) S 22303 22305 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156168524 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22310] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22310/stat : 22310 (java) S 22303 22305 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22311] ppid=22303 vsize=915592 CPUtime=0.33
/proc/22305/task/22311/stat : 22311 (java) S 22303 22305 22228 0 -1 64 453 0 0 0 32 1 0 0 15 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22312] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22312/stat : 22312 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22313] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22313/stat : 22313 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915592
[startup+25.6202 s]
/proc/loadavg: 1.75 1.92 1.91 3/100 22343
/proc/meminfo: memFree=857168/2055920 swapFree=4192812/4192956
[pid=22305] ppid=22303 vsize=915592 CPUtime=25.31
/proc/22305/stat : 22305 (java) R 22303 22305 22228 0 -1 0 21055 0 1 0 2518 13 0 0 25 0 8 0 156168519 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22305/statm: 228898 20783 2534 14 0 215368 0
[pid=22305/tid=22307] ppid=22303 vsize=915592 CPUtime=0.12
/proc/22305/task/22307/stat : 22307 (java) S 22303 22305 22228 0 -1 64 3963 0 0 0 11 1 0 0 16 0 8 0 156168523 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22308] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22308/stat : 22308 (java) S 22303 22305 22228 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156168524 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22309] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22309/stat : 22309 (java) S 22303 22305 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156168524 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22310] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22310/stat : 22310 (java) S 22303 22305 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22311] ppid=22303 vsize=915592 CPUtime=0.33
/proc/22305/task/22311/stat : 22311 (java) S 22303 22305 22228 0 -1 64 454 0 0 0 32 1 0 0 16 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22312] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22312/stat : 22312 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22305/tid=22313] ppid=22303 vsize=915592 CPUtime=0
/proc/22305/task/22313/stat : 22313 (java) S 22303 22305 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156168527 937566208 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915592
Child status: 0
Real time (s): 43.2081
CPU time (s): 42.6915
CPU user time (s): 42.5225
CPU system time (s): 0.168974
CPU usage (%): 98.8045
Max. virtual memory (cumulated for all children) (KiB): 915592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5225
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24393
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= 2287
involuntary context switches= 3762
runsolver used 0.058991 s user time and 0.146977 s system time
The end
Begin job on node18 on Sat Jan 6 10:02:16 UTC 2007
IDJOB= 214652
IDBENCH= 4941
FILE ID= node18/214652-1168077735
PBS_JOBID= 3475822
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/niklas/p2756.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214652-1168077735/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-214652-1168077735 -o ROOT/results/node18/solver-214652-1168077735 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214652-1168077735/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f69d06e7abfe89777df3e5dea6a2adde
RANDOM SEED= 232163711
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.231
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.231
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: 929840 kB
Buffers: 69524 kB
Cached: 690444 kB
SwapCached: 0 kB
Active: 631924 kB
Inactive: 394532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 929840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2276 kB
Writeback: 0 kB
Mapped: 295920 kB
Slab: 83560 kB
Committed_AS: 4791600 kB
PageTables: 2748 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= 66283 MiB
End job on node18 on Sat Jan 6 10:03:03 UTC 2007