0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2096856-1247411022.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.39 nbVariables=100 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28 nbTotalValues=2800
0.28/0.39 => wckTime=0.13 cpuTime=0.11 mem=7M892
0.28/0.39
0.28/0.39 predicates being loaded...
0.38/0.48
0.38/0.48 constraints being loaded...
0.57/0.63 nbConstraints=59 nbGlobalConstraints=39 nbDisconnectedVariables=37 nbUnbuiltConflictsStructures=20
0.57/0.63 nbSharedBinaryRepresentations=0 nbEvaluationManagers=20 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=4
0.57/0.63 minArity=2 avgArity=3 maxArity=7 nbGenerators=39 nbFusions=0 symmetryWckTime=0.045 symmetryCpuTime=0.03
0.57/0.63 => wckTime=0.366 cpuTime=0.29 mem=16M760
0.57/0.68
0.57/0.68 solver IterativeSystematicSolver being built...
0.67/0.76
0.67/0.76 INFO : Forward propagation technique limited
0.77/0.83 => wckTime=0.57 cpuTime=0.41 mem=21M403
6.71/6.83
6.71/6.83 preprocessing
6.71/6.83 nbConstraintChecks=10180752 nbValidityChecks=6708 nbPropagations=534 nbRevisions=417 nbUselessRevisions=204
6.71/6.83 nbSingletonTests=191 nbEffectiveSingletonTests=0 nbACRemovals=135 nbFoundSingletons=0 nbRemovedValues=135
6.71/6.83 detectedInconsistency=no
6.71/6.83 => wckTime=5.991 cpuTime=5.91 mem=21M403
10.27/10.47
10.27/10.47 search
10.27/10.47 run=0 nbConstraintChecks=5539642 nbValidityChecks=4267 minDepth=16 maxDepth=100 nbPropagations=760
10.27/10.47 nbRevisions=637 nbUselessRevisions=315 nbAssignments=102 nbFailedAssignments=2 nbBacktracks=0
10.27/10.47 nbVisitedNodes=105 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0
10.27/10.47 nbSEliminables=0 nbREliminables=29.55 nbIEliminables=32.93 nbDEliminables=0 nbPEliminables=0
10.27/10.47 => wckTime=9.639 cpuTime=9.5 mem=22M378
10.27/10.47
10.27/10.47 global
10.27/10.47 nbConstraintChecks=15720394 nbValidityChecks=10975 nbPropagations=1294 nbRevisions=1054 nbUselessRevisions=519
10.27/10.48 nbRestartNogoods=0 solvingWckTime=9.642 solvingCpuTime=9.5 expiredTime=no totalExploration=no
10.27/10.48 nbFoundSolutions=1 firstSolutionCpuTime=9.92 globalCpuTime=9.96
10.27/10.48 => wckTime=10.213 cpuTime=9.92 mem=22M378
10.27/10.48
10.27/10.48 s SATISFIABLE
10.27/10.48 v 2 5 2 2 2 20 4 2 27 2 2 2 2 2 29 2 9 4 2 2 2 16 4 2 2 8 2 2 2 3 10 24 2 27 2 2 2 2 2 3 29 2 10 20 24 2 15 2 20 10 3 12 2 3 2 2 2 2 2 2 2 2 2 2 28 2 2 2 2 4 3 2 2 2 28 2 7 2 29 2 2 29 2 2 28 16 4 5 4 27 29 3 17 7 17 16 6 2 2 2
10.27/10.48 d NODES 102
10.27/10.48 d CHECKS 15720394
10.27/10.48
10.27/10.48 totalWckTime=10.284 totalCpuTime=9.96
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096856-1247411022/watcher-2096856-1247411022 -o /tmp/evaluation-result-2096856-1247411022/solver-2096856-1247411022 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2096856-1247411022.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): 2000 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
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 29213
/proc/meminfo: memFree=1688920/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=18576 CPUtime=0
/proc/29213/stat : 29213 (runsolver) R 29211 29213 28067 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28166106 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29213/statm: 4644 284 249 26 0 2626 0
[startup+0.0569539 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 29213
/proc/meminfo: memFree=1688920/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=863776 CPUtime=0.03
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 2587 0 1 0 2 1 0 0 19 0 9 0 28166106 884506624 2152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 215944 2152 1023 9 0 210859 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776
[startup+0.101966 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 29213
/proc/meminfo: memFree=1688920/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=865984 CPUtime=0.09
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 3733 0 1 0 7 2 0 0 19 0 9 0 28166106 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216496 3201 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301007 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 29213
/proc/meminfo: memFree=1688920/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=866380 CPUtime=0.28
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 5840 0 1 0 25 3 0 0 19 0 9 0 28166106 887173120 5209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216595 5209 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701085 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 29213
/proc/meminfo: memFree=1688920/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=0.67
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 11993 277 1 0 60 7 0 0 19 0 9 0 28166106 888184832 8820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 8820 2652 9 0 211278 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867368
[startup+1.50223 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1657552/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=1.46
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16076 277 1 0 138 8 0 0 19 0 9 0 28166106 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10423 2655 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=1.25
/proc/29213/task/29215/stat : 29215 (java) R 29211 29213 28067 0 -1 64 12409 277 1 0 118 7 0 0 25 0 9 0 28166107 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4126773572 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 16 0 9 0 28166109 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.14
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 513 277 0 0 14 0 0 0 15 0 9 0 28166111 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 4 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10423 996147200 134512640 134550932 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) 867368
[startup+3.10153 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1657296/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=3.04
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16090 277 1 0 296 8 0 0 19 0 9 0 28166106 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10436 2656 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=2.83
/proc/29213/task/29215/stat : 29215 (java) R 29211 29213 28067 0 -1 64 12415 277 1 0 276 7 0 0 25 0 9 0 28166107 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4126771314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 17 0 9 0 28166109 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.15
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 521 277 0 0 15 0 0 0 16 0 9 0 28166111 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 4 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10436 996147200 134512640 134550932 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) 867368
[startup+6.30214 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1657104/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=6.21
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16097 277 1 0 613 8 0 0 19 0 9 0 28166106 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10438 2656 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=6
/proc/29213/task/29215/stat : 29215 (java) R 29211 29213 28067 0 -1 64 12416 277 1 0 593 7 0 0 25 0 9 0 28166107 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4126773495 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 16 0 9 0 28166109 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.16
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 526 277 0 0 16 0 0 0 16 0 9 0 28166111 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 5 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867368
Solver just ended. Dumping a history of the last processes samples
[startup+7.90145 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1656080/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=7.8
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16356 277 1 0 772 8 0 0 19 0 9 0 28166106 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10695 2656 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=7.57
/proc/29213/task/29215/stat : 29215 (java) R 29211 29213 28067 0 -1 64 12670 277 1 0 750 7 0 0 25 0 9 0 28166107 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4126773575 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 17 0 9 0 28166109 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.17
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 531 277 0 0 17 0 0 0 15 0 9 0 28166111 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 5 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10695 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 867368
[startup+9.50175 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1656016/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=9.38
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16364 277 1 0 930 8 0 0 19 0 9 0 28166106 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10702 2656 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=9.15
/proc/29213/task/29215/stat : 29215 (java) R 29211 29213 28067 0 -1 64 12676 277 1 0 908 7 0 0 25 0 9 0 28166107 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4126765028 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 17 0 9 0 28166109 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.17
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 533 277 0 0 17 0 0 0 15 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 5 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 867368
[startup+10.3029 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1656016/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=10.17
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16365 277 1 0 1009 8 0 0 19 0 9 0 28166106 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10702 2656 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=9.94
/proc/29213/task/29215/stat : 29215 (java) R 29211 29213 28067 0 -1 64 12677 277 1 0 987 7 0 0 25 0 9 0 28166107 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4126771342 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 17 0 9 0 28166109 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.17
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 533 277 0 0 17 0 0 0 15 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 5 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10702 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 867368
[startup+10.5029 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29226
/proc/meminfo: memFree=1656016/2055920 swapFree=4192812/4192956
[pid=29213] ppid=29211 vsize=867368 CPUtime=10.36
/proc/29213/stat : 29213 (java) S 29211 29213 28067 0 -1 0 16478 277 1 0 1027 9 0 0 19 0 9 0 28166106 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29213/statm: 216842 10812 2656 9 0 211278 0
[pid=29213/tid=29215] ppid=29211 vsize=867368 CPUtime=10.11
/proc/29213/task/29215/stat : 29215 (java) S 29211 29213 28067 0 -1 64 12786 277 1 0 1004 7 0 0 25 0 9 0 28166107 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29216] ppid=29211 vsize=867368 CPUtime=0.04
/proc/29213/task/29216/stat : 29216 (java) S 29211 29213 28067 0 -1 64 2316 277 0 0 4 0 0 0 17 0 9 0 28166109 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29217] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29217/stat : 29217 (java) S 29211 29213 28067 0 -1 64 19 277 0 0 0 0 0 0 16 0 9 0 28166109 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29218] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29218/stat : 29218 (java) S 29211 29213 28067 0 -1 64 10 277 0 0 0 0 0 0 15 0 9 0 28166109 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29219] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29219/stat : 29219 (java) S 29211 29213 28067 0 -1 64 2 277 0 0 0 0 0 0 18 0 9 0 28166111 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29220] ppid=29211 vsize=867368 CPUtime=0.18
/proc/29213/task/29220/stat : 29220 (java) S 29211 29213 28067 0 -1 64 537 277 0 0 18 0 0 0 15 0 9 0 28166111 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29221] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29221/stat : 29221 (java) S 29211 29213 28067 0 -1 64 0 277 0 0 0 0 0 0 19 0 9 0 28166111 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29213/tid=29222] ppid=29211 vsize=867368 CPUtime=0
/proc/29213/task/29222/stat : 29222 (java) S 29211 29213 28067 0 -1 64 5 277 0 0 0 0 0 0 15 0 9 0 28166111 888184832 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 867368
Child status: 0
Real time (s): 10.5269
CPU time (s): 10.3784
CPU user time (s): 10.2744
CPU system time (s): 0.103984
CPU usage (%): 98.5897
Max. virtual memory (cumulated for all children) (KiB): 867368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2744
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16782
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= 1235
involuntary context switches= 1513
runsolver used 0.015997 second user time and 0.042993 second system time
The end
Begin job on node42 at 2009-07-12 17:03:42
IDJOB=2096856
IDBENCH=56718
IDSOLVER=774
FILE ID=node42/2096856-1247411022
PBS_JOBID= 9510559
Free space on /tmp= 66304 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/primes-10/normalized-primes-10-20-2-5.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2096856-1247411022/watcher-2096856-1247411022 -o /tmp/evaluation-result-2096856-1247411022/solver-2096856-1247411022 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2096856-1247411022.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3b3ce1be5c5f29602bc15ebf62601308
RANDOM SEED=1025064686
node42.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.283
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.283
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: 1689400 kB
Buffers: 43696 kB
Cached: 165676 kB
SwapCached: 0 kB
Active: 197212 kB
Inactive: 115828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1689400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2296 kB
Writeback: 0 kB
Mapped: 124052 kB
Slab: 38636 kB
Committed_AS: 1007840 kB
PageTables: 1960 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= 66304 MiB
End job on node42 at 2009-07-12 17:03:52