0.05/0.09
0.05/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.30
0.18/0.30 instance
0.18/0.30 name=HOME/instance-1073289-1215176957.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.78/0.88 nbVariables=8710 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8 nbTotalValues=69680
0.78/0.88 => wckTime=0.637 cpuTime=0.48 mem=41M20
0.78/0.88
0.78/0.88 predicates being loaded...
0.88/0.99
0.88/0.99 constraints being loaded...
12.96/13.14 nbConstraints=38283 nbUnaryConstraints=8912 nbGlobalConstraints=79 nbMergedConstraints=1368
12.96/13.14 nbSingletonDomainVariables=202 nbPurgedValues=52462 nbDisconnectedVariables=80 nbConvertedConstraints=31153
12.96/13.14 nbConvertConstraintsChecks=232000 nbExtensionStructures=2713 nbSharedExtensionStructures=31146
12.96/13.14 nbConflictsStructures=2736 nbSharedConflictsStructures=34335 nbUnbuiltConflictsStructures=62
12.96/13.14 nbSharedBinaryRepresentations=43392 nbEvaluationManagers=85 nbSharedEvaluationManagers=6966 minDegree=1
12.96/13.14 maxDegree=347 minArity=2 avgArity=2.58 maxArity=33 nbGenerators=79 nbFusions=0 symmetryWckTime=4.013
12.96/13.14 symmetryCpuTime=1.19
12.96/13.14 => wckTime=12.899 cpuTime=8.37 mem=223M557
13.74/13.95
13.74/13.95 solver IterativeSystematicSolver being built...
14.34/14.56
14.34/14.57 INFO : Forward propagation technique limited
14.74/14.94 => wckTime=14.693 cpuTime=9.19 mem=254M689
14.74/14.99
14.74/14.99 preprocessing
14.74/14.99 nbConstraintChecks=49 nbValidityChecks=30 nbPropagations=2 nbRevisions=56 nbUselessRevisions=45
14.74/14.99 nbRemovedValues=11 detectedInconsistency=yes
14.74/14.99 => wckTime=0.034 cpuTime=0.03 mem=256M663
14.74/14.99
14.74/14.99 global
14.74/14.99 nbConstraintChecks=49 nbValidityChecks=30 nbPropagations=2 nbRevisions=56 nbUselessRevisions=45
14.74/14.99 nbRestartNogoods=0 solvingWckTime=0.039 solvingCpuTime=0.03 expiredTime=no totalExploration=yes
14.74/14.99 nbFoundSolutions=0 globalCpuTime=9.28
14.74/14.99 => wckTime=14.746 cpuTime=9.23 mem=257M716
14.74/14.99
14.74/14.99 s UNSATISFIABLE
14.74/15.00 d NODES 0
14.74/15.00 d CHECKS 49
14.74/15.00
14.74/15.00 totalWckTime=14.806 totalCpuTime=9.29
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1073289-1215176957/watcher-1073289-1215176957 -o /tmp/evaluation-result-1073289-1215176957/solver-1073289-1215176957 -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-1073289-1215176957.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.71 1.35 3/72 23327
/proc/meminfo: memFree=1593392/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=1616 CPUtime=0
/proc/23327/stat : 23327 (java) D 23325 23327 21435 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1996664572 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/23327/statm: 404 145 119 9 0 46 0
[startup+0.0717509 s]
/proc/loadavg: 1.99 1.71 1.35 3/72 23327
/proc/meminfo: memFree=1593392/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=864076 CPUtime=0.05
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 2802 0 1 0 3 2 0 0 18 0 9 0 1996664572 884813824 2340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216019 2340 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101752 s]
/proc/loadavg: 1.99 1.71 1.35 3/72 23327
/proc/meminfo: memFree=1593392/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=865884 CPUtime=0.09
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 3676 0 1 0 6 3 0 0 18 0 9 0 1996664572 886665216 3151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216471 3151 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301788 s]
/proc/loadavg: 1.99 1.71 1.35 3/72 23327
/proc/meminfo: memFree=1593392/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=866128 CPUtime=0.28
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 5706 0 1 0 24 4 0 0 18 0 9 0 1996664572 886915072 5080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216532 5080 1950 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866128
[startup+0.701869 s]
/proc/loadavg: 1.99 1.71 1.35 3/72 23327
/proc/meminfo: memFree=1593392/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=866984 CPUtime=0.69
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 8495 0 1 0 63 6 0 0 18 0 9 0 1996664572 887791616 7865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216746 7865 1972 9 0 211274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866984
[startup+1.50302 s]
/proc/loadavg: 2.07 1.73 1.36 3/81 23336
/proc/meminfo: memFree=1540264/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=867420 CPUtime=1.48
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 18967 0 1 0 134 14 0 0 18 0 9 0 1996664572 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216855 18302 2004 9 0 211383 0
[pid=23327/tid=23329] ppid=23325 vsize=867420 CPUtime=1.2
/proc/23327/task/23329/stat : 23329 (java) R 23325 23327 21435 0 -1 64 15731 0 1 0 108 12 0 0 25 0 9 0 1996664573 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4126625492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=867420 CPUtime=0.06
/proc/23327/task/23330/stat : 23330 (java) S 23325 23327 21435 0 -1 64 1886 0 0 0 6 0 0 0 16 0 9 0 1996664575 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996664575 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996664575 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996664577 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=867420 CPUtime=0.19
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 654 0 0 0 19 0 0 0 16 0 9 0 1996664577 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996664577 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996664577 888238080 18302 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867420
[startup+3.1013 s]
/proc/loadavg: 2.07 1.73 1.36 4/81 23336
/proc/meminfo: memFree=1524776/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=867420 CPUtime=3.06
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 22831 0 1 0 290 16 0 0 18 0 9 0 1996664572 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216855 22164 2004 9 0 211383 0
[pid=23327/tid=23329] ppid=23325 vsize=867420 CPUtime=2.55
/proc/23327/task/23329/stat : 23329 (java) R 23325 23327 21435 0 -1 64 15735 0 1 0 243 12 0 0 25 0 9 0 1996664573 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=867420 CPUtime=0.29
/proc/23327/task/23330/stat : 23330 (java) R 23325 23327 21435 0 -1 64 5745 0 0 0 27 2 0 0 16 0 9 0 1996664575 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996664575 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996664575 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996664577 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=867420 CPUtime=0.19
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 655 0 0 0 19 0 0 0 16 0 9 0 1996664577 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996664577 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=867420 CPUtime=0
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996664577 888238080 22164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867420
[startup+6.30288 s]
/proc/loadavg: 2.07 1.74 1.36 3/81 23336
/proc/meminfo: memFree=1494952/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=867424 CPUtime=6.23
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 27113 0 1 0 489 134 0 0 18 0 9 0 1996664572 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 216856 26440 2006 9 0 211384 0
[pid=23327/tid=23329] ppid=23325 vsize=867424 CPUtime=5.4
/proc/23327/task/23329/stat : 23329 (java) R 23325 23327 21435 0 -1 64 15775 0 1 0 412 128 0 0 25 0 9 0 1996664573 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=867424 CPUtime=0.54
/proc/23327/task/23330/stat : 23330 (java) S 23325 23327 21435 0 -1 64 9925 0 0 0 50 4 0 0 17 0 9 0 1996664575 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=867424 CPUtime=0
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996664575 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=867424 CPUtime=0
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996664575 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=867424 CPUtime=0
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996664577 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=867424 CPUtime=0.27
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 717 0 0 0 27 0 0 0 16 0 9 0 1996664577 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=867424 CPUtime=0
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996664577 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=867424 CPUtime=0
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996664577 888242176 26440 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867424
[startup+12.703 s]
/proc/loadavg: 2.06 1.74 1.37 3/83 23338
/proc/meminfo: memFree=1298264/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=868068 CPUtime=12.56
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 73302 3100 1 0 784 203 263 6 18 0 9 0 1996664572 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 217017 71806 2014 9 0 211545 0
[pid=23327/tid=23329] ppid=23325 vsize=868068 CPUtime=10.87
/proc/23327/task/23329/stat : 23329 (java) R 23325 23327 21435 0 -1 64 16228 3100 1 0 647 171 263 6 20 0 9 0 1996664573 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4127236608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=868068 CPUtime=4.01
/proc/23327/task/23330/stat : 23330 (java) S 23325 23327 21435 0 -1 64 55310 3100 0 0 105 27 263 6 16 0 9 0 1996664575 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=868068 CPUtime=2.69
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 13 3100 0 0 0 0 263 6 16 0 9 0 1996664575 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=868068 CPUtime=2.69
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 5 3100 0 0 0 0 263 6 16 0 9 0 1996664575 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=868068 CPUtime=2.69
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 18 0 9 0 1996664577 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=868068 CPUtime=3
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 917 3100 0 0 31 0 263 6 16 0 9 0 1996664577 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=868068 CPUtime=2.69
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 19 0 9 0 1996664577 888901632 71806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=868068 CPUtime=2.69
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664577 888901632 71806 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) 868068
Solver just ended. Dumping a history of the last processes samples
[startup+14.3063 s]
/proc/loadavg: 2.06 1.74 1.37 3/81 23340
/proc/meminfo: memFree=1304224/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=868156 CPUtime=14.15
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 110925 3100 1 0 934 212 263 6 18 0 9 0 1996664572 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 217039 76476 2637 9 0 211545 0
[pid=23327/tid=23329] ppid=23325 vsize=868156 CPUtime=11.65
/proc/23327/task/23329/stat : 23329 (java) R 23325 23327 21435 0 -1 64 30617 3100 1 0 722 174 263 6 16 0 9 0 1996664573 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 102064736 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=868156 CPUtime=4.76
/proc/23327/task/23330/stat : 23330 (java) R 23325 23327 21435 0 -1 64 78479 3100 0 0 174 33 263 6 21 0 9 0 1996664575 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 15 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 18 0 9 0 1996664577 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=868156 CPUtime=3.06
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 965 3100 0 0 37 0 263 6 15 0 9 0 1996664577 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 19 0 9 0 1996664577 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664577 888991744 76476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.15
Current children cumulated vsize (KiB) 868156
[startup+14.7014 s]
/proc/loadavg: 2.06 1.74 1.37 3/81 23340
/proc/meminfo: memFree=1304224/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=868156 CPUtime=14.54
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 114484 3100 1 0 971 214 263 6 18 0 9 0 1996664572 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 217039 78745 2638 9 0 211545 0
[pid=23327/tid=23329] ppid=23325 vsize=868156 CPUtime=11.9
/proc/23327/task/23329/stat : 23329 (java) R 23325 23327 21435 0 -1 64 30648 3100 1 0 747 174 263 6 17 0 9 0 1996664573 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4126378694 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=868156 CPUtime=4.86
/proc/23327/task/23330/stat : 23330 (java) R 23325 23327 21435 0 -1 64 81952 3100 0 0 183 34 263 6 22 0 9 0 1996664575 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 15 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 18 0 9 0 1996664577 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=868156 CPUtime=3.09
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 1020 3100 0 0 40 0 263 6 15 0 9 0 1996664577 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 19 0 9 0 1996664577 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664577 888991744 78745 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (KiB) 868156
[startup+14.9014 s]
/proc/loadavg: 2.06 1.74 1.37 3/81 23340
/proc/meminfo: memFree=1304224/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=868156 CPUtime=14.74
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 115980 3100 1 0 991 214 263 6 18 0 9 0 1996664572 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 217039 80239 2638 9 0 211545 0
[pid=23327/tid=23329] ppid=23325 vsize=868156 CPUtime=12.05
/proc/23327/task/23329/stat : 23329 (java) S 23325 23327 21435 0 -1 64 30651 3100 1 0 762 174 263 6 18 0 9 0 1996664573 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=868156 CPUtime=4.91
/proc/23327/task/23330/stat : 23330 (java) R 23325 23327 21435 0 -1 64 83445 3100 0 0 187 35 263 6 23 0 9 0 1996664575 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 101443073 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 15 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 18 0 9 0 1996664577 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=868156 CPUtime=3.09
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 1020 3100 0 0 40 0 263 6 15 0 9 0 1996664577 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 19 0 9 0 1996664577 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664577 888991744 80239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 868156
[startup+15.0024 s]
/proc/loadavg: 2.06 1.74 1.37 3/81 23340
/proc/meminfo: memFree=1304224/2055920 swapFree=4110920/4192956
[pid=23327] ppid=23325 vsize=868156 CPUtime=14.84
/proc/23327/stat : 23327 (java) S 23325 23327 21435 0 -1 0 116005 3100 1 0 1001 214 263 6 18 0 9 0 1996664572 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23327/statm: 217039 80258 2638 9 0 211545 0
[pid=23327/tid=23329] ppid=23325 vsize=868156 CPUtime=12.14
/proc/23327/task/23329/stat : 23329 (java) S 23325 23327 21435 0 -1 64 30673 3100 1 0 771 174 263 6 18 0 9 0 1996664573 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23330] ppid=23325 vsize=868156 CPUtime=4.92
/proc/23327/task/23330/stat : 23330 (java) R 23325 23327 21435 0 -1 64 83445 3100 0 0 188 35 263 6 23 0 9 0 1996664575 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4160647107 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23331] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23331/stat : 23331 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 16 0 9 0 1996664575 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23332] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23332/stat : 23332 (java) S 23325 23327 21435 0 -1 64 15 3100 0 0 0 0 263 6 15 0 9 0 1996664575 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23333] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23333/stat : 23333 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 18 0 9 0 1996664577 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23334] ppid=23325 vsize=868156 CPUtime=3.1
/proc/23327/task/23334/stat : 23334 (java) S 23325 23327 21435 0 -1 64 1023 3100 0 0 41 0 263 6 16 0 9 0 1996664577 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23335] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23335/stat : 23335 (java) S 23325 23327 21435 0 -1 64 1 3100 0 0 0 0 263 6 19 0 9 0 1996664577 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23327/tid=23336] ppid=23325 vsize=868156 CPUtime=2.69
/proc/23327/task/23336/stat : 23336 (java) S 23325 23327 21435 0 -1 64 20 3100 0 0 0 0 263 6 15 0 9 0 1996664577 888991744 80258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.84
Current children cumulated vsize (KiB) 868156
Child status: 0
Real time (s): 15.0619
CPU time (s): 14.9127
CPU user time (s): 12.6521
CPU system time (s): 2.26066
CPU usage (%): 99.0098
Max. virtual memory (cumulated for all children) (KiB): 883608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6521
system time used= 2.26066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119147
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= 1826
involuntary context switches= 2126
runsolver used 0.019996 second user time and 0.056991 second system time
The end
Begin job on node70 at 2008-07-04 15:09:17
IDJOB=1073289
IDBENCH=56333
IDSOLVER=364
FILE ID=node70/1073289-1215176957
PBS_JOBID= 7881408
Free space on /tmp= 66432 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-07-08.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-1073289-1215176957/watcher-1073289-1215176957 -o /tmp/evaluation-result-1073289-1215176957/solver-1073289-1215176957 -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-1073289-1215176957.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= cc16c493dbfac3e6a3e2b2c64b0d62cb
RANDOM SEED=699611864
node70.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.256
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.256
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: 1593872 kB
Buffers: 41976 kB
Cached: 143224 kB
SwapCached: 76328 kB
Active: 349200 kB
Inactive: 56880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593872 kB
SwapTotal: 4192956 kB
SwapFree: 4110920 kB
Dirty: 8628 kB
Writeback: 0 kB
Mapped: 227888 kB
Slab: 40912 kB
Committed_AS: 4251448 kB
PageTables: 2104 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= 66432 MiB
End job on node70 at 2008-07-04 15:09:32