0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.19/0.26
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1086602-1215240213.xml
0.28/0.30
0.28/0.30 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.58/0.61 nbVariables=1500 nbDomainTypes=17 minDomainSize=90 maxDomainSize=698 nbTotalValues=844907
0.58/0.61 => wckTime=0.379 cpuTime=0.27 mem=35M256
0.58/0.61
0.58/0.61 predicates being loaded...
0.58/0.67
0.58/0.67 constraints being loaded...
20.65/20.77
20.65/20.77 INFO : Stopping converting binary constraints (cpu=20.21, mem = 77M821)
28.10/28.28 nbConstraints=11765 nbGlobalConstraints=42 nbMergedConstraints=10344 nbConvertedConstraints=100
28.10/28.28 nbConvertConstraintsChecks=42696572 nbExtensionStructures=96 nbSharedExtensionStructures=9
28.10/28.28 nbConflictsStructures=131 nbSharedConflictsStructures=73 nbUnbuiltConflictsStructures=7435
28.10/28.28 nbSharedBinaryRepresentations=83343 nbEvaluationManagers=7470 nbSharedEvaluationManagers=4153 minDegree=3
28.10/28.28 maxDegree=49 minArity=2 avgArity=2.01 maxArity=8 nbGenerators=0 nbFusions=0 symmetryWckTime=3.279
28.10/28.28 symmetryCpuTime=3.03 nbCliques=42
28.10/28.28 => wckTime=28.046 cpuTime=26.86 mem=85M422
28.50/28.66
28.50/28.66 solver IterativeSystematicSolver being built...
28.89/29.06
28.89/29.06 INFO : Forward propagation technique limited
29.10/29.29 => wckTime=29.059 cpuTime=27.25 mem=146M837
30.58/30.75
30.58/30.75 preprocessing
30.58/30.75 nbConstraintChecks=2478421 nbValidityChecks=81354 nbPropagations=137 nbRevisions=2407 nbUselessRevisions=1453
30.58/30.75 nbRemovedValues=171287 detectedInconsistency=yes
30.58/30.75 => wckTime=1.441 cpuTime=1.4 mem=147M779
30.58/30.76
30.58/30.76 global
30.58/30.76 nbConstraintChecks=2478421 nbValidityChecks=81354 nbPropagations=137 nbRevisions=2407 nbUselessRevisions=1453
30.58/30.76 nbRestartNogoods=0 solvingWckTime=1.444 solvingCpuTime=1.4 expiredTime=no totalExploration=yes
30.58/30.76 nbFoundSolutions=0 globalCpuTime=28.7
30.58/30.76 => wckTime=30.521 cpuTime=28.66 mem=147M779
30.58/30.77
30.58/30.77 s UNSATISFIABLE
30.58/30.78 d NODES 0
30.58/30.78 d CHECKS 2478421
30.58/30.78
30.58/30.78 totalWckTime=30.604 totalCpuTime=28.72
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086602-1215240213/watcher-1086602-1215240213 -o /tmp/evaluation-result-1086602-1215240213/solver-1086602-1215240213 -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-1086602-1215240213.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.20 2.05 2.01 4/93 8766
/proc/meminfo: memFree=1542168/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=308 CPUtime=0
/proc/8766/stat : 8766 (java) R 8764 8766 8453 0 -1 0 219 0 0 0 0 0 0 0 18 0 1 0 1553695376 315392 39 996147200 134512640 134550740 4294955968 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/8766/statm: 77 39 29 9 0 6 0
[startup+0.0551789 s]
/proc/loadavg: 2.20 2.05 2.01 4/93 8766
/proc/meminfo: memFree=1542168/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=864076 CPUtime=0.04
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 2808 0 1 0 3 1 0 0 18 0 9 0 1553695376 884813824 2346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216019 2346 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.101189 s]
/proc/loadavg: 2.20 2.05 2.01 4/93 8766
/proc/meminfo: memFree=1542168/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=865884 CPUtime=0.08
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 3811 0 1 0 7 1 0 0 18 0 9 0 1553695376 886665216 3262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216471 3263 1725 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301222 s]
/proc/loadavg: 2.20 2.05 2.01 4/93 8766
/proc/meminfo: memFree=1542168/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=866400 CPUtime=0.28
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 6078 0 1 0 24 4 0 0 18 0 9 0 1553695376 887193600 5448 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216600 5448 1961 9 0 211128 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866400
[startup+0.701293 s]
/proc/loadavg: 2.20 2.05 2.01 4/93 8766
/proc/meminfo: memFree=1542168/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=867416 CPUtime=0.69
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 14297 0 1 0 61 8 0 0 18 0 9 0 1553695376 888233984 13657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216854 13657 2010 9 0 211360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867416
[startup+1.50143 s]
/proc/loadavg: 2.20 2.05 2.01 3/102 8775
/proc/meminfo: memFree=1461264/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=867460 CPUtime=1.48
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 22763 0 1 0 137 11 0 0 18 0 9 0 1553695376 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216865 22099 2004 9 0 211393 0
[pid=8766/tid=8768] ppid=8764 vsize=867460 CPUtime=1.23
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 15743 0 1 0 116 7 0 0 25 0 9 0 1553695377 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 102385829 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8769] ppid=8764 vsize=867460 CPUtime=0.06
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 5692 0 0 0 4 2 0 0 17 0 9 0 1553695378 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8770] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8771] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8772] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1553695380 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=867460 CPUtime=0.16
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 632 0 0 0 16 0 0 0 16 0 9 0 1553695380 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8774] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1553695380 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553695380 888279040 22099 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867460
[startup+3.10271 s]
/proc/loadavg: 2.20 2.05 2.01 3/102 8775
/proc/meminfo: memFree=1448848/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=867460 CPUtime=3.08
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 25826 0 1 0 296 12 0 0 18 0 9 0 1553695376 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216865 25158 2006 9 0 211393 0
[pid=8766/tid=8768] ppid=8764 vsize=867460 CPUtime=2.74
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 15777 0 1 0 266 8 0 0 25 0 9 0 1553695377 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4126904999 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8769] ppid=8764 vsize=867460 CPUtime=0.14
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 8706 0 0 0 11 3 0 0 17 0 9 0 1553695378 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8770] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8771] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8772] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1553695380 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=867460 CPUtime=0.18
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 647 0 0 0 18 0 0 0 15 0 9 0 1553695380 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8774] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1553695380 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553695380 888279040 25158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867460
[startup+6.30126 s]
/proc/loadavg: 2.19 2.05 2.01 3/102 8775
/proc/meminfo: memFree=1439512/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=867460 CPUtime=6.29
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 25834 0 1 0 616 13 0 0 18 0 9 0 1553695376 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216865 25164 2006 9 0 211393 0
[pid=8766/tid=8768] ppid=8764 vsize=867460 CPUtime=5.93
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 15782 0 1 0 585 8 0 0 25 0 9 0 1553695377 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4126906352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8769] ppid=8764 vsize=867460 CPUtime=0.14
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 8706 0 0 0 11 3 0 0 16 0 9 0 1553695378 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8770] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8771] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8772] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1553695380 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=867460 CPUtime=0.18
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 650 0 0 0 18 0 0 0 16 0 9 0 1553695380 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8774] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1553695380 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553695380 888279040 25164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867460
[startup+12.7014 s]
/proc/loadavg: 2.17 2.04 2.01 3/102 8775
/proc/meminfo: memFree=1421592/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=867460 CPUtime=12.67
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 25840 0 1 0 1254 13 0 0 18 0 9 0 1553695376 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 216865 25168 2006 9 0 211393 0
[pid=8766/tid=8768] ppid=8764 vsize=867460 CPUtime=12.31
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 15784 0 1 0 1223 8 0 0 25 0 9 0 1553695377 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4126905023 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8769] ppid=8764 vsize=867460 CPUtime=0.14
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 8706 0 0 0 11 3 0 0 16 0 9 0 1553695378 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8770] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8771] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553695379 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8772] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1553695380 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=867460 CPUtime=0.2
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 654 0 0 0 19 1 0 0 16 0 9 0 1553695380 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8774] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1553695380 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=867460 CPUtime=0
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553695380 888279040 25168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867460
[startup+25.5029 s]
/proc/loadavg: 2.13 2.04 2.01 3/92 8814
/proc/meminfo: memFree=1524648/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=868108 CPUtime=25.42
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 33927 715 1 0 2509 20 12 1 18 0 10 0 1553695376 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 217027 32149 2018 9 0 211555 0
[pid=8766/tid=8768] ppid=8764 vsize=868108 CPUtime=24.43
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 16678 715 1 0 2420 10 12 1 18 0 10 0 1553695377 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8769] ppid=8764 vsize=868108 CPUtime=0.8
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 15603 715 0 0 61 6 12 1 17 0 10 0 1553695378 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8770] ppid=8764 vsize=868108 CPUtime=0.13
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 13 715 0 0 0 0 12 1 16 0 10 0 1553695379 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8771] ppid=8764 vsize=868108 CPUtime=0.13
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 5 715 0 0 0 0 12 1 16 0 10 0 1553695379 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8772] ppid=8764 vsize=868108 CPUtime=0.13
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 715 0 0 0 0 12 1 24 0 10 0 1553695380 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=868108 CPUtime=0.41
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 815 715 0 0 27 1 12 1 15 0 10 0 1553695380 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8774] ppid=8764 vsize=868108 CPUtime=0.13
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 715 0 0 0 0 12 1 25 0 10 0 1553695380 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=868108 CPUtime=0.13
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 9 715 0 0 0 0 12 1 15 0 10 0 1553695380 888942592 32149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868108
Solver just ended. Dumping a history of the last processes samples
[startup+28.7024 s]
/proc/loadavg: 2.13 2.04 2.01 4/90 8816
/proc/meminfo: memFree=1523760/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=868196 CPUtime=28.6
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 54483 841 1 0 2822 24 12 2 18 0 9 0 1553695376 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 217049 34958 2637 9 0 211555 0
[pid=8766/tid=8768] ppid=8764 vsize=868196 CPUtime=27.21
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 20205 841 1 0 2696 11 12 2 25 0 9 0 1553695377 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8769] ppid=8764 vsize=868196 CPUtime=1.18
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 32553 841 0 0 95 9 12 2 19 0 9 0 1553695378 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8770] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 17 841 0 0 0 0 12 2 17 0 9 0 1553695379 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8771] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 15 841 0 0 0 0 12 2 16 0 9 0 1553695379 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8772] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 24 0 9 0 1553695380 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=868196 CPUtime=0.44
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 867 841 0 0 29 1 12 2 15 0 9 0 1553695380 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8774] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 25 0 9 0 1553695380 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 10 841 0 0 0 0 12 2 15 0 9 0 1553695380 889032704 34958 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.6
Current children cumulated vsize (KiB) 868196
[startup+29.5023 s]
/proc/loadavg: 2.13 2.04 2.01 4/90 8816
/proc/meminfo: memFree=1523760/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=868196 CPUtime=29.39
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 83124 841 1 0 2890 35 12 2 18 0 9 0 1553695376 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 217049 53370 2638 9 0 211555 0
[pid=8766/tid=8768] ppid=8764 vsize=868196 CPUtime=27.75
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 29431 841 1 0 2747 14 12 2 25 0 9 0 1553695377 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4126901296 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8769] ppid=8764 vsize=868196 CPUtime=1.38
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 51918 841 0 0 107 17 12 2 16 0 9 0 1553695378 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8770] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 17 841 0 0 0 0 12 2 16 0 9 0 1553695379 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8771] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 27 841 0 0 0 0 12 2 15 0 9 0 1553695379 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8772] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 24 0 9 0 1553695380 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=868196 CPUtime=0.49
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 905 841 0 0 34 1 12 2 15 0 9 0 1553695380 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8774] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 25 0 9 0 1553695380 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 10 841 0 0 0 0 12 2 15 0 9 0 1553695380 889032704 53370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.39
Current children cumulated vsize (KiB) 868196
[startup+30.3024 s]
/proc/loadavg: 2.12 2.04 2.01 3/90 8816
/proc/meminfo: memFree=1440496/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=868196 CPUtime=30.18
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 83127 841 1 0 2969 35 12 2 18 0 9 0 1553695376 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 217049 53372 2638 9 0 211555 0
[pid=8766/tid=8768] ppid=8764 vsize=868196 CPUtime=28.54
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 29432 841 1 0 2826 14 12 2 25 0 9 0 1553695377 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4127064673 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8769] ppid=8764 vsize=868196 CPUtime=1.38
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 51918 841 0 0 107 17 12 2 17 0 9 0 1553695378 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8770] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 17 841 0 0 0 0 12 2 16 0 9 0 1553695379 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8771] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 27 841 0 0 0 0 12 2 15 0 9 0 1553695379 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8772] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 24 0 9 0 1553695380 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=868196 CPUtime=0.5
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 907 841 0 0 35 1 12 2 15 0 9 0 1553695380 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8774] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 25 0 9 0 1553695380 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 10 841 0 0 0 0 12 2 15 0 9 0 1553695380 889032704 53372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.18
Current children cumulated vsize (KiB) 868196
[startup+30.7015 s]
/proc/loadavg: 2.12 2.04 2.01 3/90 8816
/proc/meminfo: memFree=1440112/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=868196 CPUtime=30.58
/proc/8766/stat : 8766 (java) S 8764 8766 8453 0 -1 0 83128 841 1 0 3009 35 12 2 18 0 9 0 1553695376 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8766/statm: 217049 53373 2638 9 0 211555 0
[pid=8766/tid=8768] ppid=8764 vsize=868196 CPUtime=28.93
/proc/8766/task/8768/stat : 8768 (java) R 8764 8766 8453 0 -1 64 29432 841 1 0 2865 14 12 2 25 0 9 0 1553695377 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4126908919 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8769] ppid=8764 vsize=868196 CPUtime=1.38
/proc/8766/task/8769/stat : 8769 (java) S 8764 8766 8453 0 -1 64 51918 841 0 0 107 17 12 2 17 0 9 0 1553695378 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8770] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8770/stat : 8770 (java) S 8764 8766 8453 0 -1 64 17 841 0 0 0 0 12 2 16 0 9 0 1553695379 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8771] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8771/stat : 8771 (java) S 8764 8766 8453 0 -1 64 27 841 0 0 0 0 12 2 15 0 9 0 1553695379 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8772] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8772/stat : 8772 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 24 0 9 0 1553695380 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8773] ppid=8764 vsize=868196 CPUtime=0.5
/proc/8766/task/8773/stat : 8773 (java) S 8764 8766 8453 0 -1 64 908 841 0 0 35 1 12 2 15 0 9 0 1553695380 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8766/tid=8774] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8774/stat : 8774 (java) S 8764 8766 8453 0 -1 64 1 841 0 0 0 0 12 2 25 0 9 0 1553695380 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8766/tid=8775] ppid=8764 vsize=868196 CPUtime=0.14
/proc/8766/task/8775/stat : 8775 (java) S 8764 8766 8453 0 -1 64 10 841 0 0 0 0 12 2 15 0 9 0 1553695380 889032704 53373 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.58
Current children cumulated vsize (KiB) 868196
[startup+30.8069 s]
/proc/loadavg: 2.12 2.04 2.01 3/90 8816
/proc/meminfo: memFree=1440112/2055920 swapFree=4121428/4192956
[pid=8766] ppid=8764 vsize=0 CPUtime=30.66
/proc/8766/stat : 8766 (java) Z 8764 8766 8453 0 -1 12 83163 841 1 0 3016 36 12 2 16 0 2 0 1553695376 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8766/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 30.66
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 30.8315
CPU time (s): 30.7123
CPU user time (s): 30.2944
CPU system time (s): 0.417936
CPU usage (%): 99.6134
Max. virtual memory (cumulated for all children) (KiB): 870040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2944
system time used= 0.417936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84004
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= 2704
involuntary context switches= 3247
runsolver used 0.044993 second user time and 0.111982 second system time
The end
Begin job on node14 at 2008-07-05 08:43:33
IDJOB=1086602
IDBENCH=57843
IDSOLVER=364
FILE ID=node14/1086602-1215240213
PBS_JOBID= 7881980
Free space on /tmp= 66416 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp35/normalized-fapp35-1500-3.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-1086602-1215240213/watcher-1086602-1215240213 -o /tmp/evaluation-result-1086602-1215240213/solver-1086602-1215240213 -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-1086602-1215240213.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e300dafa26bcab4445d58a8b5c31c7b7
RANDOM SEED=1808588021
node14.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.267
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 : 5931.00
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.267
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: 1542648 kB
Buffers: 45252 kB
Cached: 208140 kB
SwapCached: 65664 kB
Active: 372568 kB
Inactive: 86028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1542648 kB
SwapTotal: 4192956 kB
SwapFree: 4121428 kB
Dirty: 5228 kB
Writeback: 0 kB
Mapped: 222320 kB
Slab: 39288 kB
Committed_AS: 3793160 kB
PageTables: 2444 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 node14 at 2008-07-05 08:44:04