Trace number 276391

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.08 2402.63

General information on the benchmark

Nametightness/tightness0.8/
rand-2-40-80-103-800-29_ext.xml
MD5SUMeb2e85044c616a714f9eeb520026d899
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints101
Best CPU time to get the best result obtained on this benchmark2400.07
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/276391-1169236507/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=80  maxDomainSize=80
0.41	       =>  wckTime=0.097  cpuTime=0.09  mem=6M887
0.41	   
0.41	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.66	     nbConstraints=103  nbRelationTypes=103  nbExtensionStructures=103  nbSharedExtensionStructures=0
0.66	     nbConflictsStructures=103  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=10  maxArity=2
0.66	       =>  wckTime=0.355  cpuTime=0.3  mem=21M663
0.71	   
0.71	   solver LocalSearchSolver being built... 
0.75	       =>  wckTime=0.441  cpuTime=0.34  mem=6M328
0.76	
0.76	s SATISFIABLE
0.76	o 19
0.76	c 84
0.76	o 23
0.76	c 80
0.76	o 27
0.76	c 76
0.76	o 31
0.76	c 72
0.76	o 35
0.76	c 68
0.77	o 39
0.77	c 64
0.77	o 42
0.77	c 61
0.77	o 45
0.77	c 58
0.77	o 47
0.77	c 56
0.77	o 49
0.77	c 54
0.77	o 51
0.77	c 52
0.77	o 54
0.77	c 49
0.77	o 57
0.77	c 46
0.77	o 60
0.77	c 43
0.77	o 63
0.77	c 40
0.78	o 66
0.78	c 37
0.78	o 68
0.78	c 35
0.78	o 70
0.78	c 33
0.78	o 72
0.78	c 31
0.78	o 73
0.78	c 30
0.78	o 74
0.78	c 29
0.78	o 75
0.78	c 28
0.78	o 77
0.78	c 26
0.78	o 78
0.78	c 25
0.79	o 79
0.79	c 24
0.79	o 80
0.79	c 23
0.79	o 81
0.79	c 22
0.79	o 82
0.80	c 21
0.80	o 83
0.80	c 20
0.80	o 85
0.80	c 18
0.80	o 86
0.80	c 17
0.80	o 87
0.80	c 16
0.80	o 88
0.80	c 15
0.80	o 89
0.80	c 14
0.80	o 90
0.80	c 13
0.81	o 91
0.81	c 12
0.81	o 92
0.81	c 11
0.84	o 93
0.84	c 10
0.85	o 94
0.85	c 9
0.88	o 95
0.88	c 8
1.04	o 96
1.04	c 7
1.06	o 97
1.06	c 6
1.07	o 98
1.07	c 5
5.91	   
5.91	   search
5.91	     run=0  nbConstraintChecks=44430967  nbAssignments=10000
5.91	       =>  wckTime=5.163  cpuTime=5.14  mem=6M328
6.47	o 99
6.47	c 4
11.38	   
11.38	   search
11.38	     run=1  nbConstraintChecks=90544868  nbAssignments=20000
11.38	       =>  wckTime=10.636  cpuTime=10.6  mem=6M328
16.57	   
16.57	   search
16.57	     run=2  nbConstraintChecks=134734906  nbAssignments=30000
16.57	       =>  wckTime=15.826  cpuTime=15.79  mem=6M328
22.14	   
22.14	   search
22.14	     run=3  nbConstraintChecks=182170739  nbAssignments=40000
22.14	       =>  wckTime=21.394  cpuTime=21.36  mem=6M328
25.26	o 100
25.26	c 3
27.07	   
27.07	   search
27.07	     run=4  nbConstraintChecks=223553374  nbAssignments=50000
27.07	       =>  wckTime=26.324  cpuTime=26.28  mem=6M328
32.51	   
32.51	   search
32.51	     run=5  nbConstraintChecks=269154786  nbAssignments=60000
32.51	       =>  wckTime=31.76  cpuTime=31.71  mem=6M328
37.52	   
37.52	   search
37.52	     run=6  nbConstraintChecks=311095882  nbAssignments=70000
37.52	       =>  wckTime=36.776  cpuTime=36.71  mem=6M328
43.07	   
43.07	   search
43.07	     run=7  nbConstraintChecks=358297034  nbAssignments=80000
43.07	       =>  wckTime=42.323  cpuTime=42.26  mem=6M328
48.13	   
48.13	   search
48.13	     run=8  nbConstraintChecks=400947636  nbAssignments=90000
48.13	       =>  wckTime=47.383  cpuTime=47.32  mem=6M328
53.97	   
53.97	   search
53.97	     run=9  nbConstraintChecks=450957067  nbAssignments=100000
53.97	       =>  wckTime=53.223  cpuTime=53.15  mem=6M328
55.30	   
55.30	   search
55.30	     run=10  nbConstraintChecks=462192114  nbAssignments=102841
55.30	       =>  wckTime=54.553  cpuTime=54.48  mem=6M328
55.30	   
55.30	   global
55.30	     nbConstraintChecks=462192114  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
55.30	     solvingWckTime=54.549  solvingCpuTime=54.48  expiredTime=no  totalExploration=no  nbFoundSolutions=0
55.30	     globalCpuTime=54.86
55.30	       =>  wckTime=54.995  cpuTime=54.82  mem=6M328
55.30	   
55.30	   solver IterativeSystematicSolver being built... 
55.42	       =>  wckTime=55.116  cpuTime=54.91  mem=17M202
55.51	   
55.51	   preprocessing
55.51	     nbConstraintChecks=160892  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
55.51	     detectedInconsistency=no
55.51	       =>  wckTime=0.087  cpuTime=0.07  mem=17M202
56.01	   
56.01	   search
56.01	     run=0  nbConstraintChecks=2321253  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=207
56.01	     nbFailedAssignments=190  nbBacktracks=10  nbVisitedNodes=408  nbRestartNogoods=0
56.01	       =>  wckTime=0.588  cpuTime=0.56  mem=17M202
56.55	   
56.55	   search
56.55	     run=1  nbConstraintChecks=5383993  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=481
56.55	     nbFailedAssignments=442  nbBacktracks=25  nbVisitedNodes=949  nbRestartNogoods=85
56.55	       =>  wckTime=1.125  cpuTime=1.09  mem=17M202
56.97	   
56.97	   search
56.97	     run=2  nbConstraintChecks=7752553  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=720
56.97	     nbFailedAssignments=647  nbBacktracks=47  nbVisitedNodes=1415  nbRestartNogoods=105
56.97	       =>  wckTime=1.543  cpuTime=1.5  mem=17M202
58.42	   
58.42	   search
58.42	     run=3  nbConstraintChecks=16945668  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1533
58.42	     nbFailedAssignments=1417  nbBacktracks=80  nbVisitedNodes=3031  nbRestartNogoods=165
58.42	       =>  wckTime=2.991  cpuTime=2.93  mem=17M202
59.09	   
59.09	   search
59.09	     run=4  nbConstraintChecks=20850029  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1906
59.09	     nbFailedAssignments=1729  nbBacktracks=130  nbVisitedNodes=3766  nbRestartNogoods=307
59.09	       =>  wckTime=3.669  cpuTime=3.6  mem=17M202
60.69	   
60.69	   search
60.69	     run=5  nbConstraintChecks=31961211  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2999
60.69	     nbFailedAssignments=2736  nbBacktracks=205  nbVisitedNodes=5941  nbRestartNogoods=342
60.69	       =>  wckTime=5.262  cpuTime=5.19  mem=17M202
65.12	   
65.12	   search
65.12	     run=6  nbConstraintChecks=59192901  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5560
65.12	     nbFailedAssignments=5175  nbBacktracks=318  nbVisitedNodes=11054  nbRestartNogoods=481
65.12	       =>  wckTime=9.691  cpuTime=9.62  mem=17M202
67.57	   
67.57	   search
67.57	     run=7  nbConstraintChecks=73046654  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7183
67.57	     nbFailedAssignments=6614  nbBacktracks=488  nbVisitedNodes=14286  nbRestartNogoods=520
67.57	       =>  wckTime=12.142  cpuTime=12.07  mem=17M202
74.59	   
74.59	   search
74.59	     run=8  nbConstraintChecks=112616135  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10707
74.59	     nbFailedAssignments=9878  nbBacktracks=744  nbVisitedNodes=21321  nbRestartNogoods=592
74.59	       =>  wckTime=19.161  cpuTime=19.08  mem=17M202
79.88	   
79.88	   search
79.88	     run=9  nbConstraintChecks=136827082  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13045
79.88	     nbFailedAssignments=11827  nbBacktracks=1128  nbVisitedNodes=25970  nbRestartNogoods=609
79.88	       =>  wckTime=24.458  cpuTime=24.38  mem=17M202
86.94	   
86.94	   search
86.94	     run=10  nbConstraintChecks=166920286  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15671
86.94	     nbFailedAssignments=13873  nbBacktracks=1704  nbVisitedNodes=31177  nbRestartNogoods=623
86.94	       =>  wckTime=31.513  cpuTime=31.4  mem=17M202
97.51	   
97.51	   search
97.51	     run=11  nbConstraintChecks=213472112  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20455
97.51	     nbFailedAssignments=17782  nbBacktracks=2568  nbVisitedNodes=40688  nbRestartNogoods=645
97.51	       =>  wckTime=42.082  cpuTime=41.96  mem=17M202
111.04	   
111.04	   search
111.04	     run=12  nbConstraintChecks=270013001  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25575
111.04	     nbFailedAssignments=21598  nbBacktracks=3865  nbVisitedNodes=50821  nbRestartNogoods=687
111.04	       =>  wckTime=55.615  cpuTime=55.49  mem=17M202
130.12	   
130.12	   search
130.12	     run=13  nbConstraintChecks=342036851  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31936
130.12	     nbFailedAssignments=26007  nbBacktracks=5811  nbVisitedNodes=63330  nbRestartNogoods=700
130.12	       =>  wckTime=74.694  cpuTime=74.54  mem=17M202
156.55	   
156.55	   search
156.55	     run=14  nbConstraintChecks=448451933  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41803
156.55	     nbFailedAssignments=32951  nbBacktracks=8730  nbVisitedNodes=82733  nbRestartNogoods=731
156.55	       =>  wckTime=101.129  cpuTime=100.95  mem=17M202
202.13	   
202.13	   search
202.13	     run=15  nbConstraintChecks=637656350  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59233
202.13	     nbFailedAssignments=45995  nbBacktracks=13108  nbVisitedNodes=117205  nbRestartNogoods=759
202.13	       =>  wckTime=146.703  cpuTime=146.48  mem=17M202
268.91	   
268.91	   search
268.91	     run=16  nbConstraintChecks=905460209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=84616
268.91	     nbFailedAssignments=64805  nbBacktracks=19676  nbVisitedNodes=167060  nbRestartNogoods=773
268.91	       =>  wckTime=213.487  cpuTime=213.2  mem=17M202
368.76	   
368.76	   search
368.76	     run=17  nbConstraintChecks=1311856006  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=123486
368.76	     nbFailedAssignments=93813  nbBacktracks=29528  nbVisitedNodes=243496  nbRestartNogoods=807
368.76	       =>  wckTime=313.332  cpuTime=312.91  mem=17M202
511.34	   
511.34	   search
511.34	     run=18  nbConstraintChecks=1924363352  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=177697
511.34	     nbFailedAssignments=133242  nbBacktracks=44306  nbVisitedNodes=350466  nbRestartNogoods=873
511.34	       =>  wckTime=455.917  cpuTime=455.29  mem=17M202
723.15	   
723.15	   search
723.15	     run=19  nbConstraintChecks=2770342800  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=256840
723.15	     nbFailedAssignments=190210  nbBacktracks=66474  nbVisitedNodes=505905  nbRestartNogoods=960
723.15	       =>  wckTime=667.729  cpuTime=666.89  mem=17M202
796.03	o 101
796.04	c 2
1033.14	   
1033.14	   search
1033.14	     run=20  nbConstraintChecks=3913266082  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=368365
1033.14	     nbFailedAssignments=268478  nbBacktracks=99726  nbVisitedNodes=720474  nbRestartNogoods=1040
1033.14	       =>  wckTime=977.716  cpuTime=976.56  mem=17M202
1493.72	   
1493.72	   search
1493.72	     run=21  nbConstraintChecks=5681752506  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=538970
1493.72	     nbFailedAssignments=389199  nbBacktracks=149604  nbVisitedNodes=1049089  nbRestartNogoods=1078
1493.72	       =>  wckTime=1438.296  cpuTime=1436.69  mem=17M202
2175.18	   
2175.18	   search
2175.18	     run=22  nbConstraintChecks=8267555893  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=783177
2175.18	     nbFailedAssignments=558582  nbBacktracks=224423  nbVisitedNodes=1519732  nbRestartNogoods=1191
2175.18	       =>  wckTime=2119.752  cpuTime=2117.44  mem=17M202
2402.57	v 68 24 44 13 18 58 12 19 2 41 22 6 35 33 59 9 5 51 69 11 26 27 16 23 3 0 5 57 72 35 59 12 76 5 45 1 36 3 34 31

Verifier Data (download as text)

2 unsatisfied constraints, 101 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-276391-1169236507 -o ROOT/results/node18/solver-276391-1169236507 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276391-1169236507/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: 1.92 1.98 1.99 4/87 3129
/proc/meminfo: memFree=772304/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=172 CPUtime=0
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272045422 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/3128/statm: 43 24 18 14 0 3 0

[startup+0.107646 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 3129
/proc/meminfo: memFree=772304/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=914988 CPUtime=0.07
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 2954 0 1 0 6 1 0 0 22 0 8 0 272045422 936947712 2700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.515684 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 3129
/proc/meminfo: memFree=772304/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915332 CPUtime=0.47
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 7700 0 1 0 44 3 0 0 25 0 8 0 272045422 937299968 7439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228833 7440 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33776 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741400/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=1.3
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10437 0 1 0 120 10 0 0 25 0 8 0 272045422 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10175 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915448 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937418752 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444

[startup+2.99092 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741336/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2.95
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10441 0 1 0 272 23 0 0 25 0 8 0 272045422 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10178 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 334 0 0 0 11 0 0 0 15 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444

[startup+6.19323 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=6.14
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 568 46 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444

[startup+12.6789 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=12.63
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 1171 92 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 17 0 8 0 272045427 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444

[startup+25.5371 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=25.48
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 2363 185 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915448 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937418752 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444

[startup+51.1706 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741272/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=51.08
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10443 0 1 0 4740 368 0 0 25 0 8 0 272045422 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10180 2479 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.11
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915444

[startup+102.433 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741080/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=102.28
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10609 0 1 0 9835 393 0 0 25 0 8 0 272045422 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10337 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915444

[startup+162.447 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 3136
/proc/meminfo: memFree=741016/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=162.24
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10609 0 1 0 15831 393 0 0 25 0 8 0 272045422 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2020.82
Current children cumulated vsize (KiB) 915444

[startup+2083.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2080.86
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 207671 415 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.86
Current children cumulated vsize (KiB) 915444

[startup+2143.19 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3411
/proc/meminfo: memFree=1263456/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2140.9
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 213675 415 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.9
Current children cumulated vsize (KiB) 915444

[startup+2203.29 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2200.93
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 219677 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2200.93
Current children cumulated vsize (KiB) 915444

[startup+2263.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2260.89
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 225673 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.89
Current children cumulated vsize (KiB) 915444

[startup+2323.36 s]
/proc/loadavg: 2.06 2.02 2.00 3/101 3411
/proc/meminfo: memFree=1263456/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2320.89
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 231673 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.89
Current children cumulated vsize (KiB) 915444

[startup+2383.41 s]
/proc/loadavg: 2.08 2.03 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2380.87
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 237671 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.87
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.56 s]
/proc/loadavg: 2.05 2.03 2.00 3/101 3411
/proc/meminfo: memFree=1263392/2055920 swapFree=4192812/4192956
[pid=3128] ppid=3126 vsize=915444 CPUtime=2400.01
/proc/3128/stat : 3128 (java) R 3126 3128 2463 0 -1 0 10612 0 1 0 239585 416 0 0 25 0 8 0 272045422 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3128/statm: 228861 10338 2532 14 0 215331 0
[pid=3128/tid=3130] ppid=3126 vsize=915444 CPUtime=0.03
/proc/3128/task/3130/stat : 3130 (java) S 3126 3128 2463 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272045427 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3131] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3131/stat : 3131 (java) S 3126 3128 2463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3132] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3132/stat : 3132 (java) S 3126 3128 2463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272045428 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3133] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3133/stat : 3133 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3134] ppid=3126 vsize=915444 CPUtime=0.22
/proc/3128/task/3134/stat : 3134 (java) S 3126 3128 2463 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3135] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3135/stat : 3135 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3128/tid=3136] ppid=3126 vsize=915444 CPUtime=0
/proc/3128/task/3136/stat : 3136 (java) S 3126 3128 2463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272045431 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2402.63
CPU time (s): 2400.08
CPU user time (s): 2395.91
CPU system time (s): 4.17137
CPU usage (%): 99.8938
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.91
system time used= 4.17136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10631
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= 49803
involuntary context switches= 104779

runsolver used 2.82157 s user time and 7.82981 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Jan 19 19:55:07 UTC 2007


IDJOB= 276391
IDBENCH= 5732
IDSOLVER= 68
FILE ID= node18/276391-1169236507

PBS_JOBID= 3588993

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276391-1169236507/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-276391-1169236507 -o ROOT/results/node18/solver-276391-1169236507 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276391-1169236507/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  eb2e85044c616a714f9eeb520026d899

RANDOM SEED= 972748207

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.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:        772784 kB
Buffers:         50920 kB
Cached:         555096 kB
SwapCached:          0 kB
Active:         772236 kB
Inactive:       430516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        772784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2556 kB
Writeback:           0 kB
Mapped:         616932 kB
Slab:            64220 kB
Committed_AS:  8562332 kB
PageTables:       3140 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 node18 on Fri Jan 19 20:35:10 UTC 2007