0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=mac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-1088638-1215259537.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.38/0.43 nbVariables=352 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15 nbTotalValues=5280
0.38/0.43 => wckTime=0.169 cpuTime=0.13 mem=8M894
0.38/0.43
0.38/0.43 predicates being loaded...
0.38/0.50
0.38/0.50 constraints being loaded...
3.54/3.62 nbConstraints=14661 nbGlobalConstraints=49 nbConvertedConstraints=14612 nbConvertConstraintsChecks=450
3.54/3.62 nbExtensionStructures=2 nbSharedExtensionStructures=14610 nbConflictsStructures=11
3.54/3.62 nbSharedConflictsStructures=14610 nbSharedBinaryRepresentations=15 minDegree=3 maxDegree=233 minArity=2
3.54/3.62 avgArity=2.02 maxArity=14 nbGenerators=14 nbFusions=10 symmetryWckTime=0.852 symmetryCpuTime=0.43
3.54/3.62 nbCliques=35
3.54/3.62 => wckTime=3.356 cpuTime=2.61 mem=54M143
3.73/3.85
3.73/3.85 solver IterativeSystematicSolver being built...
3.84/3.95
3.84/3.95 INFO : Forward propagation technique limited
3.94/4.03 => wckTime=3.77 cpuTime=2.75 mem=34M957
3.94/4.07
3.94/4.07 preprocessing
3.94/4.07 nbConstraintChecks=300 nbPropagations=362 nbRevisions=20 nbUselessRevisions=0 nbRemovedValues=20
3.94/4.07 nbRemovedTuples=105 detectedInconsistency=no
3.94/4.07 => wckTime=0.034 cpuTime=0.03 mem=34M957
5.23/5.34
5.23/5.34 search
5.23/5.34 run=3 nbConstraintChecks=451454 minDepth=353 maxDepth=352 nbPropagations=37562 nbRevisions=176246
5.23/5.34 nbUselessRevisions=89827 nbAssignments=510 nbFailedAssignments=47 nbBacktracks=62 nbVisitedNodes=603
5.23/5.34 nbRestartNogoods=9 nbFoundSolutions=1 mapSize=62 nbInferences=0 nbTooLargeKeys=0 nbSEliminables=0
5.23/5.34 nbREliminables=14.37 nbIEliminables=316.87 nbDEliminables=0 nbPEliminables=0
5.23/5.34 => wckTime=1.303 cpuTime=1.22 mem=35M950
5.23/5.34
5.23/5.34 global
5.23/5.34 nbConstraintChecks=451754 nbPropagations=37924 nbRevisions=176266 nbUselessRevisions=89827 nbRestartNogoods=9
5.23/5.34 solvingWckTime=1.305 solvingCpuTime=1.22 expiredTime=no totalExploration=no nbFoundSolutions=1
5.23/5.34 firstSolutionCpuTime=3.95 globalCpuTime=4.01
5.23/5.34 => wckTime=5.078 cpuTime=3.97 mem=35M950
5.23/5.34
5.23/5.34 s SATISFIABLE
5.23/5.34 v 12 0 9 11 7 1 10 12 6 3 13 4 2 8 12 0 6 9 3 5 6 0 10 11 7 12 2 9 8 0 6 5 0 4 9 3 11 5 6 1 7 13 4 3 7 10 8 12 7 9 8 12 5 6 13 14 2 3 13 2 11 0 6 10 14 1 4 8 12 4 8 10 14 1 3 13 2 11 5 3 13 2 11 5 3 14 4 8 10 14 1 4 8 10 14 1 11 0 12 6 3 13 2 0 5 7 9 13 2 14 1 3 10 0 11 4 5 4 11 9 3 13 11 1 14 4 12 7 6 5 8 5 8 5 8 14 0 0 8 6 4 8 7 10 14 9 3 6 13 4 0 1 13 0 6 6 4 8 12 14 7 0 13 2 4 3 9 1 11 0 6 8 12 7 10 0 9 10 14 5 13 4 1 14 3 1 4 2 8 4 10 6 1 2 0 9 12 9 9 7 10 7 0 3 13 10 14 8 12 7 10 13 2 12 14 5 11 13 2 11 1 4 8 11 5 2 0 3 12 1 3 10 2 1 0 1 12 6 12 6 1 13 6 9 3 2 4 8 12 1 11 5 6 7 14 0 13 2 7 14 1 8 12 5 6 9 4 2 8 12 4 7 14 1 11 0 11 7 14 1 11 0 6 14 0 9 13 2 4 8 3 8 5 9 2 13 12 7 14 11 6 9 3 12 1 6 2 8 0 7 10 14 0 14 14 14 14 4 12 7 10 13 9 3 11 1 9 0 1 4 9 7 10 14 7 10 14 5 9 11 3 13 2 3 5 2 9 3 13 7 1 0
5.23/5.34 d NODES 510
5.23/5.34 d CHECKS 451754
5.23/5.34
5.23/5.34 totalWckTime=5.148 totalCpuTime=4.01
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088638-1215259537/watcher-1088638-1215259537 -o /tmp/evaluation-result-1088638-1215259537/solver-1088638-1215259537 -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-1088638-1215259537.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: 2.00 2.00 2.00 3/80 14997
/proc/meminfo: memFree=1647472/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=10616 CPUtime=0
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2004927481 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 2654 472 209 9 0 1184 0
[pid=14997/tid=14998] ppid=14995 vsize=10616 CPUtime=0
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2004927482 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4976600 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.098659 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 14997
/proc/meminfo: memFree=1647472/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=865884 CPUtime=0.08
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 3686 0 1 0 6 2 0 0 18 0 9 0 2004927481 886665216 3161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 216471 3161 1681 9 0 211026 0
[pid=14997/tid=14998] ppid=14995 vsize=865884 CPUtime=0.06
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 2775 0 1 0 5 1 0 0 18 0 9 0 2004927482 886665216 3161 996147200 134512640 134550740 4294955968 18446744073709551615 4125963714 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.101658 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 14997
/proc/meminfo: memFree=1647472/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=865884 CPUtime=0.09
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 3715 0 1 0 7 2 0 0 18 0 9 0 2004927481 886665216 3181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 216471 3181 1686 9 0 211026 0
[pid=14997/tid=14998] ppid=14995 vsize=865884 CPUtime=0.07
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 2804 0 1 0 6 1 0 0 18 0 9 0 2004927482 886665216 3181 996147200 134512640 134550740 4294955968 18446744073709551615 103782258 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.30167 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 14997
/proc/meminfo: memFree=1647472/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=866284 CPUtime=0.29
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 5781 0 1 0 25 4 0 0 18 0 9 0 2004927481 887074816 5155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 216571 5155 1951 9 0 211099 0
[pid=14997/tid=14998] ppid=14995 vsize=866284 CPUtime=0.23
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 4807 0 1 0 20 3 0 0 19 0 9 0 2004927482 887074816 5155 996147200 134512640 134550740 4294955968 18446744073709551615 104193747 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701698 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 14997
/proc/meminfo: memFree=1647472/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=867680 CPUtime=0.67
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 8453 0 1 0 61 6 0 0 18 0 9 0 2004927481 888504320 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 216920 7813 2010 9 0 211426 0
[pid=14997/tid=14998] ppid=14995 vsize=867680 CPUtime=0.49
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 7103 0 1 0 44 5 0 0 21 0 9 0 2004927482 888504320 7813 996147200 134512640 134550740 4294955968 18446744073709551615 102064825 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867680
[startup+1.50275 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15006
/proc/meminfo: memFree=1608040/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=867680 CPUtime=1.47
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 17711 0 1 0 131 16 0 0 18 0 9 0 2004927481 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 216920 17067 2025 9 0 211426 0
[pid=14997/tid=14998] ppid=14995 vsize=867680 CPUtime=1.23
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 15771 0 1 0 108 15 0 0 25 0 9 0 2004927482 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15000] ppid=14995 vsize=867680 CPUtime=0.02
/proc/14997/task/15000/stat : 15000 (java) R 14995 14997 14430 0 -1 64 562 0 0 0 2 0 0 0 16 0 9 0 2004927484 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15001] ppid=14995 vsize=867680 CPUtime=0
/proc/14997/task/15001/stat : 15001 (java) S 14995 14997 14430 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2004927484 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15002] ppid=14995 vsize=867680 CPUtime=0
/proc/14997/task/15002/stat : 15002 (java) S 14995 14997 14430 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2004927484 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15003] ppid=14995 vsize=867680 CPUtime=0
/proc/14997/task/15003/stat : 15003 (java) S 14995 14997 14430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2004927486 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15004] ppid=14995 vsize=867680 CPUtime=0.2
/proc/14997/task/15004/stat : 15004 (java) S 14995 14997 14430 0 -1 64 685 0 0 0 20 0 0 0 16 0 9 0 2004927486 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15005] ppid=14995 vsize=867680 CPUtime=0
/proc/14997/task/15005/stat : 15005 (java) S 14995 14997 14430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2004927486 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15006] ppid=14995 vsize=867680 CPUtime=0
/proc/14997/task/15006/stat : 15006 (java) S 14995 14997 14430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004927486 888504320 17067 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867680
[startup+3.10284 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 15006
/proc/meminfo: memFree=1582184/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=867916 CPUtime=2.92
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 19030 0 1 0 215 77 0 0 18 0 10 0 2004927481 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 216979 18233 2009 9 0 211507 0
[pid=14997/tid=14998] ppid=14995 vsize=867916 CPUtime=2.56
/proc/14997/task/14998/stat : 14998 (java) S 14995 14997 14430 0 -1 64 15862 0 1 0 181 75 0 0 24 0 10 0 2004927482 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=14997/tid=15000] ppid=14995 vsize=867916 CPUtime=0.08
/proc/14997/task/15000/stat : 15000 (java) S 14995 14997 14430 0 -1 64 1691 0 0 0 8 0 0 0 17 0 10 0 2004927484 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15001] ppid=14995 vsize=867916 CPUtime=0
/proc/14997/task/15001/stat : 15001 (java) S 14995 14997 14430 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2004927484 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15002] ppid=14995 vsize=867916 CPUtime=0
/proc/14997/task/15002/stat : 15002 (java) S 14995 14997 14430 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2004927484 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15003] ppid=14995 vsize=867916 CPUtime=0
/proc/14997/task/15003/stat : 15003 (java) S 14995 14997 14430 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004927486 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15004] ppid=14995 vsize=867916 CPUtime=0.24
/proc/14997/task/15004/stat : 15004 (java) S 14995 14997 14430 0 -1 64 708 0 0 0 24 0 0 0 15 0 10 0 2004927486 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15005] ppid=14995 vsize=867916 CPUtime=0
/proc/14997/task/15005/stat : 15005 (java) S 14995 14997 14430 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2004927486 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15006] ppid=14995 vsize=867916 CPUtime=0
/proc/14997/task/15006/stat : 15006 (java) S 14995 14997 14430 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2004927486 888745984 18233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 867916
Solver just ended. Dumping a history of the last processes samples
[startup+4.70302 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 15010
/proc/meminfo: memFree=1566112/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=868100 CPUtime=4.63
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 35102 1001 1 0 346 81 35 1 18 0 9 0 2004927481 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 217025 22805 2637 9 0 211531 0
[pid=14997/tid=14998] ppid=14995 vsize=868100 CPUtime=3.92
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 24650 1001 1 0 279 77 35 1 25 0 9 0 2004927482 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4127270053 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15000] ppid=14995 vsize=868100 CPUtime=0.66
/proc/14997/task/15000/stat : 15000 (java) S 14995 14997 14430 0 -1 64 8533 1001 0 0 29 1 35 1 16 0 9 0 2004927484 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15001] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15001/stat : 15001 (java) S 14995 14997 14430 0 -1 64 17 1001 0 0 0 0 35 1 17 0 9 0 2004927484 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15002] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15002/stat : 15002 (java) S 14995 14997 14430 0 -1 64 9 1001 0 0 0 0 35 1 16 0 9 0 2004927484 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15003] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15003/stat : 15003 (java) S 14995 14997 14430 0 -1 64 1 1001 0 0 0 0 35 1 18 0 9 0 2004927486 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15004] ppid=14995 vsize=868100 CPUtime=0.74
/proc/14997/task/15004/stat : 15004 (java) S 14995 14997 14430 0 -1 64 1079 1001 0 0 37 1 35 1 15 0 9 0 2004927486 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15005] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15005/stat : 15005 (java) S 14995 14997 14430 0 -1 64 1 1001 0 0 0 0 35 1 19 0 9 0 2004927486 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15006] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15006/stat : 15006 (java) S 14995 14997 14430 0 -1 64 11 1001 0 0 0 0 35 1 15 0 9 0 2004927486 888934400 22805 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 868100
[startup+5.10198 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 15010
/proc/meminfo: memFree=1566112/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=868100 CPUtime=5.03
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 35108 1001 1 0 385 82 35 1 18 0 9 0 2004927481 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 217025 22810 2637 9 0 211531 0
[pid=14997/tid=14998] ppid=14995 vsize=868100 CPUtime=4.3
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 24650 1001 1 0 317 77 35 1 25 0 9 0 2004927482 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4127282449 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15000] ppid=14995 vsize=868100 CPUtime=0.66
/proc/14997/task/15000/stat : 15000 (java) S 14995 14997 14430 0 -1 64 8533 1001 0 0 29 1 35 1 16 0 9 0 2004927484 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15001] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15001/stat : 15001 (java) S 14995 14997 14430 0 -1 64 17 1001 0 0 0 0 35 1 17 0 9 0 2004927484 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15002] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15002/stat : 15002 (java) S 14995 14997 14430 0 -1 64 9 1001 0 0 0 0 35 1 16 0 9 0 2004927484 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15003] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15003/stat : 15003 (java) S 14995 14997 14430 0 -1 64 1 1001 0 0 0 0 35 1 18 0 9 0 2004927486 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15004] ppid=14995 vsize=868100 CPUtime=0.75
/proc/14997/task/15004/stat : 15004 (java) S 14995 14997 14430 0 -1 64 1085 1001 0 0 38 1 35 1 15 0 9 0 2004927486 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15005] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15005/stat : 15005 (java) S 14995 14997 14430 0 -1 64 1 1001 0 0 0 0 35 1 19 0 9 0 2004927486 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15006] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15006/stat : 15006 (java) S 14995 14997 14430 0 -1 64 11 1001 0 0 0 0 35 1 15 0 9 0 2004927486 888934400 22810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 868100
[startup+5.30199 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 15010
/proc/meminfo: memFree=1566112/2055920 swapFree=4180452/4192956
[pid=14997] ppid=14995 vsize=868100 CPUtime=5.23
/proc/14997/stat : 14997 (java) S 14995 14997 14430 0 -1 0 35110 1001 1 0 405 82 35 1 18 0 9 0 2004927481 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14997/statm: 217025 22811 2637 9 0 211531 0
[pid=14997/tid=14998] ppid=14995 vsize=868100 CPUtime=4.5
/proc/14997/task/14998/stat : 14998 (java) R 14995 14997 14430 0 -1 64 24651 1001 1 0 337 77 35 1 25 0 9 0 2004927482 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4127270046 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15000] ppid=14995 vsize=868100 CPUtime=0.66
/proc/14997/task/15000/stat : 15000 (java) S 14995 14997 14430 0 -1 64 8533 1001 0 0 29 1 35 1 17 0 9 0 2004927484 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15001] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15001/stat : 15001 (java) S 14995 14997 14430 0 -1 64 17 1001 0 0 0 0 35 1 17 0 9 0 2004927484 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15002] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15002/stat : 15002 (java) S 14995 14997 14430 0 -1 64 9 1001 0 0 0 0 35 1 16 0 9 0 2004927484 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15003] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15003/stat : 15003 (java) S 14995 14997 14430 0 -1 64 1 1001 0 0 0 0 35 1 18 0 9 0 2004927486 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15004] ppid=14995 vsize=868100 CPUtime=0.75
/proc/14997/task/15004/stat : 15004 (java) S 14995 14997 14430 0 -1 64 1086 1001 0 0 38 1 35 1 15 0 9 0 2004927486 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15005] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15005/stat : 15005 (java) S 14995 14997 14430 0 -1 64 1 1001 0 0 0 0 35 1 19 0 9 0 2004927486 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14997/tid=15006] ppid=14995 vsize=868100 CPUtime=0.36
/proc/14997/task/15006/stat : 15006 (java) S 14995 14997 14430 0 -1 64 11 1001 0 0 0 0 35 1 15 0 9 0 2004927486 888934400 22811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 868100
Child status: 0
Real time (s): 5.38771
CPU time (s): 5.30219
CPU user time (s): 4.44932
CPU system time (s): 0.85287
CPU usage (%): 98.4128
Max. virtual memory (cumulated for all children) (KiB): 873780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.44932
system time used= 0.85287
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36180
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= 1728
involuntary context switches= 1981
runsolver used 0.009998 second user time and 0.028995 second system time
The end
Begin job on node29 at 2008-07-05 14:05:37
IDJOB=1088638
IDBENCH=58093
IDSOLVER=363
FILE ID=node29/1088638-1215259537
PBS_JOBID= 7882078
Free space on /tmp= 66484 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/graphColoring/school/normalized-school1-nsh-15.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-1088638-1215259537/watcher-1088638-1215259537 -o /tmp/evaluation-result-1088638-1215259537/solver-1088638-1215259537 -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-1088638-1215259537.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8e78f129f75c2027eb54fb4644dfb919
RANDOM SEED=459081088
node29.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.220
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.220
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: 1647952 kB
Buffers: 19892 kB
Cached: 180580 kB
SwapCached: 6928 kB
Active: 298296 kB
Inactive: 55520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647952 kB
SwapTotal: 4192956 kB
SwapFree: 4180452 kB
Dirty: 4076 kB
Writeback: 0 kB
Mapped: 166416 kB
Slab: 38904 kB
Committed_AS: 4271420 kB
PageTables: 2264 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= 66484 MiB
End job on node29 at 2008-07-05 14:05:42