0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/223649-1168266011/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=15 maxArity=2
0.63 => wckTime=0.31 cpuTime=0.23 mem=13M811
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.515 cpuTime=0.37 mem=14M839
0.88
0.88 preprocessing
0.88 nbConstraintChecks=71337 nbPropagations=815 nbRevisions=4977 nbUselessRevisions=3967 nbSingletonTests=55
0.88 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.048 cpuTime=0.02 mem=14M839
0.90
0.90 search
0.90 run=0 nbConstraintChecks=32755 nbPropagations=1335 nbRevisions=9050 nbUselessRevisions=6931 nbAssignments=31
0.90 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.07 cpuTime=0.04 mem=14M839
0.92
0.92 search
0.92 run=1 nbConstraintChecks=80119 nbPropagations=3350 nbRevisions=23483 nbUselessRevisions=17663 nbAssignments=68
0.92 nbFailedAssignments=29 nbBacktracks=28 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.088 cpuTime=0.05 mem=14M839
0.94
0.94 search
0.94 run=2 nbConstraintChecks=142957 nbPropagations=6310 nbRevisions=45455 nbUselessRevisions=33868
0.94 nbAssignments=118 nbFailedAssignments=50 nbBacktracks=50 nbVisitedNodes=196 nbRestartNogoods=4 mapSize=39
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.106 cpuTime=0.06 mem=14M839
0.96
0.96 search
0.96 run=3 nbConstraintChecks=252350 nbPropagations=10845 nbRevisions=79690 nbUselessRevisions=58686
0.96 nbAssignments=196 nbFailedAssignments=79 nbBacktracks=83 nbVisitedNodes=315 nbRestartNogoods=9 mapSize=64
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.126 cpuTime=0.08 mem=14M839
0.99
0.99 search
0.99 run=4 nbConstraintChecks=407515 nbPropagations=17836 nbRevisions=133538 nbUselessRevisions=97014
0.99 nbAssignments=312 nbFailedAssignments=138 nbBacktracks=134 nbVisitedNodes=519 nbRestartNogoods=14 mapSize=107
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.156 cpuTime=0.11 mem=14M839
1.02
1.02 search
1.02 run=5 nbConstraintChecks=599440 nbPropagations=28032 nbRevisions=212763 nbUselessRevisions=153095
1.02 nbAssignments=453 nbFailedAssignments=198 nbBacktracks=211 nbVisitedNodes=767 nbRestartNogoods=20 mapSize=175
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.189 cpuTime=0.14 mem=14M839
1.07
1.07 search
1.07 run=6 nbConstraintChecks=889071 nbPropagations=42885 nbRevisions=328520 nbUselessRevisions=234619
1.07 nbAssignments=674 nbFailedAssignments=299 nbBacktracks=324 nbVisitedNodes=1158 nbRestartNogoods=22 mapSize=274
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.237 cpuTime=0.19 mem=14M839
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1331464 nbPropagations=64411 nbRevisions=496449 nbUselessRevisions=352315
1.15 nbAssignments=1008 nbFailedAssignments=437 nbBacktracks=494 nbVisitedNodes=1696 nbRestartNogoods=35
1.15 mapSize=409 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.314 cpuTime=0.26 mem=14M839
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1935774 nbPropagations=96439 nbRevisions=747510 nbUselessRevisions=528458
1.25 nbAssignments=1485 nbFailedAssignments=651 nbBacktracks=750 nbVisitedNodes=2544 nbRestartNogoods=40
1.25 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.419 cpuTime=0.36 mem=14M839
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2887051 nbPropagations=143770 nbRevisions=1119626 nbUselessRevisions=788169
1.40 nbAssignments=2196 nbFailedAssignments=972 nbBacktracks=1135 nbVisitedNodes=3806 nbRestartNogoods=45
1.40 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.571 cpuTime=0.5 mem=14M839
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M839)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=4240606 nbPropagations=214470 nbRevisions=1678540 nbUselessRevisions=1179467
1.60 nbAssignments=3274 nbFailedAssignments=1468 nbBacktracks=1711 nbVisitedNodes=5742 nbRestartNogoods=51
1.60 => wckTime=0.77 cpuTime=0.69 mem=14M839
1.87
1.87 search
1.87 run=11 nbConstraintChecks=6254866 nbPropagations=317443 nbRevisions=2492239 nbUselessRevisions=1746638
1.87 nbAssignments=4842 nbFailedAssignments=2166 nbBacktracks=2576 nbVisitedNodes=8477 nbRestartNogoods=57
1.87 => wckTime=1.04 cpuTime=0.96 mem=14M839
2.29
2.29 search
2.29 run=12 nbConstraintChecks=9250339 nbPropagations=471772 nbRevisions=3716059 nbUselessRevisions=2602306
2.29 nbAssignments=7211 nbFailedAssignments=3231 nbBacktracks=3874 nbVisitedNodes=12694 nbRestartNogoods=65
2.29 => wckTime=1.455 cpuTime=1.36 mem=14M839
2.94
2.94 search
2.94 run=13 nbConstraintChecks=14089851 nbPropagations=705956 nbRevisions=5569006 nbUselessRevisions=3890635
2.94 nbAssignments=10909 nbFailedAssignments=4975 nbBacktracks=5823 nbVisitedNodes=19299 nbRestartNogoods=71
2.94 => wckTime=2.108 cpuTime=2.02 mem=15M815
3.84
3.84 search
3.84 run=14 nbConstraintChecks=20674476 nbPropagations=1052401 nbRevisions=8308774 nbUselessRevisions=5800607
3.84 nbAssignments=16229 nbFailedAssignments=7370 nbBacktracks=8742 nbVisitedNodes=28780 nbRestartNogoods=79
3.84 => wckTime=3.007 cpuTime=2.91 mem=15M815
5.26
5.26 search
5.26 run=15 nbConstraintChecks=31429740 nbPropagations=1570747 nbRevisions=12430445 nbUselessRevisions=8666041
5.26 nbAssignments=24366 nbFailedAssignments=11126 nbBacktracks=13120 nbVisitedNodes=43272 nbRestartNogoods=96
5.26 => wckTime=4.428 cpuTime=4.32 mem=15M815
7.29
7.29 search
7.29 run=16 nbConstraintChecks=46414179 nbPropagations=2342465 nbRevisions=18577322 nbUselessRevisions=12949591
7.29 nbAssignments=36363 nbFailedAssignments=16551 nbBacktracks=19690 nbVisitedNodes=64552 nbRestartNogoods=102
7.29 => wckTime=6.459 cpuTime=6.34 mem=15M815
10.43
10.43 search
10.43 run=17 nbConstraintChecks=69523235 nbPropagations=3506560 nbRevisions=27878371 nbUselessRevisions=19448169
10.43 nbAssignments=54787 nbFailedAssignments=25119 nbBacktracks=29542 nbVisitedNodes=97629 nbRestartNogoods=104
10.43 => wckTime=9.596 cpuTime=9.46 mem=15M815
15.25
15.25 search
15.25 run=18 nbConstraintChecks=104640075 nbPropagations=5273590 nbRevisions=42014584 nbUselessRevisions=29332188
15.25 nbAssignments=82666 nbFailedAssignments=38218 nbBacktracks=44320 nbVisitedNodes=147753 nbRestartNogoods=117
15.25 => wckTime=14.42 cpuTime=14.26 mem=15M815
22.55
22.55 search
22.55 run=19 nbConstraintChecks=158232412 nbPropagations=7933645 nbRevisions=63368482 nbUselessRevisions=44254451
22.55 nbAssignments=125058 nbFailedAssignments=58436 nbBacktracks=66488 nbVisitedNodes=223910 nbRestartNogoods=120
22.55 => wckTime=21.721 cpuTime=21.53 mem=15M815
33.47
33.47 search
33.47 run=20 nbConstraintChecks=238662414 nbPropagations=11946326 nbRevisions=95607446 nbUselessRevisions=66789708
33.47 nbAssignments=188169 nbFailedAssignments=88288 nbBacktracks=99741 nbVisitedNodes=337371 nbRestartNogoods=127
33.47 => wckTime=32.641 cpuTime=32.39 mem=15M815
50.59
50.59 search
50.59 run=21 nbConstraintChecks=363385507 nbPropagations=18068198 nbRevisions=144790472 nbUselessRevisions=101166394
50.59 nbAssignments=285168 nbFailedAssignments=135404 nbBacktracks=149620 nbVisitedNodes=512976 nbRestartNogoods=137
50.59 => wckTime=49.758 cpuTime=49.43 mem=15M815
60.69
60.69 search
60.69 run=22 nbConstraintChecks=437060404 nbPropagations=25429055 nbRevisions=203948495 nbUselessRevisions=142513326
60.69 nbAssignments=341181 nbFailedAssignments=162848 nbBacktracks=178190 nbVisitedNodes=614655 nbRestartNogoods=145
60.69 => wckTime=59.857 cpuTime=59.48 mem=15M815
60.69
60.69 global
60.69 nbConstraintChecks=437131741 nbPropagations=25429870 nbRevisions=203953472 nbUselessRevisions=142517293
60.69 nbRestartNogoods=145 solvingWckTime=59.859 solvingCpuTime=59.48 expiredTime=no totalExploration=yes
60.69 nbFoundSolutions=0 globalCpuTime=59.91
60.69 => wckTime=60.377 cpuTime=59.86 mem=15M815
60.70
60.70 s UNSATISFIABLE
60.70 d NODES 341181
60.70 d CHECKS 437131741
60.70
60.70 totalWckTime=60.46 totalCpuTime=59.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-223649-1168266011 -o ROOT/results/node14/solver-223649-1168266011 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223649-1168266011/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: 0.82 0.67 0.74 4/94 27935
/proc/meminfo: memFree=1760608/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=18540 CPUtime=0
/proc/27934/stat : 27934 (runsolver) R 27932 27934 27801 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 174996049 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27934/statm: 4635 279 244 17 0 2626 0
[startup+0.109817 s]
/proc/loadavg: 0.82 0.67 0.74 4/94 27935
/proc/meminfo: memFree=1760608/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=914988 CPUtime=0.09
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 3025 0 1 0 8 1 0 0 20 0 8 0 174996049 936947712 2771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153552769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228747 2771 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517855 s]
/proc/loadavg: 0.82 0.67 0.74 4/94 27935
/proc/meminfo: memFree=1760608/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915328 CPUtime=0.5
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 7190 0 1 0 45 5 0 0 18 0 8 0 174996049 937295872 6929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555148 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228832 6929 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33893 s]
/proc/loadavg: 0.82 0.67 0.74 3/102 27943
/proc/meminfo: memFree=1668768/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915452 CPUtime=1.31
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 8702 0 1 0 124 7 0 0 24 0 8 0 174996049 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228863 8440 2524 14 0 215333 0
[pid=27934/tid=27936] ppid=27932 vsize=915452 CPUtime=0.03
/proc/27934/task/27936/stat : 27936 (java) S 27932 27934 27801 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174996053 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27937] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27937/stat : 27937 (java) S 27932 27934 27801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174996054 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27938] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27938/stat : 27938 (java) S 27932 27934 27801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174996054 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27939] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27939/stat : 27939 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174996057 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27940] ppid=27932 vsize=915452 CPUtime=0.21
/proc/27934/task/27940/stat : 27940 (java) S 27932 27934 27801 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 174996057 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27941] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27941/stat : 27941 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174996057 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27942] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27942/stat : 27942 (java) S 27932 27934 27801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174996057 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97608 s]
/proc/loadavg: 0.82 0.67 0.74 4/102 27943
/proc/meminfo: memFree=1668384/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915452 CPUtime=2.94
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 8733 0 1 0 287 7 0 0 25 0 8 0 174996049 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228863 8470 2524 14 0 215333 0
[pid=27934/tid=27936] ppid=27932 vsize=915452 CPUtime=0.03
/proc/27934/task/27936/stat : 27936 (java) S 27932 27934 27801 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174996053 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27937] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27937/stat : 27937 (java) S 27932 27934 27801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174996054 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27938] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27938/stat : 27938 (java) S 27932 27934 27801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174996054 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27939] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27939/stat : 27939 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174996057 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27940] ppid=27932 vsize=915452 CPUtime=0.22
/proc/27934/task/27940/stat : 27940 (java) S 27932 27934 27801 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 174996057 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27941] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27941/stat : 27941 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174996057 937422848 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27942] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27942/stat : 27942 (java) S 27932 27934 27801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174996057 937422848 8470 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+6.27439 s]
/proc/loadavg: 0.91 0.69 0.75 3/102 27943
/proc/meminfo: memFree=1668136/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915452 CPUtime=6.23
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 8739 0 1 0 615 8 0 0 25 0 8 0 174996049 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228863 8475 2524 14 0 215333 0
[pid=27934/tid=27936] ppid=27932 vsize=915452 CPUtime=0.03
/proc/27934/task/27936/stat : 27936 (java) S 27932 27934 27801 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174996053 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27937] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27937/stat : 27937 (java) S 27932 27934 27801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174996054 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27938] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27938/stat : 27938 (java) S 27932 27934 27801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174996054 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27939] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27939/stat : 27939 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174996057 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27940] ppid=27932 vsize=915452 CPUtime=0.23
/proc/27934/task/27940/stat : 27940 (java) S 27932 27934 27801 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 174996057 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27941] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27941/stat : 27941 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174996057 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27942] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27942/stat : 27942 (java) S 27932 27934 27801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174996057 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
[startup+12.744 s]
/proc/loadavg: 1.00 0.72 0.76 3/102 27943
/proc/meminfo: memFree=1668136/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915452 CPUtime=12.67
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 8743 0 1 0 1259 8 0 0 25 0 8 0 174996049 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228863 8479 2524 14 0 215333 0
[pid=27934/tid=27936] ppid=27932 vsize=915452 CPUtime=0.03
/proc/27934/task/27936/stat : 27936 (java) S 27932 27934 27801 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174996053 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27937] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27937/stat : 27937 (java) S 27932 27934 27801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174996054 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27938] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27938/stat : 27938 (java) S 27932 27934 27801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174996054 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27939] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27939/stat : 27939 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174996057 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27940] ppid=27932 vsize=915452 CPUtime=0.23
/proc/27934/task/27940/stat : 27940 (java) S 27932 27934 27801 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 174996057 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27941] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27941/stat : 27941 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174996057 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27942] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27942/stat : 27942 (java) S 27932 27934 27801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174996057 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915452
[startup+25.6132 s]
/proc/loadavg: 1.35 0.81 0.79 3/102 27943
/proc/meminfo: memFree=1668200/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915452 CPUtime=25.48
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 8749 0 1 0 2540 8 0 0 25 0 8 0 174996049 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228863 8485 2524 14 0 215333 0
[pid=27934/tid=27936] ppid=27932 vsize=915452 CPUtime=0.03
/proc/27934/task/27936/stat : 27936 (java) S 27932 27934 27801 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174996053 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27937] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27937/stat : 27937 (java) S 27932 27934 27801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174996054 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27938] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27938/stat : 27938 (java) S 27932 27934 27801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174996054 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27939] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27939/stat : 27939 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174996057 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27940] ppid=27932 vsize=915452 CPUtime=0.23
/proc/27934/task/27940/stat : 27940 (java) S 27932 27934 27801 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174996057 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27941] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27941/stat : 27941 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174996057 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27942] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27942/stat : 27942 (java) S 27932 27934 27801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174996057 937422848 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915452
[startup+51.2226 s]
/proc/loadavg: 1.65 0.92 0.82 4/102 27943
/proc/meminfo: memFree=1668328/2055920 swapFree=4182236/4192956
[pid=27934] ppid=27932 vsize=915452 CPUtime=50.96
/proc/27934/stat : 27934 (java) R 27932 27934 27801 0 -1 0 8754 0 1 0 5088 8 0 0 25 0 8 0 174996049 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27934/statm: 228863 8490 2524 14 0 215333 0
[pid=27934/tid=27936] ppid=27932 vsize=915452 CPUtime=0.03
/proc/27934/task/27936/stat : 27936 (java) S 27932 27934 27801 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174996053 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27937] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27937/stat : 27937 (java) S 27932 27934 27801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174996054 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27938] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27938/stat : 27938 (java) S 27932 27934 27801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174996054 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27939] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27939/stat : 27939 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174996057 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27940] ppid=27932 vsize=915452 CPUtime=0.23
/proc/27934/task/27940/stat : 27940 (java) S 27932 27934 27801 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174996057 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27941] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27941/stat : 27941 (java) S 27932 27934 27801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174996057 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27934/tid=27942] ppid=27932 vsize=915452 CPUtime=0
/proc/27934/task/27942/stat : 27942 (java) S 27932 27934 27801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174996057 937422848 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 60.7549
CPU time (s): 60.4058
CPU user time (s): 60.3128
CPU system time (s): 0.092985
CPU usage (%): 99.4254
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.3128
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8845
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= 2327
involuntary context switches= 4367
runsolver used 0.079987 s user time and 0.199969 s system time
The end
Begin job on node14 on Mon Jan 8 14:20:11 UTC 2007
IDJOB= 223649
IDBENCH= 5661
FILE ID= node14/223649-1168266011
PBS_JOBID= 3482825
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223649-1168266011/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-223649-1168266011 -o ROOT/results/node14/solver-223649-1168266011 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223649-1168266011/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0da2491e964a6fb21598906e2adbb760
RANDOM SEED= 791335944
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.227
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.227
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: 1761280 kB
Buffers: 60356 kB
Cached: 124164 kB
SwapCached: 4180 kB
Active: 147160 kB
Inactive: 96524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1761280 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 5924 kB
Writeback: 0 kB
Mapped: 74484 kB
Slab: 35736 kB
Committed_AS: 6466064 kB
PageTables: 2260 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= 66341 MiB
End job on node14 on Mon Jan 8 14:21:12 UTC 2007