0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202929-1168072752/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=332 nbRelationTypes=332 nbExtensionStructures=332 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=332 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2706 maxDegree=24
0.64 maxArity=2
0.64 => wckTime=0.326 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.523 cpuTime=0.37 mem=13M916
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0050 cpuTime=0.0 mem=13M916
0.90
0.90 search
0.90 run=0 nbConstraintChecks=28683 nbPropagations=447 nbRevisions=4699 nbUselessRevisions=3811 nbAssignments=25
0.90 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.054 cpuTime=0.03 mem=14M892
0.92
0.92 search
0.92 run=1 nbConstraintChecks=72405 nbPropagations=1567 nbRevisions=17753 nbUselessRevisions=14398 nbAssignments=61
0.92 nbFailedAssignments=16 nbBacktracks=32 nbVisitedNodes=96 nbRestartNogoods=1 mapSize=26 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.077 cpuTime=0.05 mem=14M892
0.94
0.94 search
0.94 run=2 nbConstraintChecks=117553 nbPropagations=3406 nbRevisions=39277 nbUselessRevisions=31812
0.94 nbAssignments=104 nbFailedAssignments=28 nbBacktracks=57 nbVisitedNodes=165 nbRestartNogoods=3 mapSize=46
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.098 cpuTime=0.06 mem=14M892
0.96
0.96 search
0.96 run=3 nbConstraintChecks=192902 nbPropagations=6401 nbRevisions=75698 nbUselessRevisions=61199
0.96 nbAssignments=165 nbFailedAssignments=46 nbBacktracks=96 nbVisitedNodes=266 nbRestartNogoods=5 mapSize=76
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.118 cpuTime=0.08 mem=14M892
0.98
0.98 search
0.98 run=4 nbConstraintChecks=279085 nbPropagations=10741 nbRevisions=128921 nbUselessRevisions=104213
0.98 nbAssignments=246 nbFailedAssignments=69 nbBacktracks=147 nbVisitedNodes=399 nbRestartNogoods=6 mapSize=116
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.138 cpuTime=0.1 mem=14M892
1.02
1.02 search
1.02 run=5 nbConstraintChecks=460620 nbPropagations=17518 nbRevisions=214312 nbUselessRevisions=172882
1.02 nbAssignments=380 nbFailedAssignments=120 nbBacktracks=223 nbVisitedNodes=630 nbRestartNogoods=8 mapSize=183
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.178 cpuTime=0.14 mem=14M892
1.07
1.07 search
1.07 run=6 nbConstraintChecks=679859 nbPropagations=27446 nbRevisions=341652 nbUselessRevisions=275164
1.07 nbAssignments=561 nbFailedAssignments=184 nbBacktracks=337 nbVisitedNodes=933 nbRestartNogoods=11 mapSize=273
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.225 cpuTime=0.18 mem=14M892
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1021516 nbPropagations=42491 nbRevisions=538944 nbUselessRevisions=434464
1.14 nbAssignments=850 nbFailedAssignments=297 nbBacktracks=508 nbVisitedNodes=1435 nbRestartNogoods=14 mapSize=421
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.302 cpuTime=0.25 mem=14M892
1.25
1.25 search
1.26 run=8 nbConstraintChecks=1528455 nbPropagations=65049 nbRevisions=838402 nbUselessRevisions=676239
1.26 nbAssignments=1295 nbFailedAssignments=478 nbBacktracks=765 nbVisitedNodes=2208 nbRestartNogoods=16
1.26 mapSize=642 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.413 cpuTime=0.36 mem=14M892
1.42
1.42 search
1.42 run=9 nbConstraintChecks=2351785 nbPropagations=99296 nbRevisions=1297888 nbUselessRevisions=1046895
1.42 nbAssignments=1962 nbFailedAssignments=753 nbBacktracks=1151 nbVisitedNodes=3364 nbRestartNogoods=23
1.43 mapSize=970 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.582 cpuTime=0.51 mem=14M892
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=14M892)
1.65
1.65 search
1.65 run=10 nbConstraintChecks=3581156 nbPropagations=150923 nbRevisions=1995421 nbUselessRevisions=1609297
1.65 nbAssignments=2943 nbFailedAssignments=1149 nbBacktracks=1728 nbVisitedNodes=5070 nbRestartNogoods=29
1.65 => wckTime=0.808 cpuTime=0.72 mem=14M892
1.94
1.94 search
1.94 run=11 nbConstraintChecks=5263434 nbPropagations=227568 nbRevisions=3027386 nbUselessRevisions=2439698
1.94 nbAssignments=4375 nbFailedAssignments=1709 nbBacktracks=2592 nbVisitedNodes=7523 nbRestartNogoods=35
1.94 => wckTime=1.095 cpuTime=1.0 mem=14M892
2.39
2.39 search
2.39 run=12 nbConstraintChecks=8019711 nbPropagations=343793 nbRevisions=4588591 nbUselessRevisions=3695155
2.39 nbAssignments=6547 nbFailedAssignments=2574 nbBacktracks=3891 nbVisitedNodes=11338 nbRestartNogoods=39
2.39 => wckTime=1.551 cpuTime=1.45 mem=14M892
2.99
2.99 search
2.99 run=13 nbConstraintChecks=11580861 nbPropagations=512963 nbRevisions=6851561 nbUselessRevisions=5515021
2.99 nbAssignments=9588 nbFailedAssignments=3663 nbBacktracks=5837 nbVisitedNodes=16502 nbRestartNogoods=47
2.99 => wckTime=2.149 cpuTime=2.05 mem=14M892
4.03
4.03 search
4.03 run=14 nbConstraintChecks=17941540 nbPropagations=771818 nbRevisions=10340520 nbUselessRevisions=8322199
4.03 nbAssignments=14522 nbFailedAssignments=5670 nbBacktracks=8756 nbVisitedNodes=25137 nbRestartNogoods=55
4.03 => wckTime=3.19 cpuTime=3.08 mem=14M892
5.37
5.37 search
5.37 run=15 nbConstraintChecks=25704627 nbPropagations=1151302 nbRevisions=15465157 nbUselessRevisions=12460477
5.37 nbAssignments=21550 nbFailedAssignments=8312 nbBacktracks=13136 nbVisitedNodes=37190 nbRestartNogoods=62
5.37 => wckTime=4.53 cpuTime=4.4 mem=14M892
7.64
7.64 search
7.64 run=16 nbConstraintChecks=39650881 nbPropagations=1726589 nbRevisions=23296263 nbUselessRevisions=18785145
7.64 nbAssignments=32356 nbFailedAssignments=12540 nbBacktracks=19708 nbVisitedNodes=55934 nbRestartNogoods=68
7.64 => wckTime=6.8 cpuTime=6.65 mem=14M892
10.96
10.96 search
10.96 run=17 nbConstraintChecks=59594074 nbPropagations=2588909 nbRevisions=35057399 nbUselessRevisions=28285682
10.96 nbAssignments=48350 nbFailedAssignments=18673 nbBacktracks=29562 nbVisitedNodes=83529 nbRestartNogoods=80
10.96 => wckTime=10.114 cpuTime=9.93 mem=14M892
16.37
16.37 search
16.37 run=18 nbConstraintChecks=92699344 nbPropagations=3910287 nbRevisions=53176739 nbUselessRevisions=42912257
16.37 nbAssignments=73643 nbFailedAssignments=29181 nbBacktracks=44340 nbVisitedNodes=127995 nbRestartNogoods=89
16.37 => wckTime=15.525 cpuTime=15.29 mem=14M892
23.45
23.46 search
23.46 run=19 nbConstraintChecks=134673084 nbPropagations=5864415 nbRevisions=79864213 nbUselessRevisions=64484705
23.46 nbAssignments=109395 nbFailedAssignments=42758 nbBacktracks=66508 nbVisitedNodes=189624 nbRestartNogoods=105
23.46 => wckTime=22.613 cpuTime=22.32 mem=14M892
34.93
34.93 search
34.93 run=20 nbConstraintChecks=204958738 nbPropagations=8804199 nbRevisions=120154985 nbUselessRevisions=97039713
34.93 nbAssignments=163894 nbFailedAssignments=64000 nbBacktracks=99761 nbVisitedNodes=283949 nbRestartNogoods=118
34.93 => wckTime=34.092 cpuTime=33.69 mem=14M892
38.88
38.88 search
38.88 run=21 nbConstraintChecks=228326931 nbPropagations=12088156 nbRevisions=165172210 nbUselessRevisions=133428641
38.88 nbAssignments=183575 nbFailedAssignments=71440 nbBacktracks=111962 nbVisitedNodes=317758 nbRestartNogoods=131
38.88 => wckTime=38.033 cpuTime=37.6 mem=14M892
38.88
38.88 global
38.88 nbConstraintChecks=228326931 nbPropagations=12088196 nbRevisions=165172210 nbUselessRevisions=133428641
38.88 nbRestartNogoods=131 solvingWckTime=38.034 solvingCpuTime=37.61 expiredTime=no totalExploration=no
38.88 nbFoundSolutions=1 globalCpuTime=38.03
38.88 => wckTime=38.56 cpuTime=37.98 mem=14M892
38.88
38.88 s SATISFIABLE
38.88 v 11 14 18 0 10 17 0 16 12 5 11 6 5 2 18 16 3 17 15 4 15 9 11 16 15 18 2 18 13 14 8 0 4 16 10 3 11 16 15 2
38.88 d NODES 183575
38.88 d CHECKS 228326931
38.88
38.88 totalWckTime=38.64 totalCpuTime=38.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-202929-1168072752 -o ROOT/results/node12/solver-202929-1168072752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202929-1168072752/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.85 1.80 1.84 4/93 20172
/proc/meminfo: memFree=1074088/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=18540 CPUtime=0
/proc/20171/stat : 20171 (runsolver) R 20169 20171 20104 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155670269 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20171/statm: 4635 279 244 17 0 2626 0
[startup+0.108104 s]
/proc/loadavg: 1.85 1.80 1.84 4/93 20172
/proc/meminfo: memFree=1074088/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=914988 CPUtime=0.08
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155670269 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516176 s]
/proc/loadavg: 1.85 1.80 1.84 4/93 20172
/proc/meminfo: memFree=1074088/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915328 CPUtime=0.48
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 6762 0 1 0 44 4 0 0 18 0 8 0 155670269 937295872 6501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228832 6501 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33832 s]
/proc/loadavg: 1.87 1.80 1.84 3/100 20179
/proc/meminfo: memFree=1050480/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=1.3
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8633 0 1 0 124 6 0 0 24 0 8 0 155670269 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8371 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.22
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8371 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) 915456
[startup+2.99162 s]
/proc/loadavg: 1.87 1.80 1.84 3/100 20179
/proc/meminfo: memFree=1050160/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=2.93
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8665 0 1 0 287 6 0 0 25 0 8 0 155670269 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8402 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155670274 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27521 s]
/proc/loadavg: 1.88 1.80 1.84 4/100 20179
/proc/meminfo: memFree=1050096/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=6.18
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8673 0 1 0 612 6 0 0 25 0 8 0 155670269 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8409 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7624 s]
/proc/loadavg: 1.89 1.80 1.84 3/100 20179
/proc/meminfo: memFree=1050096/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=12.61
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8679 0 1 0 1255 6 0 0 25 0 8 0 155670269 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8414 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6117 s]
/proc/loadavg: 1.90 1.81 1.85 3/100 20179
/proc/meminfo: memFree=1050160/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=25.34
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8685 0 1 0 2528 6 0 0 25 0 8 0 155670269 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8420 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 38.9177
CPU time (s): 38.5111
CPU user time (s): 38.4352
CPU system time (s): 0.075988
CPU usage (%): 98.9555
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.4352
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8779
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= 1886
involuntary context switches= 3607
runsolver used 0.055991 s user time and 0.12998 s system time
The end
Begin job on node12 on Sat Jan 6 08:39:12 UTC 2007
IDJOB= 202929
IDBENCH= 3899
FILE ID= node12/202929-1168072752
PBS_JOBID= 3475754
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202929-1168072752/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-202929-1168072752 -o ROOT/results/node12/solver-202929-1168072752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202929-1168072752/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5b0c13291162361c9841fc745919b19
RANDOM SEED= 489750895
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.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 : 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.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: 1074504 kB
Buffers: 27980 kB
Cached: 232060 kB
SwapCached: 4684 kB
Active: 689160 kB
Inactive: 210280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1074504 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 659124 kB
Slab: 65604 kB
Committed_AS: 4715640 kB
PageTables: 3304 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= 66316 MiB
End job on node12 on Sat Jan 6 08:39:52 UTC 2007