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/228521-1168299099/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8241 maxDegree=27
0.61 maxArity=2
0.61 => wckTime=0.298 cpuTime=0.22 mem=10M852
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.505 cpuTime=0.35 mem=14M818
0.87
0.87 preprocessing
0.87 nbConstraintChecks=28048 nbPropagations=839 nbRevisions=4714 nbUselessRevisions=3626 nbSingletonTests=49
0.87 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.049 cpuTime=0.02 mem=14M818
0.89
0.89 search
0.89 run=0 nbConstraintChecks=19589 nbPropagations=1230 nbRevisions=9870 nbUselessRevisions=7900 nbAssignments=27
0.89 nbFailedAssignments=8 nbBacktracks=14 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.074 cpuTime=0.04 mem=14M818
0.91
0.91 search
0.91 run=1 nbConstraintChecks=49492 nbPropagations=3049 nbRevisions=27667 nbUselessRevisions=22375 nbAssignments=65
0.91 nbFailedAssignments=22 nbBacktracks=30 nbVisitedNodes=104 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.092 cpuTime=0.05 mem=14M818
0.92
0.92 search
0.92 run=2 nbConstraintChecks=81436 nbPropagations=5524 nbRevisions=53173 nbUselessRevisions=43006
0.92 nbAssignments=109 nbFailedAssignments=34 nbBacktracks=53 nbVisitedNodes=171 nbRestartNogoods=4 mapSize=45
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.107 cpuTime=0.06 mem=14M818
0.94
0.94 search
0.94 run=3 nbConstraintChecks=126664 nbPropagations=8854 nbRevisions=90167 nbUselessRevisions=72994
0.94 nbAssignments=167 nbFailedAssignments=51 nbBacktracks=87 nbVisitedNodes=262 nbRestartNogoods=7 mapSize=70
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.121 cpuTime=0.08 mem=14M818
0.96
0.96 search
0.96 run=4 nbConstraintChecks=187252 nbPropagations=13343 nbRevisions=142196 nbUselessRevisions=115148
0.96 nbAssignments=252 nbFailedAssignments=79 nbBacktracks=140 nbVisitedNodes=397 nbRestartNogoods=10 mapSize=110
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.14 cpuTime=0.1 mem=14M818
0.99
0.99 search
0.99 run=5 nbConstraintChecks=294361 nbPropagations=19832 nbRevisions=222237 nbUselessRevisions=180287
0.99 nbAssignments=380 nbFailedAssignments=126 nbBacktracks=215 nbVisitedNodes=609 nbRestartNogoods=13 mapSize=172
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.176 cpuTime=0.13 mem=14M818
1.03
1.03 search
1.03 run=6 nbConstraintChecks=443388 nbPropagations=29004 nbRevisions=340191 nbUselessRevisions=276317
1.03 nbAssignments=561 nbFailedAssignments=185 nbBacktracks=330 nbVisitedNodes=906 nbRestartNogoods=17 mapSize=263
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.216 cpuTime=0.17 mem=14M818
1.09
1.09 search
1.09 run=7 nbConstraintChecks=674824 nbPropagations=42413 nbRevisions=519261 nbUselessRevisions=422772
1.09 nbAssignments=834 nbFailedAssignments=275 nbBacktracks=502 nbVisitedNodes=1363 nbRestartNogoods=21 mapSize=411
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.278 cpuTime=0.23 mem=14M818
1.19
1.19 search
1.19 run=8 nbConstraintChecks=996090 nbPropagations=62008 nbRevisions=782891 nbUselessRevisions=638746
1.19 nbAssignments=1257 nbFailedAssignments=412 nbBacktracks=759 nbVisitedNodes=2029 nbRestartNogoods=26
1.19 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.374 cpuTime=0.32 mem=14M818
1.33
1.33 search
1.33 run=9 nbConstraintChecks=1479562 nbPropagations=90500 nbRevisions=1177298 nbUselessRevisions=963292
1.33 nbAssignments=1859 nbFailedAssignments=622 nbBacktracks=1145 nbVisitedNodes=3038 nbRestartNogoods=28
1.33 mapSize=946 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.509 cpuTime=0.44 mem=14M818
1.36
1.36 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=14M818)
1.50
1.50 search
1.50 run=10 nbConstraintChecks=2213069 nbPropagations=132239 nbRevisions=1771154 nbUselessRevisions=1452542
1.50 nbAssignments=2768 nbFailedAssignments=951 nbBacktracks=1721 nbVisitedNodes=4599 nbRestartNogoods=31
1.50 => wckTime=0.688 cpuTime=0.61 mem=14M818
1.74
1.74 search
1.74 run=11 nbConstraintChecks=3324017 nbPropagations=193659 nbRevisions=2661007 nbUselessRevisions=2187385
1.74 nbAssignments=4091 nbFailedAssignments=1402 nbBacktracks=2586 nbVisitedNodes=6831 nbRestartNogoods=35
1.74 => wckTime=0.927 cpuTime=0.85 mem=14M818
2.10
2.10 search
2.10 run=12 nbConstraintChecks=4955657 nbPropagations=284295 nbRevisions=4003196 nbUselessRevisions=3299962
2.10 nbAssignments=6081 nbFailedAssignments=2088 nbBacktracks=3884 nbVisitedNodes=10212 nbRestartNogoods=43
2.10 => wckTime=1.288 cpuTime=1.2 mem=14M818
2.63
2.63 search
2.63 run=13 nbConstraintChecks=7351654 nbPropagations=418853 nbRevisions=5984704 nbUselessRevisions=4939863
2.63 nbAssignments=9037 nbFailedAssignments=3091 nbBacktracks=5831 nbVisitedNodes=15165 nbRestartNogoods=50
2.63 => wckTime=1.812 cpuTime=1.72 mem=14M818
3.38
3.39 search
3.39 run=14 nbConstraintChecks=10831185 nbPropagations=616348 nbRevisions=8899772 nbUselessRevisions=7352495
3.39 nbAssignments=13411 nbFailedAssignments=4538 nbBacktracks=8754 nbVisitedNodes=22423 nbRestartNogoods=58
3.39 => wckTime=2.569 cpuTime=2.47 mem=14M818
4.62
4.62 search
4.62 run=15 nbConstraintChecks=16542913 nbPropagations=915262 nbRevisions=13312243 nbUselessRevisions=11001732
4.62 nbAssignments=20049 nbFailedAssignments=6791 nbBacktracks=13133 nbVisitedNodes=33618 nbRestartNogoods=65
4.62 => wckTime=3.808 cpuTime=3.69 mem=14M818
6.42
6.42 search
6.42 run=16 nbConstraintChecks=24861504 nbPropagations=1362726 nbRevisions=19916919 nbUselessRevisions=16461305
6.42 nbAssignments=29993 nbFailedAssignments=10146 nbBacktracks=19706 nbVisitedNodes=50296 nbRestartNogoods=76
6.42 => wckTime=5.607 cpuTime=5.48 mem=14M818
9.24
9.24 search
9.24 run=17 nbConstraintChecks=37845232 nbPropagations=2039399 nbRevisions=29975973 nbUselessRevisions=24786244
9.24 nbAssignments=45051 nbFailedAssignments=15342 nbBacktracks=29560 nbVisitedNodes=75833 nbRestartNogoods=82
9.24 => wckTime=8.426 cpuTime=8.27 mem=14M818
13.37
13.37 search
13.37 run=18 nbConstraintChecks=56857822 nbPropagations=3054239 nbRevisions=45023575 nbUselessRevisions=37237791
13.37 nbAssignments=67321 nbFailedAssignments=22830 nbBacktracks=44338 nbVisitedNodes=113273 nbRestartNogoods=91
13.37 => wckTime=12.549 cpuTime=12.35 mem=14M818
19.61
19.61 search
19.61 run=19 nbConstraintChecks=85839352 nbPropagations=4581870 nbRevisions=67720867 nbUselessRevisions=56020829
19.61 nbAssignments=100843 nbFailedAssignments=34177 nbBacktracks=66508 nbVisitedNodes=169912 nbRestartNogoods=94
19.61 => wckTime=18.789 cpuTime=18.54 mem=14M818
28.08
28.08 search
28.08 run=20 nbConstraintChecks=125155144 nbPropagations=6800247 nbRevisions=100878957 nbUselessRevisions=83481479
28.08 nbAssignments=145941 nbFailedAssignments=49671 nbBacktracks=96113 nbVisitedNodes=246133 nbRestartNogoods=103
28.08 => wckTime=27.262 cpuTime=26.93 mem=14M818
28.08
28.08 global
28.08 nbConstraintChecks=125183192 nbPropagations=6801086 nbRevisions=100883671 nbUselessRevisions=83485105
28.08 nbRestartNogoods=103 solvingWckTime=27.263 solvingCpuTime=26.93 expiredTime=no totalExploration=yes
28.08 nbFoundSolutions=0 globalCpuTime=27.34
28.08 => wckTime=27.771 cpuTime=27.28 mem=14M818
28.08
28.08 s UNSATISFIABLE
28.08 d NODES 145941
28.08 d CHECKS 125183192
28.08
28.08 totalWckTime=27.851 totalCpuTime=27.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-228521-1168299099 -o ROOT/results/node18/solver-228521-1168299099 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228521-1168299099/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.90 1.01 1.21 4/94 371
/proc/meminfo: memFree=1445080/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=906644 CPUtime=0.02
/proc/370/stat : 370 (java) S 368 370 32705 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 178304560 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 226661 1817 1036 14 0 214244 0
[pid=370/tid=372] ppid=368 vsize=906644 CPUtime=0
/proc/370/task/372/stat : 372 (java) R 368 370 32705 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 178304564 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104787 s]
/proc/loadavg: 0.90 1.01 1.21 4/94 371
/proc/meminfo: memFree=1445080/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=914988 CPUtime=0.09
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 3007 0 1 0 8 1 0 0 17 0 8 0 178304560 936947712 2753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155239648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228747 2753 1431 14 0 215242 0
[pid=370/tid=372] ppid=368 vsize=914988 CPUtime=0
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 178304564 936947712 2753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512825 s]
/proc/loadavg: 0.90 1.01 1.21 4/94 371
/proc/meminfo: memFree=1445080/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=915328 CPUtime=0.49
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 6439 0 1 0 47 2 0 0 17 0 8 0 178304560 937295872 6178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228832 6178 2138 14 0 215302 0
[pid=370/tid=372] ppid=368 vsize=915328 CPUtime=0
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 178304564 937295872 6178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3359 s]
/proc/loadavg: 0.90 1.01 1.21 3/102 379
/proc/meminfo: memFree=1404248/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=915456 CPUtime=1.31
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 8679 0 1 0 126 5 0 0 20 0 8 0 178304560 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228864 8417 2524 14 0 215334 0
[pid=370/tid=372] ppid=368 vsize=915456 CPUtime=0.03
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178304564 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=373] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/373/stat : 373 (java) S 368 370 32705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178304565 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=374] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/374/stat : 374 (java) S 368 370 32705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178304565 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=375] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/375/stat : 375 (java) S 368 370 32705 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178304568 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=376] ppid=368 vsize=915456 CPUtime=0.21
/proc/370/task/376/stat : 376 (java) S 368 370 32705 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 178304568 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=377] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/377/stat : 377 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178304568 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=378] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/378/stat : 378 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178304568 937426944 8417 18446744073709551615 134512640 134570532 4294956464 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) 915456
[startup+2.98906 s]
/proc/loadavg: 0.90 1.01 1.21 3/102 379
/proc/meminfo: memFree=1404056/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=915456 CPUtime=2.95
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 8699 0 1 0 290 5 0 0 25 0 8 0 178304560 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228864 8436 2524 14 0 215334 0
[pid=370/tid=372] ppid=368 vsize=915456 CPUtime=0.03
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178304564 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=373] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/373/stat : 373 (java) S 368 370 32705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178304565 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=374] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/374/stat : 374 (java) S 368 370 32705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178304565 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=375] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/375/stat : 375 (java) S 368 370 32705 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178304568 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=376] ppid=368 vsize=915456 CPUtime=0.23
/proc/370/task/376/stat : 376 (java) S 368 370 32705 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 178304568 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=377] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/377/stat : 377 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178304568 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=378] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/378/stat : 378 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178304568 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.28337 s]
/proc/loadavg: 0.99 1.02 1.21 3/102 379
/proc/meminfo: memFree=1403808/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=915456 CPUtime=6.21
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 8704 0 1 0 616 5 0 0 25 0 8 0 178304560 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228864 8441 2524 14 0 215334 0
[pid=370/tid=372] ppid=368 vsize=915456 CPUtime=0.03
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178304564 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=373] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/373/stat : 373 (java) S 368 370 32705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178304565 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=374] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/374/stat : 374 (java) S 368 370 32705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178304565 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=375] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/375/stat : 375 (java) S 368 370 32705 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178304568 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=376] ppid=368 vsize=915456 CPUtime=0.23
/proc/370/task/376/stat : 376 (java) S 368 370 32705 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178304568 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=377] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/377/stat : 377 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178304568 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=378] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/378/stat : 378 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178304568 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.769 s]
/proc/loadavg: 1.07 1.04 1.22 3/102 379
/proc/meminfo: memFree=1403808/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=915456 CPUtime=12.63
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 8710 0 1 0 1258 5 0 0 25 0 8 0 178304560 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228864 8446 2524 14 0 215334 0
[pid=370/tid=372] ppid=368 vsize=915456 CPUtime=0.03
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178304564 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=373] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/373/stat : 373 (java) S 368 370 32705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178304565 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=374] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/374/stat : 374 (java) S 368 370 32705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178304565 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=375] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/375/stat : 375 (java) S 368 370 32705 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178304568 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=376] ppid=368 vsize=915456 CPUtime=0.23
/proc/370/task/376/stat : 376 (java) S 368 370 32705 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178304568 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=377] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/377/stat : 377 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178304568 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=378] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/378/stat : 378 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178304568 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915456
[startup+25.6072 s]
/proc/loadavg: 1.27 1.09 1.23 3/102 379
/proc/meminfo: memFree=1403872/2055920 swapFree=4192812/4192956
[pid=370] ppid=368 vsize=915456 CPUtime=25.35
/proc/370/stat : 370 (java) R 368 370 32705 0 -1 0 8715 0 1 0 2530 5 0 0 25 0 8 0 178304560 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/370/statm: 228864 8451 2524 14 0 215334 0
[pid=370/tid=372] ppid=368 vsize=915456 CPUtime=0.03
/proc/370/task/372/stat : 372 (java) S 368 370 32705 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178304564 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=373] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/373/stat : 373 (java) S 368 370 32705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178304565 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=374] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/374/stat : 374 (java) S 368 370 32705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178304565 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=375] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/375/stat : 375 (java) S 368 370 32705 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178304568 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=376] ppid=368 vsize=915456 CPUtime=0.23
/proc/370/task/376/stat : 376 (java) S 368 370 32705 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178304568 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=377] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/377/stat : 377 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178304568 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=370/tid=378] ppid=368 vsize=915456 CPUtime=0
/proc/370/task/378/stat : 378 (java) S 368 370 32705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178304568 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 28.1471
CPU time (s): 27.8258
CPU user time (s): 27.7638
CPU system time (s): 0.06199
CPU usage (%): 98.8585
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7638
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8808
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= 1419
involuntary context switches= 2220
runsolver used 0.043993 s user time and 0.087986 s system time
The end
Begin job on node18 on Mon Jan 8 23:31:39 UTC 2007
IDJOB= 228521
IDBENCH= 6204
FILE ID= node18/228521-1168299099
PBS_JOBID= 3502160
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228521-1168299099/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-228521-1168299099 -o ROOT/results/node18/solver-228521-1168299099 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228521-1168299099/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 32ad748e3487e3f49347334b279f11f4
RANDOM SEED= 422383277
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.231
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.231
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: 1445624 kB
Buffers: 94568 kB
Cached: 372116 kB
SwapCached: 0 kB
Active: 333000 kB
Inactive: 216520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5476 kB
Writeback: 0 kB
Mapped: 110148 kB
Slab: 45584 kB
Committed_AS: 6003464 kB
PageTables: 2212 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= 66301 MiB
End job on node18 on Mon Jan 8 23:32:07 UTC 2007