0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1101891-1215294735.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.29/0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.29/0.38 => wckTime=0.133 cpuTime=0.12 mem=7M919
0.29/0.38
0.29/0.38 relations being loaded...
0.48/0.58
0.48/0.58 constraints being loaded...
0.78/0.85 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.78/0.85 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3159 minDegree=11
0.78/0.85 maxDegree=22 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.06 symmetryCpuTime=0.02
0.78/0.85 => wckTime=0.603 cpuTime=0.44 mem=18M798
0.86/0.91
0.86/0.92 solver IterativeSystematicSolver being built...
0.96/1.07 => wckTime=0.826 cpuTime=0.57 mem=21M296
1.07/1.13
1.07/1.13 preprocessing
1.07/1.13 nbConstraintChecks=64965 nbPropagations=915 nbRevisions=7075 nbUselessRevisions=5773 nbSingletonTests=50
1.07/1.13 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
1.07/1.13 => wckTime=0.054 cpuTime=0.03 mem=21M296
1.16/1.25
1.16/1.25 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M288)
21.29/21.52
21.29/21.52 search
21.29/21.52 run=18 nbConstraintChecks=107886392 minDepth=2 maxDepth=40 nbPropagations=5458189 nbRevisions=77853710
21.29/21.52 nbUselessRevisions=63350958 nbAssignments=79011 nbFailedAssignments=31561 nbBacktracks=47280
21.29/21.52 nbVisitedNodes=137473 nbRestartNogoods=133 nbFoundSolutions=1 nbSEliminables=7.75 nbREliminables=1.11
21.29/21.52 nbIEliminables=0.05 nbDEliminables=0 nbPEliminables=0
21.29/21.52 => wckTime=20.45 cpuTime=20.18 mem=22M288
21.29/21.52
21.29/21.52 global
21.29/21.52 nbConstraintChecks=107951357 nbPropagations=5459104 nbRevisions=77860785 nbUselessRevisions=63356731
21.29/21.52 nbRestartNogoods=133 solvingWckTime=20.453 solvingCpuTime=20.18 expiredTime=no totalExploration=no
21.29/21.52 nbFoundSolutions=1 firstSolutionCpuTime=20.75 globalCpuTime=20.8
21.29/21.52 => wckTime=21.282 cpuTime=20.75 mem=22M288
21.29/21.53
21.29/21.53 s SATISFIABLE
21.29/21.53 v 16 5 9 7 4 1 18 8 10 18 3 11 12 7 12 0 6 3 5 9 2 16 14 1 16 16 4 4 6 16 7 3 7 3 2 16 4 13 3 8
21.29/21.53 d NODES 79011
21.29/21.53 d CHECKS 107951357
21.29/21.53
21.29/21.53 totalWckTime=21.34 totalCpuTime=20.81
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101891-1215294735/watcher-1101891-1215294735 -o /tmp/evaluation-result-1101891-1215294735/solver-1101891-1215294735 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1101891-1215294735.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/73 10300
/proc/meminfo: memFree=1624424/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=1616 CPUtime=0
/proc/10300/stat : 10300 (java) D 10298 10300 10142 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 2008446507 1654784 126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10300/statm: 404 126 100 9 0 46 0
[startup+0.047527 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10300
/proc/meminfo: memFree=1624424/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=861876 CPUtime=0.02
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 2274 0 1 0 1 1 0 0 18 0 5 0 2008446507 882561024 1881 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 215469 1883 861 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.106641 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10300
/proc/meminfo: memFree=1624424/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=865884 CPUtime=0.09
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 3775 0 1 0 6 3 0 0 18 0 9 0 2008446507 886665216 3226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216471 3226 1711 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.302654 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10300
/proc/meminfo: memFree=1624424/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=866128 CPUtime=0.29
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 5731 0 1 0 24 5 0 0 18 0 9 0 2008446507 886915072 5105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216532 5105 1950 9 0 211060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866128
[startup+0.701693 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10300
/proc/meminfo: memFree=1624424/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=866984 CPUtime=0.67
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 7958 0 1 0 61 6 0 0 18 0 9 0 2008446507 887791616 7318 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216746 7318 1977 9 0 211274 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866984
[startup+1.50176 s]
/proc/loadavg: 2.00 2.00 2.00 5/84 10313
/proc/meminfo: memFree=1594704/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=1.46
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17074 290 1 0 136 10 0 0 18 0 9 0 2008446507 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10715 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=1.13
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11892 290 1 0 106 7 0 0 22 0 9 0 2008446508 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4126876150 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.23
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 711 290 0 0 23 0 0 0 15 0 9 0 2008446512 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867852
[startup+3.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591448/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=3.04
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17098 290 1 0 294 10 0 0 18 0 9 0 2008446507 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10737 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=2.68
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11897 290 1 0 261 7 0 0 25 0 9 0 2008446508 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4126866444 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 17 0 9 0 2008446510 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 730 290 0 0 27 0 0 0 15 0 9 0 2008446512 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867852
[startup+6.30218 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591256/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=6.22
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17116 290 1 0 611 11 0 0 18 0 9 0 2008446507 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10740 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=5.86
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11900 290 1 0 578 8 0 0 25 0 9 0 2008446508 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4126862069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 731 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) R 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867852
[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591000/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=12.56
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17119 290 1 0 1245 11 0 0 18 0 9 0 2008446507 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10742 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=12.2
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11902 290 1 0 1212 8 0 0 25 0 9 0 2008446508 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4126876204 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 732 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867852
Solver just ended. Dumping a history of the last processes samples
[startup+15.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591000/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=15.73
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17120 290 1 0 1562 11 0 0 18 0 9 0 2008446507 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10743 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=15.38
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11903 290 1 0 1530 8 0 0 25 0 9 0 2008446508 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4126866720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 732 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 867852
[startup+19.1013 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591000/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=18.91
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17120 290 1 0 1880 11 0 0 18 0 9 0 2008446507 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10743 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=18.55
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11903 290 1 0 1847 8 0 0 25 0 9 0 2008446508 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4126862612 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 732 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10743 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.91
Current children cumulated vsize (KiB) 867852
[startup+20.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591000/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=20.49
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17121 290 1 0 2038 11 0 0 18 0 9 0 2008446507 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10744 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=20.13
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11904 290 1 0 2005 8 0 0 25 0 9 0 2008446508 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4126095728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 732 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.49
Current children cumulated vsize (KiB) 867852
[startup+21.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591000/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=20.89
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17121 290 1 0 2078 11 0 0 18 0 9 0 2008446507 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10744 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=20.53
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11904 290 1 0 2045 8 0 0 25 0 9 0 2008446508 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4126920900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 732 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.89
Current children cumulated vsize (KiB) 867852
[startup+21.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10313
/proc/meminfo: memFree=1591000/2055920 swapFree=4180688/4192956
[pid=10300] ppid=10298 vsize=867852 CPUtime=21.29
/proc/10300/stat : 10300 (java) S 10298 10300 10142 0 -1 0 17121 290 1 0 2118 11 0 0 18 0 9 0 2008446507 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10300/statm: 216963 10744 2632 9 0 211469 0
[pid=10300/tid=10301] ppid=10298 vsize=867852 CPUtime=20.93
/proc/10300/task/10301/stat : 10301 (java) R 10298 10300 10142 0 -1 64 11904 290 1 0 2085 8 0 0 25 0 9 0 2008446508 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4126095728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10303] ppid=10298 vsize=867852 CPUtime=0.05
/proc/10300/task/10303/stat : 10303 (java) S 10298 10300 10142 0 -1 64 3635 290 0 0 5 0 0 0 16 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10304] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10304/stat : 10304 (java) S 10298 10300 10142 0 -1 64 16 290 0 0 0 0 0 0 17 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10305] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10305/stat : 10305 (java) S 10298 10300 10142 0 -1 64 9 290 0 0 0 0 0 0 16 0 9 0 2008446510 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10306] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10306/stat : 10306 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 18 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10307] ppid=10298 vsize=867852 CPUtime=0.27
/proc/10300/task/10307/stat : 10307 (java) S 10298 10300 10142 0 -1 64 732 290 0 0 27 0 0 0 16 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10308] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10308/stat : 10308 (java) S 10298 10300 10142 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10300/tid=10309] ppid=10298 vsize=867852 CPUtime=0
/proc/10300/task/10309/stat : 10309 (java) S 10298 10300 10142 0 -1 64 15 290 0 0 0 0 0 0 15 0 9 0 2008446512 888680448 10744 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.29
Current children cumulated vsize (KiB) 867852
Child status: 0
Real time (s): 21.5591
CPU time (s): 21.3448
CPU user time (s): 21.2138
CPU system time (s): 0.13098
CPU usage (%): 99.0059
Max. virtual memory (cumulated for all children) (KiB): 867896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2138
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17538
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= 1468
involuntary context switches= 1934
runsolver used 0.024996 second user time and 0.083987 second system time
The end
Begin job on node41 at 2008-07-05 23:52:15
IDJOB=1101891
IDBENCH=60080
IDSOLVER=364
FILE ID=node41/1101891-1215294735
PBS_JOBID= 7882395
Free space on /tmp= 66152 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101891-1215294735/watcher-1101891-1215294735 -o /tmp/evaluation-result-1101891-1215294735/solver-1101891-1215294735 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1101891-1215294735.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f0039dfe70d3c33dfd175699d19c7cc4
RANDOM SEED=1959905726
node41.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.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: 1624904 kB
Buffers: 62532 kB
Cached: 244680 kB
SwapCached: 6540 kB
Active: 259512 kB
Inactive: 117060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1624904 kB
SwapTotal: 4192956 kB
SwapFree: 4180688 kB
Dirty: 2232 kB
Writeback: 0 kB
Mapped: 75312 kB
Slab: 39864 kB
Committed_AS: 3722340 kB
PageTables: 1816 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= 66152 MiB
End job on node41 at 2008-07-05 23:52:37