0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1088680-1215259695.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.38/0.41 nbVariables=385 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16 nbTotalValues=6160
0.38/0.41 => wckTime=0.161 cpuTime=0.13 mem=8M894
0.38/0.41
0.38/0.41 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
4.17/4.23 nbConstraints=19144 nbGlobalConstraints=49 nbConvertedConstraints=19095 nbConvertConstraintsChecks=512
4.17/4.23 nbExtensionStructures=2 nbSharedExtensionStructures=19093 nbConflictsStructures=13
4.17/4.23 nbSharedConflictsStructures=19093 nbSharedBinaryRepresentations=16 minDegree=3 maxDegree=283 minArity=2
4.17/4.23 avgArity=2.01 maxArity=14 nbGenerators=16 nbFusions=12 symmetryWckTime=1.02 symmetryCpuTime=0.47 nbCliques=33
4.17/4.23 => wckTime=3.983 cpuTime=2.99 mem=41M517
4.37/4.48
4.37/4.49 solver IterativeSystematicSolver being built...
4.46/4.58
4.46/4.59 INFO : Forward propagation technique limited
4.56/4.67 => wckTime=4.425 cpuTime=3.14 mem=39M831
4.66/4.72
4.66/4.72 preprocessing
4.66/4.72 nbConstraintChecks=410 nbPropagations=397 nbRevisions=26 nbUselessRevisions=0 nbRemovedValues=30
4.66/4.72 nbRemovedTuples=120 detectedInconsistency=no
4.66/4.72 => wckTime=0.041 cpuTime=0.03 mem=39M831
5.36/5.45
5.36/5.45 search
5.36/5.45 run=0 nbConstraintChecks=166924 minDepth=6 maxDepth=385 nbPropagations=4037 nbRevisions=45191
5.36/5.45 nbUselessRevisions=39599 nbAssignments=388 nbFailedAssignments=3 nbBacktracks=0 nbVisitedNodes=392
5.36/5.45 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0 nbSEliminables=0
5.36/5.45 nbREliminables=4.96 nbIEliminables=340.11 nbDEliminables=0 nbPEliminables=0
5.36/5.45 => wckTime=0.775 cpuTime=0.71 mem=40M858
5.36/5.45
5.36/5.45 global
5.36/5.45 nbConstraintChecks=167334 nbPropagations=4434 nbRevisions=45217 nbUselessRevisions=39599 nbRestartNogoods=0
5.36/5.45 solvingWckTime=0.779 solvingCpuTime=0.71 expiredTime=no totalExploration=no nbFoundSolutions=1
5.36/5.45 firstSolutionCpuTime=3.82 globalCpuTime=3.88
5.36/5.45 => wckTime=5.206 cpuTime=3.85 mem=40M858
5.36/5.45
5.36/5.45 s SATISFIABLE
5.36/5.45 v 11 0 5 13 10 0 12 11 8 4 14 9 1 15 11 7 8 5 4 7 8 1 12 13 10 11 3 5 15 11 8 7 12 9 5 4 13 7 8 0 10 14 9 4 10 12 15 11 10 5 15 11 7 8 14 6 9 4 14 3 13 7 8 12 6 0 9 15 11 9 15 12 6 0 4 14 3 13 7 4 14 3 13 7 4 1 9 15 12 6 0 9 15 12 6 0 13 7 2 8 4 14 3 0 1 5 10 14 3 6 0 4 12 9 13 9 11 9 13 5 4 14 13 0 6 9 11 10 8 7 15 7 15 7 15 15 0 0 15 2 7 15 10 12 6 5 4 8 14 9 7 0 14 7 8 8 9 15 11 6 10 0 14 3 9 4 5 1 13 7 8 15 11 10 12 3 5 12 6 13 14 9 0 6 2 3 9 1 15 9 12 8 2 1 0 5 11 5 5 10 12 10 7 4 14 12 6 15 11 10 12 14 3 11 6 7 13 14 3 13 0 9 15 13 7 3 6 4 1 0 4 12 3 0 11 0 11 8 11 8 0 14 8 5 4 3 9 15 11 0 13 7 8 10 6 5 14 3 10 6 0 15 11 7 8 5 9 3 15 11 9 10 6 0 13 7 13 10 6 0 13 7 8 15 0 5 14 3 9 15 4 15 7 5 3 14 11 10 6 13 8 5 4 11 0 8 3 15 2 10 12 6 1 15 15 15 6 9 11 10 12 14 5 4 13 0 5 13 0 9 5 10 12 6 10 12 6 7 5 13 4 14 3 4 14 3 5 4 14 10 0 12 2 7 2 9 2 12 6 0 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 2 2 2 4 2 7 3 15 0 0
5.36/5.45 d NODES 388
5.36/5.45 d CHECKS 167334
5.36/5.45
5.36/5.45 totalWckTime=5.272 totalCpuTime=3.88
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088680-1215259695/watcher-1088680-1215259695 -o /tmp/evaluation-result-1088680-1215259695/solver-1088680-1215259695 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1088680-1215259695.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 1527
/proc/meminfo: memFree=1664768/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=1616 CPUtime=0
/proc/1527/stat : 1527 (java) R 1525 1527 737 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2004938221 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/1527/statm: 404 145 119 9 0 46 0
[startup+0.062201 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 1527
/proc/meminfo: memFree=1664768/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=864800 CPUtime=0.04
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 2816 0 1 0 3 1 0 0 18 0 9 0 2004938221 885555200 2354 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 216200 2354 1120 9 0 211157 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864800
[startup+0.101209 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 1527
/proc/meminfo: memFree=1664768/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=866708 CPUtime=0.08
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 3708 0 1 0 7 1 0 0 18 0 9 0 2004938221 887508992 3183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 216677 3183 1685 9 0 211232 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 866708
[startup+0.301235 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 1527
/proc/meminfo: memFree=1664768/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=866924 CPUtime=0.29
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 5894 0 1 0 25 4 0 0 18 0 9 0 2004938221 887730176 5268 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 216731 5268 1954 9 0 211259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866924
[startup+0.701286 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 1527
/proc/meminfo: memFree=1664768/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=868036 CPUtime=0.68
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 9079 0 1 0 63 5 0 0 18 0 9 0 2004938221 888868864 8440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 217009 8441 2011 9 0 211515 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 868036
[startup+1.5024 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 1536
/proc/meminfo: memFree=1620600/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=867948 CPUtime=1.48
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 18828 0 1 0 136 12 0 0 18 0 9 0 2004938221 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 216988 18161 2005 9 0 211516 0
[pid=1527/tid=1529] ppid=1525 vsize=867948 CPUtime=1.21
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 737 0 -1 64 15758 0 1 0 111 10 0 0 25 0 9 0 2004938223 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1530] ppid=1525 vsize=867948 CPUtime=0.07
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 737 0 -1 64 1680 0 0 0 7 0 0 0 16 0 9 0 2004938224 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1531] ppid=1525 vsize=867952 CPUtime=0
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 737 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004938224 888782848 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 737 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004938224 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 737 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2004938226 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=867952 CPUtime=0.16
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 737 0 -1 64 693 0 0 0 16 0 0 0 16 0 9 0 2004938226 888782848 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 737 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2004938226 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004938226 888778752 18161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867948
[startup+3.10262 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 1536
/proc/meminfo: memFree=1599352/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=867948 CPUtime=3.08
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 21734 0 1 0 226 82 0 0 18 0 9 0 2004938221 888778752 21065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 216987 21067 2005 9 0 211515 0
[pid=1527/tid=1529] ppid=1525 vsize=867948 CPUtime=2.67
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 737 0 -1 64 15761 0 1 0 188 79 0 0 25 0 9 0 2004938223 888778752 21067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1530] ppid=1525 vsize=867948 CPUtime=0.17
/proc/1527/task/1530/stat : 1530 (java) R 1525 1527 737 0 -1 64 4552 0 0 0 16 1 0 0 16 0 9 0 2004938224 888778752 21068 996147200 134512640 134550740 4294955968 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1531] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 737 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004938224 888778752 21069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 737 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004938224 888778752 21070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 737 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2004938226 888778752 21071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=867948 CPUtime=0.21
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 737 0 -1 64 727 0 0 0 21 0 0 0 17 0 9 0 2004938226 888778752 21071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 737 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2004938226 888778752 21072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=867948 CPUtime=0
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004938226 888778752 21073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867948
Solver just ended. Dumping a history of the last processes samples
[startup+4.70183 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 1540
/proc/meminfo: memFree=1580664/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=868480 CPUtime=4.66
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 38880 1235 1 0 328 89 47 2 18 0 9 0 2004938221 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 217120 25348 2637 9 0 211626 0
[pid=1527/tid=1529] ppid=1525 vsize=868480 CPUtime=3.83
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 737 0 -1 64 24077 1235 1 0 251 83 47 2 17 0 9 0 2004938223 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4125952094 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=868480 CPUtime=0.98
/proc/1527/task/1530/stat : 1530 (java) R 1525 1527 737 0 -1 64 12862 1235 0 0 46 3 47 2 18 0 9 0 2004938224 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 737 0 -1 64 18 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1532] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 737 0 -1 64 9 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 23 0 9 0 2004938226 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=868480 CPUtime=0.79
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 737 0 -1 64 1093 1235 0 0 30 0 47 2 15 0 9 0 2004938226 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1535] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 24 0 9 0 2004938226 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 737 0 -1 64 7 1235 0 0 0 0 47 2 15 0 9 0 2004938226 889323520 25348 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 868480
[startup+5.10189 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 1540
/proc/meminfo: memFree=1580664/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=868480 CPUtime=5.06
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 38909 1235 1 0 368 89 47 2 18 0 9 0 2004938221 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 217120 25374 2637 9 0 211626 0
[pid=1527/tid=1529] ppid=1525 vsize=868480 CPUtime=4.18
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 737 0 -1 64 24081 1235 1 0 286 83 47 2 19 0 9 0 2004938223 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4127286670 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=868480 CPUtime=0.98
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 737 0 -1 64 12862 1235 0 0 46 3 47 2 19 0 9 0 2004938224 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 737 0 -1 64 18 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1532] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 737 0 -1 64 9 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 23 0 9 0 2004938226 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=868480 CPUtime=0.84
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 737 0 -1 64 1118 1235 0 0 34 1 47 2 15 0 9 0 2004938226 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1535] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 24 0 9 0 2004938226 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 737 0 -1 64 7 1235 0 0 0 0 47 2 15 0 9 0 2004938226 889323520 25374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 868480
[startup+5.30192 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 1540
/proc/meminfo: memFree=1580664/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=868480 CPUtime=5.26
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 38924 1235 1 0 388 89 47 2 18 0 9 0 2004938221 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 217120 25375 2637 9 0 211626 0
[pid=1527/tid=1529] ppid=1525 vsize=868480 CPUtime=4.38
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 737 0 -1 64 24081 1235 1 0 306 83 47 2 21 0 9 0 2004938223 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4127077235 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=868480 CPUtime=0.98
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 737 0 -1 64 12862 1235 0 0 46 3 47 2 19 0 9 0 2004938224 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 737 0 -1 64 18 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1532] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 737 0 -1 64 9 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 23 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=868480 CPUtime=0.84
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 737 0 -1 64 1119 1235 0 0 34 1 47 2 15 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1535] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 24 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 737 0 -1 64 21 1235 0 0 0 0 47 2 15 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 868480
[startup+5.40193 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 1540
/proc/meminfo: memFree=1572920/2055920 swapFree=4180436/4192956
[pid=1527] ppid=1525 vsize=868480 CPUtime=5.36
/proc/1527/stat : 1527 (java) S 1525 1527 737 0 -1 0 38924 1235 1 0 398 89 47 2 18 0 9 0 2004938221 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 217120 25375 2637 9 0 211626 0
[pid=1527/tid=1529] ppid=1525 vsize=868480 CPUtime=4.48
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 737 0 -1 64 24081 1235 1 0 316 83 47 2 22 0 9 0 2004938223 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4127271449 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=868480 CPUtime=0.98
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 737 0 -1 64 12862 1235 0 0 46 3 47 2 19 0 9 0 2004938224 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 737 0 -1 64 18 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1532] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 737 0 -1 64 9 1235 0 0 0 0 47 2 16 0 9 0 2004938224 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 23 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=868480 CPUtime=0.84
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 737 0 -1 64 1119 1235 0 0 34 1 47 2 15 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1527/tid=1535] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 737 0 -1 64 1 1235 0 0 0 0 47 2 24 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=868480 CPUtime=0.49
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 737 0 -1 64 21 1235 0 0 0 0 47 2 15 0 9 0 2004938226 889323520 25375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 868480
Child status: 0
Real time (s): 5.48231
CPU time (s): 5.44717
CPU user time (s): 4.50531
CPU system time (s): 0.941856
CPU usage (%): 99.359
Max. virtual memory (cumulated for all children) (KiB): 868644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.50531
system time used= 0.941856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40228
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= 1692
involuntary context switches= 1683
runsolver used 0.014997 second user time and 0.021996 second system time
The end
Begin job on node71 at 2008-07-05 14:08:15
IDJOB=1088680
IDBENCH=58095
IDSOLVER=363
FILE ID=node71/1088680-1215259695
PBS_JOBID= 7882072
Free space on /tmp= 66508 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/graphColoring/school/normalized-school1-16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088680-1215259695/watcher-1088680-1215259695 -o /tmp/evaluation-result-1088680-1215259695/solver-1088680-1215259695 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1088680-1215259695.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 417c0add099144dbf2dc628ce5dcaddb
RANDOM SEED=229864367
node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.209
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.209
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: 1665248 kB
Buffers: 39144 kB
Cached: 242604 kB
SwapCached: 6572 kB
Active: 208980 kB
Inactive: 125120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1665248 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 4320 kB
Writeback: 0 kB
Mapped: 60000 kB
Slab: 41548 kB
Committed_AS: 4385372 kB
PageTables: 2232 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= 66504 MiB
End job on node71 at 2008-07-05 14:08:20