0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/240124-1168369074/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.44 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.44 => wckTime=0.147 cpuTime=0.12 mem=7M894
0.44
0.44 relations being loaded...
0.45
0.45 constraints being loaded...
0.79 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.80 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.80 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.80 => wckTime=0.5 cpuTime=0.36 mem=24M488
0.87
0.87 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.757 cpuTime=0.51 mem=18M536
1.23
1.25 preprocessing
1.25 nbConstraintChecks=102681 nbPropagations=2615 nbRevisions=23582 nbUselessRevisions=18669 nbSingletonTests=648
1.25 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=2912 detectedInconsistency=no
1.25 => wckTime=0.177 cpuTime=0.15 mem=18M536
1.29
1.30 search
1.30 run=0 nbConstraintChecks=3291 nbPropagations=2928 nbRevisions=24449 nbUselessRevisions=19164 nbAssignments=259
1.30 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=270 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.30 nbTooLargeKeys=0
1.30 => wckTime=0.237 cpuTime=0.2 mem=19M526
1.34
1.35 search
1.35 run=1 nbConstraintChecks=8126 nbPropagations=6305 nbRevisions=50297 nbUselessRevisions=39126 nbAssignments=539
1.35 nbFailedAssignments=10 nbBacktracks=26 nbVisitedNodes=562 nbRestartNogoods=1 mapSize=18 nbInferences=0
1.35 nbTooLargeKeys=0
1.35 => wckTime=0.28 cpuTime=0.24 mem=19M526
1.40
1.40 search
1.40 run=2 nbConstraintChecks=20566 nbPropagations=10681 nbRevisions=80956 nbUselessRevisions=62475
1.40 nbAssignments=893 nbFailedAssignments=18 nbBacktracks=57 nbVisitedNodes=896 nbRestartNogoods=4 mapSize=34
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.341 cpuTime=0.29 mem=19M526
1.46
1.47 search
1.47 run=3 nbConstraintChecks=37884 nbPropagations=16318 nbRevisions=118286 nbUselessRevisions=90775
1.47 nbAssignments=1316 nbFailedAssignments=33 nbBacktracks=101 nbVisitedNodes=1263 nbRestartNogoods=6 mapSize=58
1.47 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.409 cpuTime=0.35 mem=20M499
1.54
1.55 search
1.55 run=4 nbConstraintChecks=62129 nbPropagations=23587 nbRevisions=165544 nbUselessRevisions=126229
1.55 nbAssignments=1755 nbFailedAssignments=52 nbBacktracks=160 nbVisitedNodes=1651 nbRestartNogoods=9 mapSize=93
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.484 cpuTime=0.42 mem=20M499
1.63
1.64 search
1.64 run=5 nbConstraintChecks=98053 nbPropagations=33275 nbRevisions=228128 nbUselessRevisions=173450
1.64 nbAssignments=2337 nbFailedAssignments=76 nbBacktracks=251 nbVisitedNodes=2087 nbRestartNogoods=13 mapSize=135
1.64 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.571 cpuTime=0.5 mem=20M499
1.69
1.69 search
1.69 run=6 nbConstraintChecks=117453 nbPropagations=44326 nbRevisions=297928 nbUselessRevisions=225571
1.69 nbAssignments=2768 nbFailedAssignments=93 nbBacktracks=376 nbVisitedNodes=2520 nbRestartNogoods=19 mapSize=169
1.69 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.632 cpuTime=0.56 mem=21M472
1.75
1.75 search
1.75 run=7 nbConstraintChecks=139543 nbPropagations=56902 nbRevisions=375257 nbUselessRevisions=282512
1.75 nbAssignments=3221 nbFailedAssignments=120 nbBacktracks=549 nbVisitedNodes=3028 nbRestartNogoods=20
1.75 mapSize=223 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.692 cpuTime=0.62 mem=21M472
1.82
1.82 search
1.82 run=8 nbConstraintChecks=169279 nbPropagations=71523 nbRevisions=463699 nbUselessRevisions=346773
1.82 nbAssignments=3776 nbFailedAssignments=168 nbBacktracks=808 nbVisitedNodes=3671 nbRestartNogoods=21
1.82 mapSize=308 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.766 cpuTime=0.69 mem=22M445
1.94
1.94 search
1.94 run=9 nbConstraintChecks=224833 nbPropagations=89490 nbRevisions=572391 nbUselessRevisions=424259
1.94 nbAssignments=4479 nbFailedAssignments=227 nbBacktracks=1192 nbVisitedNodes=4484 nbRestartNogoods=23
1.94 mapSize=406 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.878 cpuTime=0.8 mem=22M445
2.08
2.08 search
2.08 run=10 nbConstraintChecks=302716 nbPropagations=112516 nbRevisions=712524 nbUselessRevisions=523614
2.08 nbAssignments=5486 nbFailedAssignments=324 nbBacktracks=1770 nbVisitedNodes=5643 nbRestartNogoods=30
2.08 mapSize=592 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=1.025 cpuTime=0.93 mem=23M418
2.32
2.32 search
2.32 run=11 nbConstraintChecks=455954 nbPropagations=142165 nbRevisions=941719 nbUselessRevisions=699072
2.32 nbAssignments=6672 nbFailedAssignments=485 nbBacktracks=2638 nbVisitedNodes=7091 nbRestartNogoods=37
2.32 mapSize=897 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=1.266 cpuTime=1.17 mem=23M418
2.42
2.42 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=24M391)
2.62
2.62 search
2.62 run=12 nbConstraintChecks=695416 nbPropagations=180663 nbRevisions=1321455 nbUselessRevisions=1006463
2.62 nbAssignments=8224 nbFailedAssignments=679 nbBacktracks=3938 nbVisitedNodes=9025 nbRestartNogoods=42
2.62 => wckTime=1.559 cpuTime=1.46 mem=24M391
3.05
3.05 search
3.05 run=13 nbConstraintChecks=1078835 nbPropagations=232918 nbRevisions=1943809 nbUselessRevisions=1526199
3.05 nbAssignments=10550 nbFailedAssignments=918 nbBacktracks=5907 nbVisitedNodes=11774 nbRestartNogoods=48
3.05 => wckTime=1.989 cpuTime=1.89 mem=24M391
3.72
3.72 search
3.72 run=14 nbConstraintChecks=1691708 nbPropagations=307090 nbRevisions=2959932 nbUselessRevisions=2394007
3.72 nbAssignments=13956 nbFailedAssignments=1320 nbBacktracks=8826 nbVisitedNodes=15988 nbRestartNogoods=53
3.72 => wckTime=2.66 cpuTime=2.55 mem=24M391
4.81
4.81 search
4.81 run=15 nbConstraintChecks=2802893 nbPropagations=417785 nbRevisions=4703691 nbUselessRevisions=3908262
4.81 nbAssignments=19050 nbFailedAssignments=1983 nbBacktracks=13212 nbVisitedNodes=22387 nbRestartNogoods=59
4.81 => wckTime=3.751 cpuTime=3.64 mem=24M391
6.69
6.69 search
6.69 run=16 nbConstraintChecks=4795015 nbPropagations=594368 nbRevisions=7742145 nbUselessRevisions=6568847
6.69 nbAssignments=26927 nbFailedAssignments=3240 nbBacktracks=19792 nbVisitedNodes=32745 nbRestartNogoods=65
6.69 => wckTime=5.63 cpuTime=5.51 mem=24M391
9.62
9.62 search
9.62 run=17 nbConstraintChecks=8064132 nbPropagations=878534 nbRevisions=12954505 nbUselessRevisions=11163300
9.62 nbAssignments=38891 nbFailedAssignments=5298 nbBacktracks=29644 nbVisitedNodes=48529 nbRestartNogoods=72
9.62 => wckTime=8.568 cpuTime=8.44 mem=24M391
14.29
14.29 search
14.29 run=18 nbConstraintChecks=13235709 nbPropagations=1333870 nbRevisions=21621695 nbUselessRevisions=18838327
14.29 nbAssignments=57210 nbFailedAssignments=8699 nbBacktracks=44433 nbVisitedNodes=73116 nbRestartNogoods=84
14.29 => wckTime=13.231 cpuTime=13.08 mem=24M391
20.92
20.92 search
20.92 run=19 nbConstraintChecks=20677228 nbPropagations=2032055 nbRevisions=35349993 nbUselessRevisions=31048343
20.92 nbAssignments=83900 nbFailedAssignments=13161 nbBacktracks=66610 nbVisitedNodes=108830 nbRestartNogoods=88
20.92 => wckTime=19.867 cpuTime=19.66 mem=24M391
30.99
30.99 search
30.99 run=20 nbConstraintChecks=32119972 nbPropagations=3100007 nbRevisions=56878171 nbUselessRevisions=50242910
30.99 nbAssignments=124705 nbFailedAssignments=20599 nbBacktracks=99866 nbVisitedNodes=164320 nbRestartNogoods=95
30.99 => wckTime=29.938 cpuTime=29.68 mem=24M391
45.49
45.49 search
45.49 run=21 nbConstraintChecks=47838997 nbPropagations=4694578 nbRevisions=88896927 nbUselessRevisions=78782096
45.49 nbAssignments=185763 nbFailedAssignments=31671 nbBacktracks=149755 nbVisitedNodes=246646 nbRestartNogoods=104
45.49 => wckTime=44.43 cpuTime=44.1 mem=24M391
68.47
68.47 search
68.47 run=22 nbConstraintChecks=73628435 nbPropagations=7125117 nbRevisions=137864556 nbUselessRevisions=122352930
68.47 nbAssignments=275563 nbFailedAssignments=46613 nbBacktracks=224573 nbVisitedNodes=367109 nbRestartNogoods=112
68.47 => wckTime=67.412 cpuTime=66.95 mem=24M391
84.35
84.35 search
84.35 run=23 nbConstraintChecks=91648970 nbPropagations=10134393 nbRevisions=199212665 nbUselessRevisions=177052428
84.35 nbAssignments=341555 nbFailedAssignments=57894 nbBacktracks=278833 nbVisitedNodes=454363 nbRestartNogoods=120
84.35 => wckTime=83.298 cpuTime=82.76 mem=24M391
84.35
84.35 global
84.35 nbConstraintChecks=91751651 nbPropagations=10137008 nbRevisions=199236247 nbUselessRevisions=177071097
84.35 nbRestartNogoods=120 solvingWckTime=83.299 solvingCpuTime=82.76 expiredTime=no totalExploration=no
84.36 nbFoundSolutions=1 globalCpuTime=83.33
84.36 => wckTime=84.06 cpuTime=83.27 mem=24M391
84.36
84.36 s SATISFIABLE
84.36 v 9 7 18 17 12 13 5 8 2 15 14 10 11 4 19 6 0 1 16 3 6 4 16 9 10 14 3 18 19 13 8 7 17 2 0 1 12 11 5 15 12 14 8 10 15 4 6 1 11 3 18 0 16 17 7 9 13 19 2 5 1 18 12 7 5 9 16 3 0 11 15 2 19 14 4 10 17 8 13 6 14 1 9 19 3 8 4 6 10 16 17 18 15 0 2 12 5 7 11 13 13 0 19 8 16 17 14 5 18 7 12 3 6 9 10 11 2 4 15 1 15 11 13 18 2 1 17 7 6 10 19 16 0 12 5 3 14 9 4 8 3 9 1 4 19 5 2 11 17 12 10 13 8 18 16 7 15 6 14 0 18 5 6 2 4 11 0 17 15 8 16 1 10 7 12 13 19 3 9 14 0 10 7 16 1 15 13 9 5 19 2 14 4 3 18 8 6 17 12 11 16 3 5 11 13 6 15 19 12 17 7 9 18 10 8 14 4 0 1 2 7 15 2 12 14 10 19 0 1 18 3 17 13 8 11 16 9 5 6 4 2 6 15 5 18 0 9 10 3 4 13 8 7 16 1 19 11 14 17 12 19 16 4 1 0 3 11 2 9 14 5 6 12 15 13 17 7 10 8 18 11 13 10 14 8 12 18 16 7 9 4 5 1 19 6 2 3 15 0 17 10 2 11 15 17 7 1 12 8 6 0 4 9 13 14 5 18 16 3 19 4 17 0 6 9 19 12 14 16 5 11 15 2 1 3 18 8 13 10 7 8 19 14 0 6 16 7 13 4 2 1 11 3 5 17 15 10 12 18 9 17 12 3 13 11 2 8 4 14 1 9 19 5 6 15 0 16 18 7 10 5 8 17 3 7 18 10 15 13 0 6 12 14 11 9 4 1 2 19 16
84.36 d NODES 341555
84.36 d CHECKS 91751651
84.36
84.36 totalWckTime=84.136 totalCpuTime=83.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-240124-1168369074 -o ROOT/results/node16/solver-240124-1168369074 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240124-1168369074/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.37 1.82 1.90 4/81 25615
/proc/meminfo: memFree=1739536/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=1784 CPUtime=0
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 194 0 0 0 0 0 0 0 20 0 1 0 185302443 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25614/statm: 446 160 125 14 0 91 0
[startup+0.106525 s]
/proc/loadavg: 1.37 1.82 1.90 4/81 25615
/proc/meminfo: memFree=1739536/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=914988 CPUtime=0.09
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 3079 0 1 0 8 1 0 0 17 0 8 0 185302443 936947712 2825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514447 s]
/proc/loadavg: 1.37 1.82 1.90 4/81 25615
/proc/meminfo: memFree=1739536/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915328 CPUtime=0.51
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 6566 0 1 0 46 5 0 0 16 0 8 0 185302443 937295872 6305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 228832 6306 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328
[startup+1.3353 s]
/proc/loadavg: 1.37 1.82 1.90 4/101 25681
/proc/meminfo: memFree=1695600/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915676 CPUtime=1.31
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 12017 0 1 0 123 8 0 0 16 0 8 0 185302443 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25614/statm: 228919 11755 2524 14 0 215389 0
[pid=25614/tid=25616] ppid=25612 vsize=915676 CPUtime=0.06
/proc/25614/task/25616/stat : 25616 (java) S 25612 25614 24533 0 -1 64 904 0 0 0 6 0 0 0 17 0 8 0 185302446 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25612 25614 24533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25612 25614 24533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185302450 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25620] ppid=25612 vsize=915676 CPUtime=0.24
/proc/25614/task/25620/stat : 25620 (java) S 25612 25614 24533 0 -1 64 467 0 0 0 23 1 0 0 15 0 8 0 185302450 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25621] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185302450 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25622] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25612 25614 24533 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185302450 937652224 11755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915676
[startup+2.975 s]
/proc/loadavg: 1.37 1.82 1.90 4/101 25681
/proc/meminfo: memFree=1689840/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915676 CPUtime=2.95
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 12042 0 1 0 286 9 0 0 17 0 8 0 185302443 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25614/statm: 228919 11779 2525 14 0 215389 0
[pid=25614/tid=25616] ppid=25612 vsize=915676 CPUtime=0.06
/proc/25614/task/25616/stat : 25616 (java) S 25612 25614 24533 0 -1 64 904 0 0 0 6 0 0 0 17 0 8 0 185302446 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25617] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25612 25614 24533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25612 25614 24533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185302450 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25620] ppid=25612 vsize=915676 CPUtime=0.29
/proc/25614/task/25620/stat : 25620 (java) S 25612 25614 24533 0 -1 64 487 0 0 0 27 2 0 0 16 0 8 0 185302450 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25621] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185302450 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25622] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25612 25614 24533 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185302450 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915676
[startup+6.18041 s]
/proc/loadavg: 1.50 1.84 1.91 3/101 25681
/proc/meminfo: memFree=1685424/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915676 CPUtime=6.13
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 12044 0 1 0 604 9 0 0 22 0 8 0 185302443 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25614/statm: 228919 11780 2525 14 0 215389 0
[pid=25614/tid=25616] ppid=25612 vsize=915676 CPUtime=0.06
/proc/25614/task/25616/stat : 25616 (java) S 25612 25614 24533 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185302446 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25617] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25612 25614 24533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25612 25614 24533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25620] ppid=25612 vsize=915676 CPUtime=0.29
/proc/25614/task/25620/stat : 25620 (java) S 25612 25614 24533 0 -1 64 489 0 0 0 27 2 0 0 16 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25621] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25622] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25612 25614 24533 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915676
[startup+12.6512 s]
/proc/loadavg: 1.54 1.84 1.91 3/101 25681
/proc/meminfo: memFree=1681904/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915676 CPUtime=12.57
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 12044 0 1 0 1248 9 0 0 25 0 8 0 185302443 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25614/statm: 228919 11780 2525 14 0 215389 0
[pid=25614/tid=25616] ppid=25612 vsize=915676 CPUtime=0.06
/proc/25614/task/25616/stat : 25616 (java) S 25612 25614 24533 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185302446 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25617] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25612 25614 24533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25612 25614 24533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25620] ppid=25612 vsize=915676 CPUtime=0.29
/proc/25614/task/25620/stat : 25620 (java) S 25612 25614 24533 0 -1 64 489 0 0 0 27 2 0 0 16 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25621] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25622] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25612 25614 24533 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915676
[startup+25.5179 s]
/proc/loadavg: 1.64 1.85 1.91 3/101 25681
/proc/meminfo: memFree=1681904/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915676 CPUtime=25.35
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 12044 0 1 0 2526 9 0 0 25 0 8 0 185302443 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25614/statm: 228919 11780 2525 14 0 215389 0
[pid=25614/tid=25616] ppid=25612 vsize=915676 CPUtime=0.06
/proc/25614/task/25616/stat : 25616 (java) S 25612 25614 24533 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185302446 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25617] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25612 25614 24533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25612 25614 24533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25620] ppid=25612 vsize=915676 CPUtime=0.29
/proc/25614/task/25620/stat : 25620 (java) S 25612 25614 24533 0 -1 64 489 0 0 0 27 2 0 0 16 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25621] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25622] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) R 25612 25614 24533 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915676
[startup+51.1362 s]
/proc/loadavg: 1.84 1.87 1.91 3/101 25681
/proc/meminfo: memFree=1681968/2055920 swapFree=4191880/4192956
[pid=25614] ppid=25612 vsize=915676 CPUtime=50.86
/proc/25614/stat : 25614 (java) R 25612 25614 24533 0 -1 0 12044 0 1 0 5076 10 0 0 25 0 8 0 185302443 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074006395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25614/statm: 228919 11780 2525 14 0 215389 0
[pid=25614/tid=25616] ppid=25612 vsize=915676 CPUtime=0.06
/proc/25614/task/25616/stat : 25616 (java) S 25612 25614 24533 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185302446 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25617] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25612 25614 24533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25612 25614 24533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185302447 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25620] ppid=25612 vsize=915676 CPUtime=0.29
/proc/25614/task/25620/stat : 25620 (java) S 25612 25614 24533 0 -1 64 489 0 0 0 27 2 0 0 16 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25621] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25612 25614 24533 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25614/tid=25622] ppid=25612 vsize=915676 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25612 25614 24533 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185302450 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 84.3907
CPU time (s): 83.9172
CPU user time (s): 83.8033
CPU system time (s): 0.113982
CPU usage (%): 99.439
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.8033
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12053
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= 2759
involuntary context switches= 3924
runsolver used 0.104984 s user time and 0.283956 s system time
The end
Begin job on node16 on Tue Jan 9 18:57:55 UTC 2007
IDJOB= 240124
IDBENCH= 7107
FILE ID= node16/240124-1168369074
PBS_JOBID= 3503829
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240124-1168369074/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-240124-1168369074 -o ROOT/results/node16/solver-240124-1168369074 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240124-1168369074/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5f5b1bad1cfbb7731d0ad0baf41852f4
RANDOM SEED= 407834803
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.220
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.220
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: 1740208 kB
Buffers: 50280 kB
Cached: 165376 kB
SwapCached: 448 kB
Active: 177788 kB
Inactive: 86264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740208 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2348 kB
Writeback: 0 kB
Mapped: 66668 kB
Slab: 36760 kB
Committed_AS: 5329144 kB
PageTables: 2192 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= 66520 MiB
End job on node16 on Tue Jan 9 18:59:20 UTC 2007