0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/278452-1169288142/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.40	       =>  wckTime=0.086  cpuTime=0.07  mem=6M887
0.40	   
0.40	   relations being loaded...
0.41	   
0.41	   constraints being loaded...
0.55	     nbConstraints=693  nbRelationTypes=14  nbExtensionStructures=14  nbSharedExtensionStructures=679
0.55	     nbConflictsStructures=14  nbSharedConflictsStructures=679  nbSharedBinaryRepresentations=52  maxDegree=38
0.55	     maxArity=2
0.55	       =>  wckTime=0.243  cpuTime=0.17  mem=8M838
0.60	   
0.60	   solver LocalSearchSolver being built... 
0.63	       =>  wckTime=0.323  cpuTime=0.21  mem=5M709
0.64	
0.64	s SATISFIABLE
0.64	o 364
0.64	c 329
0.64	o 371
0.64	c 322
0.64	o 379
0.64	c 314
0.64	o 384
0.64	c 309
0.65	o 389
0.65	c 304
0.65	o 395
0.65	c 298
0.65	o 396
0.65	c 297
0.65	o 400
0.65	c 293
0.65	o 403
0.65	c 290
0.65	o 405
0.65	c 288
0.65	o 407
0.65	c 286
0.65	o 409
0.65	c 284
0.65	o 411
0.65	c 282
0.65	o 415
0.66	c 278
0.66	o 416
0.66	c 277
0.66	o 418
0.66	c 275
0.66	o 425
0.66	c 268
0.66	o 427
0.66	c 266
0.66	o 429
0.66	c 264
0.68	o 430
0.68	c 263
0.76	o 432
0.76	c 261
0.76	o 433
0.76	c 260
0.76	o 434
0.76	c 259
1.04	o 435
1.04	c 258
2.41	o 436
2.41	c 257
2.67	o 437
2.67	c 256
2.95	   
2.95	   search
2.95	     run=0  nbConstraintChecks=11244109  nbAssignments=10000
2.95	       =>  wckTime=2.321  cpuTime=2.3  mem=5M709
5.22	   
5.22	   search
5.22	     run=1  nbConstraintChecks=22580052  nbAssignments=20000
5.22	       =>  wckTime=4.586  cpuTime=4.55  mem=5M709
7.45	   
7.45	   search
7.45	     run=2  nbConstraintChecks=33819775  nbAssignments=30000
7.45	       =>  wckTime=6.818  cpuTime=6.77  mem=5M709
9.70	   
9.70	   search
9.70	     run=3  nbConstraintChecks=45162010  nbAssignments=40000
9.70	       =>  wckTime=9.064  cpuTime=9.01  mem=5M709
11.93	   
11.93	   search
11.93	     run=4  nbConstraintChecks=56403044  nbAssignments=50000
11.93	       =>  wckTime=11.295  cpuTime=11.23  mem=5M709
14.17	   
14.17	   search
14.17	     run=5  nbConstraintChecks=67735769  nbAssignments=60000
14.17	       =>  wckTime=13.539  cpuTime=13.46  mem=5M709
16.41	   
16.41	   search
16.41	     run=6  nbConstraintChecks=78964205  nbAssignments=70000
16.41	       =>  wckTime=15.776  cpuTime=15.69  mem=5M709
18.67	   
18.67	   search
18.67	     run=7  nbConstraintChecks=90304413  nbAssignments=80000
18.67	       =>  wckTime=18.041  cpuTime=17.94  mem=5M709
20.92	   
20.92	   search
20.92	     run=8  nbConstraintChecks=101539049  nbAssignments=90000
20.92	       =>  wckTime=20.29  cpuTime=20.18  mem=5M709
23.19	   
23.19	   search
23.19	     run=9  nbConstraintChecks=112869385  nbAssignments=100000
23.19	       =>  wckTime=22.553  cpuTime=22.44  mem=5M709
25.46	   
25.53	   search
25.53	     run=10  nbConstraintChecks=124107824  nbAssignments=110000
25.53	       =>  wckTime=24.825  cpuTime=24.67  mem=5M709
27.71	   
27.71	   search
27.71	     run=11  nbConstraintChecks=135455458  nbAssignments=120000
27.71	       =>  wckTime=27.073  cpuTime=26.91  mem=5M709
29.94	   
29.94	   search
29.94	     run=12  nbConstraintChecks=146692226  nbAssignments=130000
29.94	       =>  wckTime=29.306  cpuTime=29.14  mem=5M709
32.19	   
32.19	   search
32.19	     run=13  nbConstraintChecks=158036348  nbAssignments=140000
32.19	       =>  wckTime=31.554  cpuTime=31.37  mem=5M709
32.84	   
32.84	   search
32.84	     run=14  nbConstraintChecks=161293889  nbAssignments=142947
32.84	       =>  wckTime=32.206  cpuTime=32.03  mem=5M709
32.84	   
32.84	   global
32.84	     nbConstraintChecks=161293889  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.84	     solvingWckTime=32.204  solvingCpuTime=32.02  expiredTime=no  totalExploration=no  nbFoundSolutions=0
32.84	     globalCpuTime=32.28
32.84	       =>  wckTime=32.529  cpuTime=32.23  mem=5M709
32.84	   
32.84	   solver IterativeSystematicSolver being built... 
32.97	       =>  wckTime=32.663  cpuTime=32.32  mem=16M826
33.04	   
33.04	   preprocessing
33.04	     nbConstraintChecks=55197  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
33.04	     detectedInconsistency=no
33.04	       =>  wckTime=0.058  cpuTime=0.04  mem=16M826
33.07	   
33.07	   search
33.07	     run=0  nbConstraintChecks=61083  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37
33.07	     nbFailedAssignments=5  nbBacktracks=11  nbVisitedNodes=53  nbRestartNogoods=0
33.07	       =>  wckTime=0.092  cpuTime=0.07  mem=16M826
33.12	   
33.12	   search
33.12	     run=1  nbConstraintChecks=144610  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=82
33.12	     nbFailedAssignments=13  nbBacktracks=28  nbVisitedNodes=123  nbRestartNogoods=2
33.12	       =>  wckTime=0.141  cpuTime=0.11  mem=16M826
33.16	   
33.16	   search
33.16	     run=2  nbConstraintChecks=248387  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=133
33.16	     nbFailedAssignments=24  nbBacktracks=52  nbVisitedNodes=209  nbRestartNogoods=4
33.16	       =>  wckTime=0.182  cpuTime=0.16  mem=16M826
33.22	   
33.22	   search
33.22	     run=3  nbConstraintChecks=395365  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=203
33.22	     nbFailedAssignments=43  nbBacktracks=86  nbVisitedNodes=331  nbRestartNogoods=6
33.22	       =>  wckTime=0.242  cpuTime=0.22  mem=16M826
33.29	   
33.29	   search
33.29	     run=4  nbConstraintChecks=591130  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=295
33.29	     nbFailedAssignments=68  nbBacktracks=136  nbVisitedNodes=497  nbRestartNogoods=8
33.29	       =>  wckTime=0.318  cpuTime=0.29  mem=16M826
33.41	   
33.41	   search
33.41	     run=5  nbConstraintChecks=895465  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=428
33.41	     nbFailedAssignments=111  nbBacktracks=211  nbVisitedNodes=747  nbRestartNogoods=10
33.41	       =>  wckTime=0.435  cpuTime=0.4  mem=16M826
33.59	   
33.59	   search
33.59	     run=6  nbConstraintChecks=1369207  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=630
33.59	     nbFailedAssignments=186  nbBacktracks=325  nbVisitedNodes=1135  nbRestartNogoods=13
33.59	       =>  wckTime=0.615  cpuTime=0.58  mem=16M826
33.86	   
33.86	   search
33.86	     run=7  nbConstraintChecks=2066325  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=914
33.86	     nbFailedAssignments=290  nbBacktracks=496  nbVisitedNodes=1687  nbRestartNogoods=15
33.86	       =>  wckTime=0.886  cpuTime=0.85  mem=16M826
34.28	   
34.28	   search
34.28	     run=8  nbConstraintChecks=3146396  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1372
34.28	     nbFailedAssignments=476  nbBacktracks=753  nbVisitedNodes=2575  nbRestartNogoods=17
34.28	       =>  wckTime=1.304  cpuTime=1.25  mem=16M826
34.87	   
34.87	   search
34.87	     run=9  nbConstraintChecks=4698422  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2005
34.87	     nbFailedAssignments=709  nbBacktracks=1138  nbVisitedNodes=3816  nbRestartNogoods=21
34.87	       =>  wckTime=1.898  cpuTime=1.83  mem=16M826
35.75	   
35.75	   search
35.75	     run=10  nbConstraintChecks=7032824  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2940
35.75	     nbFailedAssignments=1058  nbBacktracks=1714  nbVisitedNodes=5658  nbRestartNogoods=25
35.75	       =>  wckTime=2.772  cpuTime=2.7  mem=16M826
37.06	   
37.06	   search
37.06	     run=11  nbConstraintChecks=10569956  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4403
37.06	     nbFailedAssignments=1642  nbBacktracks=2578  nbVisitedNodes=8525  nbRestartNogoods=30
37.06	       =>  wckTime=4.087  cpuTime=4.0  mem=16M826
39.13	   
39.13	   search
39.13	     run=12  nbConstraintChecks=15950609  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6546
39.13	     nbFailedAssignments=2476  nbBacktracks=3875  nbVisitedNodes=12732  nbRestartNogoods=33
39.13	       =>  wckTime=6.151  cpuTime=6.05  mem=16M826
42.35	   
42.35	   search
42.35	     run=13  nbConstraintChecks=24131289  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9778
42.35	     nbFailedAssignments=3751  nbBacktracks=5821  nbVisitedNodes=19103  nbRestartNogoods=37
42.35	       =>  wckTime=9.375  cpuTime=9.26  mem=16M826
46.97	   
46.97	   search
46.97	     run=14  nbConstraintChecks=36176146  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14547
46.97	     nbFailedAssignments=5593  nbBacktracks=8740  nbVisitedNodes=28519  nbRestartNogoods=42
46.97	       =>  wckTime=13.999  cpuTime=13.86  mem=16M826
53.49	   
53.49	   search
53.49	     run=15  nbConstraintChecks=53349125  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21620
53.49	     nbFailedAssignments=8278  nbBacktracks=13118  nbVisitedNodes=42393  nbRestartNogoods=48
53.49	       =>  wckTime=20.511  cpuTime=20.35  mem=16M826
63.66	   
63.66	   search
63.66	     run=16  nbConstraintChecks=79416909  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31994
63.66	     nbFailedAssignments=12073  nbBacktracks=19687  nbVisitedNodes=62896  nbRestartNogoods=55
63.66	       =>  wckTime=30.683  cpuTime=30.48  mem=16M826
79.83	   
79.83	   search
79.83	     run=17  nbConstraintChecks=119909376  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47920
79.83	     nbFailedAssignments=18137  nbBacktracks=29541  nbVisitedNodes=94327  nbRestartNogoods=62
79.83	       =>  wckTime=46.853  cpuTime=46.56  mem=16M826
104.51	   
104.52	   search
104.52	     run=18  nbConstraintChecks=181760133  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=72429
104.52	     nbFailedAssignments=27860  nbBacktracks=44319  nbVisitedNodes=142492  nbRestartNogoods=69
104.52	       =>  wckTime=71.54  cpuTime=71.14  mem=16M826
141.45	   
141.45	   search
141.45	     run=19  nbConstraintChecks=274067945  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=109364
141.45	     nbFailedAssignments=42613  nbBacktracks=66490  nbVisitedNodes=214805  nbRestartNogoods=76
141.45	       =>  wckTime=108.471  cpuTime=107.88  mem=16M826
168.21	   
168.21	   search
168.21	     run=20  nbConstraintChecks=341604520  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=136704
168.21	     nbFailedAssignments=53051  nbBacktracks=83393  nbVisitedNodes=267986  nbRestartNogoods=82
168.21	       =>  wckTime=135.234  cpuTime=134.52  mem=16M826
168.21	   
168.21	   global
168.21	     nbConstraintChecks=341659717  nbRestartNogoods=82  solvingWckTime=135.235  solvingCpuTime=134.52  expiredTime=no
168.21	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=166.89
168.21	       =>  wckTime=167.899  cpuTime=166.84  mem=16M826
168.21	
168.21	s OPTIMUM FOUND
168.21	v 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 
168.21	   
168.21	   totalWckTime=167.977  totalCpuTime=166.89
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-278452-1169288142 -o ROOT/results/node7/solver-278452-1169288142 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278452-1169288142/unknown.xml 
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.71 1.42 1.75 7/86 23498
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=292 CPUtime=0
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 277209862 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/23497/statm: 73 35 27 14 0 5 0
[startup+0.108019 s]
/proc/loadavg: 0.71 1.42 1.75 7/86 23498
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=913228 CPUtime=0.07
/proc/23497/stat : 23497 (java) D 23492 23497 23386 0 -1 0 2918 0 1 0 6 1 0 0 22 0 8 0 277209862 935145472 2664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.517059 s]
/proc/loadavg: 0.71 1.42 1.75 7/86 23498
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915332 CPUtime=0.48
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 6499 0 1 0 45 3 0 0 25 0 8 0 277209862 937299968 6238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228833 6238 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34314 s]
/proc/loadavg: 0.71 1.42 1.75 3/100 23512
/proc/meminfo: memFree=1296808/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=1.29
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7293 0 1 0 113 16 0 0 25 0 8 0 277209862 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7031 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.13
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 340 0 0 0 12 1 0 0 16 0 8 0 277209870 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915464 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937435136 7031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98831 s]
/proc/loadavg: 0.71 1.42 1.75 3/100 23512
/proc/meminfo: memFree=1296808/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=2.93
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7296 0 1 0 249 44 0 0 25 0 8 0 277209862 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7033 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26765 s]
/proc/loadavg: 0.81 1.43 1.75 3/100 23512
/proc/meminfo: memFree=1296680/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915464 CPUtime=6.2
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7296 0 1 0 519 101 0 0 25 0 8 0 277209862 937435136 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7033 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915464 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 277209870 937435136 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7573 s]
/proc/loadavg: 0.91 1.44 1.75 3/100 23512
/proc/meminfo: memFree=1296680/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=12.66
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7297 0 1 0 1057 209 0 0 25 0 8 0 277209862 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7034 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6057 s]
/proc/loadavg: 1.15 1.46 1.75 3/100 23512
/proc/meminfo: memFree=1296744/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=25.43
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 7297 0 1 0 2114 429 0 0 25 0 8 0 277209862 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 7034 2479 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915464 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 277209867 937435136 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.14
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 343 0 0 0 13 1 0 0 16 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915460
[startup+51.2124 s]
/proc/loadavg: 1.44 1.50 1.76 3/100 23512
/proc/meminfo: memFree=1282216/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=50.92
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 9189 0 1 0 4537 555 0 0 25 0 8 0 277209862 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 8923 2532 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.24
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 401 0 0 0 23 1 0 0 15 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915460
[startup+102.422 s]
/proc/loadavg: 1.75 1.58 1.77 3/100 23512
/proc/meminfo: memFree=1282088/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=101.89
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 9197 0 1 0 9634 555 0 0 25 0 8 0 277209862 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 8931 2532 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.24
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915460
[startup+162.473 s]
/proc/loadavg: 1.91 1.65 1.78 3/100 23512
/proc/meminfo: memFree=1282024/2055920 swapFree=4192812/4192956
[pid=23497] ppid=23492 vsize=915460 CPUtime=161.65
/proc/23497/stat : 23497 (java) R 23492 23497 23386 0 -1 0 9204 0 1 0 15610 555 0 0 25 0 8 0 277209862 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23497/statm: 228865 8936 2532 14 0 215335 0
[pid=23497/tid=23499] ppid=23492 vsize=915460 CPUtime=0.02
/proc/23497/task/23499/stat : 23499 (java) S 23492 23497 23386 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 277209867 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23501] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23501/stat : 23501 (java) S 23492 23497 23386 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277209867 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23502] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23502/stat : 23502 (java) S 23492 23497 23386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277209867 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23505] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23505/stat : 23505 (java) S 23492 23497 23386 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23506] ppid=23492 vsize=915460 CPUtime=0.24
/proc/23497/task/23506/stat : 23506 (java) S 23492 23497 23386 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23507] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23507/stat : 23507 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23497/tid=23508] ppid=23492 vsize=915460 CPUtime=0
/proc/23497/task/23508/stat : 23508 (java) S 23492 23497 23386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277209870 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 168.258
CPU time (s): 167.379
CPU user time (s): 161.817
CPU system time (s): 5.56115
CPU usage (%): 99.4771
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.817
system time used= 5.56115
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9303
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= 4637
involuntary context switches= 10905
runsolver used 0.208968 s user time and 0.547916 s system time
The end
 
Begin job on node7 on Sat Jan 20 10:15:43 UTC 2007
IDJOB= 278452
IDBENCH= 8399
IDSOLVER= 68
FILE ID= node7/278452-1169288142
PBS_JOBID= 3609538
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2100-244621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278452-1169288142/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-278452-1169288142 -o ROOT/results/node7/solver-278452-1169288142 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278452-1169288142/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  aa4410bbd1415ceb6d64d55ced980d2d
RANDOM SEED= 842794335
TIME LIMIT= 2400 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:       1336544 kB
Buffers:         54900 kB
Cached:         522556 kB
SwapCached:          0 kB
Active:         211744 kB
Inactive:       425952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1336544 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:          79220 kB
Slab:            66664 kB
Committed_AS:  8453580 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= 66561 MiB
End job on node7 on Sat Jan 20 10:18:33 UTC 2007