0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218153-1168251305/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.68
0.68 constraints being loaded...
0.83 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=3
0.83 => wckTime=0.517 cpuTime=0.47 mem=41M364
0.91
0.91 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.768 cpuTime=0.62 mem=20M947
1.17
1.17 preprocessing
1.17 nbConstraintChecks=20605 nbValidityChecks=32570 nbPropagations=191 nbRevisions=1825 nbUselessRevisions=1533
1.17 nbSingletonTests=26 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.17 => wckTime=0.083 cpuTime=0.05 mem=20M947
1.22
1.22 search
1.22 run=0 nbConstraintChecks=20412 nbValidityChecks=38996 nbPropagations=453 nbRevisions=4647
1.22 nbUselessRevisions=3714 nbAssignments=28 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=48
1.22 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.132 cpuTime=0.09 mem=21M934
1.27
1.27 search
1.27 run=1 nbConstraintChecks=55240 nbValidityChecks=109603 nbPropagations=1405 nbRevisions=14909
1.27 nbUselessRevisions=11825 nbAssignments=73 nbFailedAssignments=37 nbBacktracks=26 nbVisitedNodes=128
1.27 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.186 cpuTime=0.14 mem=21M934
1.34
1.34 search
1.34 run=2 nbConstraintChecks=95298 nbValidityChecks=190461 nbPropagations=2894 nbRevisions=31248
1.34 nbUselessRevisions=24731 nbAssignments=126 nbFailedAssignments=64 nbBacktracks=48 nbVisitedNodes=223
1.34 nbRestartNogoods=6 mapSize=41 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.252 cpuTime=0.2 mem=21M934
1.42
1.42 search
1.42 run=3 nbConstraintChecks=149275 nbValidityChecks=303589 nbPropagations=5277 nbRevisions=56849
1.42 nbUselessRevisions=44763 nbAssignments=211 nbFailedAssignments=113 nbBacktracks=81 nbVisitedNodes=380
1.42 nbRestartNogoods=13 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.33 cpuTime=0.27 mem=21M934
1.56
1.56 search
1.56 run=4 nbConstraintChecks=259108 nbValidityChecks=527206 nbPropagations=9311 nbRevisions=100806
1.56 nbUselessRevisions=78980 nbAssignments=354 nbFailedAssignments=203 nbBacktracks=131 nbVisitedNodes=648
1.56 nbRestartNogoods=14 mapSize=118 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.47 cpuTime=0.4 mem=21M934
1.77
1.77 search
1.77 run=5 nbConstraintChecks=428505 nbValidityChecks=861428 nbPropagations=15519 nbRevisions=169594
1.77 nbUselessRevisions=132767 nbAssignments=546 nbFailedAssignments=316 nbBacktracks=206 nbVisitedNodes=1009
1.77 nbRestartNogoods=19 mapSize=192 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.679 cpuTime=0.61 mem=21M934
2.07
2.07 search
2.07 run=6 nbConstraintChecks=671655 nbValidityChecks=1324116 nbPropagations=24869 nbRevisions=271487
2.07 nbUselessRevisions=212127 nbAssignments=825 nbFailedAssignments=478 nbBacktracks=319 nbVisitedNodes=1525
2.07 nbRestartNogoods=24 mapSize=288 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.981 cpuTime=0.91 mem=21M934
2.61
2.61 search
2.61 run=7 nbConstraintChecks=1096942 nbValidityChecks=2192500 nbPropagations=40036 nbRevisions=433921
2.61 nbUselessRevisions=337126 nbAssignments=1305 nbFailedAssignments=784 nbBacktracks=489 nbVisitedNodes=2431
2.61 nbRestartNogoods=30 mapSize=443 nbInferences=0 nbTooLargeKeys=0
2.61 => wckTime=1.524 cpuTime=1.43 mem=21M934
3.22
3.22 search
3.22 run=8 nbConstraintChecks=1568655 nbValidityChecks=3141587 nbPropagations=62518 nbRevisions=675754
3.22 nbUselessRevisions=523945 nbAssignments=1950 nbFailedAssignments=1169 nbBacktracks=745 nbVisitedNodes=3629
3.22 nbRestartNogoods=34 mapSize=672 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=2.131 cpuTime=2.02 mem=21M934
4.09
4.09 search
4.09 run=9 nbConstraintChecks=2268761 nbValidityChecks=4567328 nbPropagations=95991 nbRevisions=1039478
4.09 nbUselessRevisions=806320 nbAssignments=2836 nbFailedAssignments=1659 nbBacktracks=1130 nbVisitedNodes=5276
4.09 nbRestartNogoods=46 mapSize=1024 nbInferences=0 nbTooLargeKeys=0
4.09 => wckTime=2.998 cpuTime=2.87 mem=21M934
4.13
4.13 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=21M934)
5.38
5.38 search
5.38 run=10 nbConstraintChecks=3342826 nbValidityChecks=6849295 nbPropagations=145084 nbRevisions=1582885
5.38 nbUselessRevisions=1228911 nbAssignments=4533 nbFailedAssignments=2775 nbBacktracks=1706 nbVisitedNodes=8489
5.38 nbRestartNogoods=53
5.38 => wckTime=4.294 cpuTime=4.15 mem=21M934
7.04
7.04 search
7.04 run=11 nbConstraintChecks=4737709 nbValidityChecks=9711628 nbPropagations=217545 nbRevisions=2381336
7.04 nbUselessRevisions=1850692 nbAssignments=6612 nbFailedAssignments=3985 nbBacktracks=2570 nbVisitedNodes=12360
7.04 nbRestartNogoods=67
7.04 => wckTime=5.956 cpuTime=5.79 mem=21M934
9.96
9.96 search
9.96 run=12 nbConstraintChecks=7186468 nbValidityChecks=14545862 nbPropagations=326672 nbRevisions=3569728
9.96 nbUselessRevisions=2774664 nbAssignments=9748 nbFailedAssignments=5819 nbBacktracks=3868 nbVisitedNodes=18222
9.96 nbRestartNogoods=76
9.96 => wckTime=8.873 cpuTime=8.68 mem=21M934
14.85
14.85 search
14.85 run=13 nbConstraintChecks=11432739 nbValidityChecks=23367288 nbPropagations=496470 nbRevisions=5441844
14.85 nbUselessRevisions=4231052 nbAssignments=15081 nbFailedAssignments=9201 nbBacktracks=5815 nbVisitedNodes=28341
14.85 nbRestartNogoods=86
14.85 => wckTime=13.765 cpuTime=13.52 mem=21M934
21.20
21.20 search
21.20 run=14 nbConstraintChecks=16809979 nbValidityChecks=33892544 nbPropagations=743603 nbRevisions=8115104
21.20 nbUselessRevisions=6306196 nbAssignments=21903 nbFailedAssignments=13098 nbBacktracks=8737 nbVisitedNodes=40910
21.20 nbRestartNogoods=98
21.20 => wckTime=20.109 cpuTime=19.81 mem=21M934
32.88
32.88 search
32.88 run=15 nbConstraintChecks=26863477 nbValidityChecks=54469708 nbPropagations=1122281 nbRevisions=12279136
32.88 nbUselessRevisions=9546087 nbAssignments=33719 nbFailedAssignments=20531 nbBacktracks=13115
32.88 nbVisitedNodes=63116 nbRestartNogoods=111
32.88 => wckTime=31.792 cpuTime=31.38 mem=21M934
48.28
48.28 search
48.28 run=16 nbConstraintChecks=40291659 nbValidityChecks=81805533 nbPropagations=1693483 nbRevisions=18487941
48.28 nbUselessRevisions=14360581 nbAssignments=51491 nbFailedAssignments=31682 nbBacktracks=19686
48.28 nbVisitedNodes=96365 nbRestartNogoods=134
48.28 => wckTime=47.194 cpuTime=46.66 mem=21M934
72.71
72.71 search
72.71 run=17 nbConstraintChecks=60885745 nbValidityChecks=123525047 nbPropagations=2553240 nbRevisions=27883021
72.71 nbUselessRevisions=21650322 nbAssignments=75955 nbFailedAssignments=46291 nbBacktracks=29538
72.71 nbVisitedNodes=142137 nbRestartNogoods=146
72.71 => wckTime=71.627 cpuTime=70.86 mem=21M934
111.14
111.14 search
111.14 run=18 nbConstraintChecks=94132570 nbValidityChecks=190638207 nbPropagations=3851282 nbRevisions=42247454
111.14 nbUselessRevisions=32824547 nbAssignments=112325 nbFailedAssignments=68743 nbBacktracks=43436
111.14 nbVisitedNodes=210876 nbRestartNogoods=171
111.14 => wckTime=110.051 cpuTime=108.93 mem=21M934
111.14
111.14 global
111.14 nbConstraintChecks=94153175 nbValidityChecks=190670777 nbPropagations=3851473 nbRevisions=42249279
111.14 nbUselessRevisions=32826080 nbRestartNogoods=171 solvingWckTime=110.053 solvingCpuTime=108.93 expiredTime=no
111.14 totalExploration=no nbFoundSolutions=1 globalCpuTime=109.6
111.14 => wckTime=110.823 cpuTime=109.55 mem=21M934
111.14
111.14 s SATISFIABLE
111.14 v 4 14 3 10 6 2 15 8 14 3 10 1 19 6 1 6 2 15 6 7
111.14 d NODES 112325
111.14 d CHECKS 94153175
111.14
111.14 totalWckTime=110.905 totalCpuTime=109.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-218153-1168251305 -o ROOT/results/node13/solver-218153-1168251305 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218153-1168251305/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.98 2.00 2.00 2/87 3093
/proc/meminfo: memFree=1566848/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=18540 CPUtime=0
/proc/3092/stat : 3092 (runsolver) R 3090 3092 2478 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173525494 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3092/statm: 4635 279 244 17 0 2626 0
[startup+0.102531 s]
/proc/loadavg: 1.98 2.00 2.00 2/87 3093
/proc/meminfo: memFree=1566848/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=914852 CPUtime=0.08
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 2935 0 1 0 6 2 0 0 19 0 8 0 173525494 936808448 2681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12346332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228713 2681 1408 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.510584 s]
/proc/loadavg: 1.98 2.00 2.00 2/87 3093
/proc/meminfo: memFree=1566848/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915328 CPUtime=0.49
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 7507 0 1 0 43 6 0 0 18 0 8 0 173525494 937295872 7246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228832 7246 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3337 s]
/proc/loadavg: 1.98 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510472/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=1.3
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16799 0 1 0 121 9 0 0 24 0 8 0 173525494 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16537 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173525498 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.17
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 356 0 0 0 16 1 0 0 15 0 8 0 173525502 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98692 s]
/proc/loadavg: 1.98 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510344/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=2.94
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16816 0 1 0 284 10 0 0 25 0 8 0 173525494 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16553 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 173525498 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.2
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 373 0 0 0 19 1 0 0 16 0 8 0 173525502 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.28136 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510152/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=6.2
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16829 0 1 0 610 10 0 0 25 0 8 0 173525494 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16563 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.22
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7742 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510216/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=12.64
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16829 0 1 0 1254 10 0 0 25 0 8 0 173525494 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16563 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.22
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460
[startup+25.6279 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510344/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=25.37
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16830 0 1 0 2527 10 0 0 25 0 8 0 173525494 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16563 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.22
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
[startup+51.2614 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510408/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=50.76
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16830 0 1 0 5066 10 0 0 25 0 8 0 173525494 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16563 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.22
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460
[startup+102.52 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 3100
/proc/meminfo: memFree=1510472/2055920 swapFree=4192812/4192956
[pid=3092] ppid=3090 vsize=915460 CPUtime=101.56
/proc/3092/stat : 3092 (java) R 3090 3092 2478 0 -1 0 16830 0 1 0 10145 11 0 0 25 0 8 0 173525494 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3092/statm: 228865 16563 2527 14 0 215335 0
[pid=3092/tid=3094] ppid=3090 vsize=915460 CPUtime=0.06
/proc/3092/task/3094/stat : 3094 (java) S 3090 3092 2478 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3095] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3095/stat : 3095 (java) S 3090 3092 2478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3096] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3096/stat : 3096 (java) S 3090 3092 2478 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173525498 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3097] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3097/stat : 3097 (java) S 3090 3092 2478 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3098] ppid=3090 vsize=915460 CPUtime=0.22
/proc/3092/task/3098/stat : 3098 (java) S 3090 3092 2478 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3099] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3099/stat : 3099 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3092/tid=3100] ppid=3090 vsize=915460 CPUtime=0
/proc/3092/task/3100/stat : 3100 (java) S 3090 3092 2478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173525502 937431040 16563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 111.19
CPU time (s): 110.126
CPU user time (s): 109.999
CPU system time (s): 0.12698
CPU usage (%): 99.0429
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.999
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16838
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= 3380
involuntary context switches= 5624
runsolver used 0.165974 s user time and 0.338948 s system time
The end
Begin job on node13 on Mon Jan 8 10:15:05 UTC 2007
IDJOB= 218153
IDBENCH= 5206
FILE ID= node13/218153-1168251305
PBS_JOBID= 3481650
Free space on /tmp= 66322 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218153-1168251305/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-218153-1168251305 -o ROOT/results/node13/solver-218153-1168251305 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218153-1168251305/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ab6c75a4330ebc652c45903e8fdc50be
RANDOM SEED= 637321914
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.247
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.247
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: 1567328 kB
Buffers: 69312 kB
Cached: 188068 kB
SwapCached: 0 kB
Active: 295688 kB
Inactive: 133312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1567328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2872 kB
Writeback: 0 kB
Mapped: 191824 kB
Slab: 43956 kB
Committed_AS: 4759868 kB
PageTables: 2764 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= 66322 MiB
End job on node13 on Mon Jan 8 10:16:56 UTC 2007