0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1085908-1215236057.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.38/0.41
0.38/0.42 variables being loaded...
0.57/0.65 nbVariables=900 nbDomainTypes=28 minDomainSize=42 maxDomainSize=362 nbTotalValues=197665
0.57/0.65 => wckTime=0.416 cpuTime=0.3 mem=15M696
0.57/0.65
0.57/0.65 predicates being loaded...
0.67/0.71
0.67/0.71 constraints being loaded...
20.70/20.95
20.70/20.96 INFO : Stopping converting binary constraints (cpu=20.12, mem = 31M669)
25.85/26.18 nbConstraints=6082 nbGlobalConstraints=11 nbMergedConstraints=5310 nbConvertedConstraints=794
25.85/26.18 nbConvertConstraintsChecks=43829810 nbExtensionStructures=741 nbSharedExtensionStructures=83
25.85/26.18 nbConflictsStructures=1493 nbSharedConflictsStructures=170 nbUnbuiltConflictsStructures=3922
25.85/26.18 nbSharedBinaryRepresentations=219079 nbEvaluationManagers=4674 nbSharedEvaluationManagers=603 minDegree=3
25.85/26.18 maxDegree=30 minArity=2 avgArity=2.01 maxArity=7 nbGenerators=0 nbFusions=0 symmetryWckTime=0.763
25.85/26.18 symmetryCpuTime=0.62 nbCliques=11
25.85/26.18 => wckTime=25.944 cpuTime=24.88 mem=79M846
26.15/26.46
26.15/26.46 solver IterativeSystematicSolver being built...
26.34/26.61
26.34/26.61 INFO : Forward propagation technique limited
26.44/26.75 => wckTime=26.511 cpuTime=25.11 mem=58M610
26.64/26.95
26.64/26.95 preprocessing
26.64/26.95 nbConstraintChecks=294809 nbValidityChecks=13587 nbPropagations=30 nbRevisions=387 nbUselessRevisions=194
26.64/26.95 nbRemovedValues=9501 detectedInconsistency=yes
26.64/26.95 => wckTime=0.194 cpuTime=0.18 mem=58M610
26.64/26.95
26.64/26.95 global
26.64/26.95 nbConstraintChecks=294809 nbValidityChecks=13587 nbPropagations=30 nbRevisions=387 nbUselessRevisions=194
26.64/26.95 nbRestartNogoods=0 solvingWckTime=0.196 solvingCpuTime=0.18 expiredTime=no totalExploration=yes
26.64/26.95 nbFoundSolutions=0 globalCpuTime=25.34
26.64/26.95 => wckTime=26.714 cpuTime=25.29 mem=58M610
26.64/26.95
26.64/26.95 s UNSATISFIABLE
26.64/26.95 d NODES 0
26.64/26.95 d CHECKS 294809
26.64/26.95
26.64/26.95 totalWckTime=26.773 totalCpuTime=25.35
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085908-1215236057/watcher-1085908-1215236057 -o /tmp/evaluation-result-1085908-1215236057/solver-1085908-1215236057 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085908-1215236057.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.98 1.99 4/73 4340
/proc/meminfo: memFree=1551720/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=1616 CPUtime=0
/proc/4340/stat : 4340 (java) R 4338 4340 3936 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1553281958 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/4340/statm: 404 148 122 9 0 46 0
[startup+0.0782109 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 4340
/proc/meminfo: memFree=1551720/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=866880 CPUtime=0.06
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 3431 0 1 0 4 2 0 0 18 0 9 0 1553281958 887685120 2930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 216720 2930 1576 9 0 211282 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 866880
[startup+0.101209 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 4340
/proc/meminfo: memFree=1551720/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=866908 CPUtime=0.09
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 3776 0 1 0 7 2 0 0 18 0 9 0 1553281958 887713792 3227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 216727 3227 1711 9 0 211282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866908
[startup+0.30125 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 4340
/proc/meminfo: memFree=1551720/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=867220 CPUtime=0.28
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 5625 0 1 0 25 3 0 0 18 0 9 0 1553281958 888033280 5039 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 216805 5039 1903 9 0 211353 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867220
[startup+0.701326 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 4340
/proc/meminfo: memFree=1551720/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868132 CPUtime=0.67
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 9046 0 1 0 61 6 0 0 18 0 9 0 1553281958 888967168 8407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217033 8407 1998 9 0 211539 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 868132
[startup+1.50248 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 4349
/proc/meminfo: memFree=1512544/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868656 CPUtime=1.47
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 19535 0 1 0 134 13 0 0 18 0 9 0 1553281958 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217164 18870 2004 9 0 211692 0
[pid=4340/tid=4342] ppid=4338 vsize=868656 CPUtime=1.21
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 15751 0 1 0 110 11 0 0 25 0 9 0 1553281959 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4126804918 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868656 CPUtime=0.06
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 2419 0 0 0 6 0 0 0 16 0 9 0 1553281960 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553281963 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868656 CPUtime=0.16
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 668 0 0 0 16 0 0 0 16 0 9 0 1553281963 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553281963 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553281963 889503744 18870 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868656
[startup+3.10278 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 4349
/proc/meminfo: memFree=1483360/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868656 CPUtime=3.06
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 19587 0 1 0 292 14 0 0 18 0 9 0 1553281958 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217164 18919 2006 9 0 211692 0
[pid=4340/tid=4342] ppid=4338 vsize=868656 CPUtime=2.77
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 15782 0 1 0 266 11 0 0 25 0 9 0 1553281959 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4126938091 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868656 CPUtime=0.06
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 2419 0 0 0 6 0 0 0 17 0 9 0 1553281960 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553281963 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868656 CPUtime=0.2
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 689 0 0 0 19 1 0 0 16 0 9 0 1553281963 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553281963 889503744 18919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553281963 889503744 18919 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) 868656
[startup+6.3024 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 4349
/proc/meminfo: memFree=1483168/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868656 CPUtime=6.23
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 19615 0 1 0 609 14 0 0 18 0 9 0 1553281958 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217164 18944 2006 9 0 211692 0
[pid=4340/tid=4342] ppid=4338 vsize=868656 CPUtime=5.91
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 15785 0 1 0 580 11 0 0 25 0 9 0 1553281959 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4126938154 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868656 CPUtime=0.06
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 2419 0 0 0 6 0 0 0 17 0 9 0 1553281960 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553281963 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868656 CPUtime=0.22
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 714 0 0 0 21 1 0 0 16 0 9 0 1553281963 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553281963 889503744 18944 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553281963 889503744 18944 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) 868656
[startup+12.7026 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 4349
/proc/meminfo: memFree=1482912/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868656 CPUtime=12.57
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 19622 0 1 0 1241 16 0 0 18 0 9 0 1553281958 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217164 18948 2006 9 0 211692 0
[pid=4340/tid=4342] ppid=4338 vsize=868656 CPUtime=12.25
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 15788 0 1 0 1212 13 0 0 25 0 9 0 1553281959 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4126889640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868656 CPUtime=0.06
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 2419 0 0 0 6 0 0 0 17 0 9 0 1553281960 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553281963 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868656 CPUtime=0.23
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 718 0 0 0 22 1 0 0 15 0 9 0 1553281963 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553281963 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553281963 889503744 18948 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 868656
[startup+25.5011 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 4349
/proc/meminfo: memFree=1454688/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868656 CPUtime=25.27
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 26695 0 1 0 2506 21 0 0 18 0 9 0 1553281958 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217164 26012 2007 9 0 211692 0
[pid=4340/tid=4342] ppid=4338 vsize=868656 CPUtime=24.53
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 15804 0 1 0 2438 15 0 0 25 0 9 0 1553281959 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868656 CPUtime=0.42
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 9448 0 0 0 39 3 0 0 16 0 9 0 1553281960 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553281961 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553281963 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868656 CPUtime=0.29
/proc/4340/task/4347/stat : 4347 (java) R 4338 4340 3936 0 -1 64 746 0 0 0 28 1 0 0 16 0 9 0 1553281963 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 101738949 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553281963 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868656 CPUtime=0
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553281963 889503744 26012 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 868656
Solver just ended. Dumping a history of the last processes samples
[startup+26.3022 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 4353
/proc/meminfo: memFree=1454176/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868980 CPUtime=26.05
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 42644 573 1 0 2572 26 6 1 18 0 9 0 1553281958 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217245 26170 2067 9 0 211773 0
[pid=4340/tid=4342] ppid=4338 vsize=868980 CPUtime=25.15
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 20024 573 1 0 2492 16 6 1 25 0 9 0 1553281959 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868980 CPUtime=0.61
/proc/4340/task/4343/stat : 4343 (java) R 4338 4340 3936 0 -1 64 20873 573 0 0 48 6 6 1 16 0 9 0 1553281960 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 102721887 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 13 573 0 0 0 0 6 1 16 0 9 0 1553281961 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 5 573 0 0 0 0 6 1 16 0 9 0 1553281961 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 18 0 9 0 1553281963 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868980 CPUtime=0.38
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 901 573 0 0 30 1 6 1 15 0 9 0 1553281963 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 19 0 9 0 1553281963 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 10 573 0 0 0 0 6 1 15 0 9 0 1553281963 889835520 26170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (KiB) 868980
[startup+26.7023 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 4353
/proc/meminfo: memFree=1454176/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=869068 CPUtime=26.44
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 52172 573 1 0 2609 28 6 1 18 0 9 0 1553281958 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217267 29227 2637 9 0 211773 0
[pid=4340/tid=4342] ppid=4338 vsize=869068 CPUtime=25.34
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 25006 573 1 0 2510 17 6 1 25 0 9 0 1553281959 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=869068 CPUtime=0.78
/proc/4340/task/4343/stat : 4343 (java) R 4338 4340 3936 0 -1 64 25344 573 0 0 64 7 6 1 16 0 9 0 1553281960 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=869068 CPUtime=0.07
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 17 573 0 0 0 0 6 1 17 0 9 0 1553281961 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=869068 CPUtime=0.07
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 15 573 0 0 0 0 6 1 16 0 9 0 1553281961 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=869068 CPUtime=0.07
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 18 0 9 0 1553281963 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=869068 CPUtime=0.41
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 962 573 0 0 33 1 6 1 15 0 9 0 1553281963 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=869068 CPUtime=0.07
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 19 0 9 0 1553281963 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=869068 CPUtime=0.07
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 10 573 0 0 0 0 6 1 15 0 9 0 1553281963 889925632 29227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.44
Current children cumulated vsize (KiB) 869068
[startup+26.9024 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 4353
/proc/meminfo: memFree=1454176/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868980 CPUtime=26.64
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 53500 573 1 0 2628 29 6 1 18 0 9 0 1553281958 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217245 30509 2616 9 0 211773 0
[pid=4340/tid=4342] ppid=4338 vsize=868980 CPUtime=25.52
/proc/4340/task/4342/stat : 4342 (java) R 4338 4340 3936 0 -1 64 25031 573 1 0 2527 18 6 1 25 0 9 0 1553281959 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4126894775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868980 CPUtime=0.79
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 26622 573 0 0 65 7 6 1 16 0 9 0 1553281960 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 17 573 0 0 0 0 6 1 16 0 9 0 1553281961 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 30 573 0 0 0 0 6 1 15 0 9 0 1553281961 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 18 0 9 0 1553281963 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868980 CPUtime=0.43
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 972 573 0 0 35 1 6 1 15 0 9 0 1553281963 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 19 0 9 0 1553281963 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 10 573 0 0 0 0 6 1 15 0 9 0 1553281963 889835520 30509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.64
Current children cumulated vsize (KiB) 868980
[startup+27.0024 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 4353
/proc/meminfo: memFree=1454176/2055920 swapFree=4114148/4192956
[pid=4340] ppid=4338 vsize=868980 CPUtime=26.69
/proc/4340/stat : 4340 (java) S 4338 4340 3936 0 -1 0 53507 573 1 0 2633 29 6 1 18 0 9 0 1553281958 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4340/statm: 217245 30512 2616 9 0 211773 0
[pid=4340/tid=4342] ppid=4338 vsize=868980 CPUtime=25.57
/proc/4340/task/4342/stat : 4342 (java) S 4338 4340 3936 0 -1 64 25037 573 1 0 2532 18 6 1 25 0 9 0 1553281959 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4343] ppid=4338 vsize=868980 CPUtime=0.79
/proc/4340/task/4343/stat : 4343 (java) S 4338 4340 3936 0 -1 64 26622 573 0 0 65 7 6 1 16 0 9 0 1553281960 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4344] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4344/stat : 4344 (java) S 4338 4340 3936 0 -1 64 17 573 0 0 0 0 6 1 16 0 9 0 1553281961 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4345] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4345/stat : 4345 (java) S 4338 4340 3936 0 -1 64 30 573 0 0 0 0 6 1 15 0 9 0 1553281961 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4346] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4346/stat : 4346 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 18 0 9 0 1553281963 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4347] ppid=4338 vsize=868980 CPUtime=0.43
/proc/4340/task/4347/stat : 4347 (java) S 4338 4340 3936 0 -1 64 973 573 0 0 35 1 6 1 16 0 9 0 1553281963 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4348] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4348/stat : 4348 (java) S 4338 4340 3936 0 -1 64 1 573 0 0 0 0 6 1 19 0 9 0 1553281963 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4340/tid=4349] ppid=4338 vsize=868980 CPUtime=0.07
/proc/4340/task/4349/stat : 4349 (java) S 4338 4340 3936 0 -1 64 10 573 0 0 0 0 6 1 15 0 9 0 1553281963 889835520 30512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.69
Current children cumulated vsize (KiB) 868980
Child status: 0
Real time (s): 27.0277
CPU time (s): 26.7349
CPU user time (s): 26.403
CPU system time (s): 0.331949
CPU usage (%): 98.9167
Max. virtual memory (cumulated for all children) (KiB): 869068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.403
system time used= 0.331949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54108
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= 2243
involuntary context switches= 2795
runsolver used 0.027995 second user time and 0.102984 second system time
The end
Begin job on node9 at 2008-07-05 07:34:17
IDJOB=1085908
IDBENCH=57720
IDSOLVER=363
FILE ID=node9/1085908-1215236057
PBS_JOBID= 7881919
Free space on /tmp= 66540 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp10/normalized-fapp10-0900-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085908-1215236057/watcher-1085908-1215236057 -o /tmp/evaluation-result-1085908-1215236057/solver-1085908-1215236057 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085908-1215236057.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6c0f6900ea5b66ed7e32c3099d9a431e
RANDOM SEED=886838371
node9.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.265
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.265
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: 1552200 kB
Buffers: 45756 kB
Cached: 195744 kB
SwapCached: 73000 kB
Active: 369284 kB
Inactive: 79404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1552200 kB
SwapTotal: 4192956 kB
SwapFree: 4114148 kB
Dirty: 3596 kB
Writeback: 0 kB
Mapped: 213376 kB
Slab: 40024 kB
Committed_AS: 3171364 kB
PageTables: 2232 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= 66536 MiB
End job on node9 at 2008-07-05 07:34:44