Trace number 281936

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 PFCOPTIMUM 2183.24 2197.94

General information on the benchmark

NameMaxCSP/
maxclique/mann-a9_ext.xml
MD5SUM44533c8a08cd8c83de8dc1a91d9e917e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints88
Best CPU time to get the best result obtained on this benchmark0.18897
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints117
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension117
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=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/281936-1169315783/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=46  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.41	       =>  wckTime=0.103  cpuTime=0.08  mem=6M910
0.41	   
0.41	   relations being loaded...
0.42	   
0.42	   constraints being loaded...
0.47	     nbConstraints=117  nbRelationTypes=2  nbSingletonDomainVariables=1  nbExtensionStructures=2
0.47	     nbSharedExtensionStructures=115  nbConflictsStructures=2  nbSharedConflictsStructures=115
0.47	     nbSharedBinaryRepresentations=3  maxDegree=45  maxArity=2
0.47	       =>  wckTime=0.163  cpuTime=0.12  mem=7M934
0.51	   
0.51	   solver LocalSearchSolver being built... 
0.55	       =>  wckTime=0.247  cpuTime=0.17  mem=5M420
0.55	
0.55	s SATISFIABLE
0.55	o 79
0.55	c 38
0.56	o 80
0.56	c 37
0.56	o 81
0.56	c 36
0.56	o 82
0.56	c 35
0.56	o 83
0.56	c 34
0.56	o 84
0.56	c 33
0.56	o 85
0.56	c 32
0.56	o 86
0.56	c 31
0.57	o 87
0.57	c 30
0.79	o 88
0.79	c 29
1.39	   
1.39	   search
1.39	     run=0  nbConstraintChecks=1078916  nbAssignments=10000
1.39	       =>  wckTime=0.843  cpuTime=0.82  mem=5M420
2.17	   
2.17	   search
2.17	     run=1  nbConstraintChecks=2177698  nbAssignments=20000
2.17	       =>  wckTime=1.616  cpuTime=1.58  mem=5M420
2.93	   
2.93	   search
2.93	     run=2  nbConstraintChecks=3256948  nbAssignments=30000
2.93	       =>  wckTime=2.384  cpuTime=2.34  mem=5M420
3.71	   
3.71	   search
3.71	     run=3  nbConstraintChecks=4355377  nbAssignments=40000
3.71	       =>  wckTime=3.16  cpuTime=3.11  mem=5M420
4.48	   
4.48	   search
4.48	     run=4  nbConstraintChecks=5432219  nbAssignments=50000
4.48	       =>  wckTime=3.927  cpuTime=3.87  mem=5M420
5.25	   
5.25	   search
5.25	     run=5  nbConstraintChecks=6535093  nbAssignments=60000
5.25	       =>  wckTime=4.7  cpuTime=4.64  mem=5M420
6.03	   
6.03	   search
6.03	     run=6  nbConstraintChecks=7613781  nbAssignments=70000
6.03	       =>  wckTime=5.475  cpuTime=5.4  mem=5M420
6.80	   
6.80	   search
6.80	     run=7  nbConstraintChecks=8706813  nbAssignments=80000
6.80	       =>  wckTime=6.254  cpuTime=6.17  mem=5M420
7.57	   
7.57	   search
7.57	     run=8  nbConstraintChecks=9789561  nbAssignments=90000
7.57	       =>  wckTime=7.019  cpuTime=6.93  mem=5M420
8.35	   
8.35	   search
8.35	     run=9  nbConstraintChecks=10887452  nbAssignments=100000
8.35	       =>  wckTime=7.799  cpuTime=7.7  mem=5M420
9.12	   
9.12	   search
9.12	     run=10  nbConstraintChecks=11966796  nbAssignments=110000
9.12	       =>  wckTime=8.573  cpuTime=8.47  mem=5M420
9.89	   
9.89	   search
9.89	     run=11  nbConstraintChecks=13061364  nbAssignments=120000
9.89	       =>  wckTime=9.34  cpuTime=9.23  mem=5M420
10.66	   
10.66	   search
10.66	     run=12  nbConstraintChecks=14136283  nbAssignments=130000
10.66	       =>  wckTime=10.113  cpuTime=10.0  mem=5M420
11.45	   
11.45	   search
11.45	     run=13  nbConstraintChecks=15230584  nbAssignments=140000
11.45	       =>  wckTime=10.896  cpuTime=10.77  mem=5M420
12.22	   
12.22	   search
12.22	     run=14  nbConstraintChecks=16310988  nbAssignments=150000
12.22	       =>  wckTime=11.671  cpuTime=11.54  mem=5M420
13.00	   
13.00	   search
13.00	     run=15  nbConstraintChecks=17407510  nbAssignments=160000
13.00	       =>  wckTime=12.452  cpuTime=12.32  mem=5M420
13.78	   
13.78	   search
13.78	     run=16  nbConstraintChecks=18485571  nbAssignments=170000
13.78	       =>  wckTime=13.233  cpuTime=13.08  mem=5M420
14.56	   
14.56	   search
14.56	     run=17  nbConstraintChecks=19587111  nbAssignments=180000
14.56	       =>  wckTime=14.013  cpuTime=13.86  mem=5M420
15.34	   
15.34	   search
15.34	     run=18  nbConstraintChecks=20664864  nbAssignments=190000
15.34	       =>  wckTime=14.789  cpuTime=14.63  mem=5M420
16.12	   
16.13	   search
16.13	     run=19  nbConstraintChecks=21762614  nbAssignments=200000
16.13	       =>  wckTime=15.574  cpuTime=15.41  mem=5M420
16.90	   
16.90	   search
16.90	     run=20  nbConstraintChecks=22838892  nbAssignments=210000
16.90	       =>  wckTime=16.351  cpuTime=16.18  mem=5M420
17.68	   
17.68	   search
17.68	     run=21  nbConstraintChecks=23937396  nbAssignments=220000
17.68	       =>  wckTime=17.128  cpuTime=16.94  mem=5M420
18.46	   
18.46	   search
18.46	     run=22  nbConstraintChecks=25013615  nbAssignments=230000
18.46	       =>  wckTime=17.908  cpuTime=17.72  mem=5M420
19.24	   
19.24	   search
19.24	     run=23  nbConstraintChecks=26110318  nbAssignments=240000
19.24	       =>  wckTime=18.691  cpuTime=18.49  mem=5M420
20.01	   
20.01	   search
20.01	     run=24  nbConstraintChecks=27191096  nbAssignments=250000
20.01	       =>  wckTime=19.462  cpuTime=19.26  mem=5M420
20.80	   
20.80	   search
20.80	     run=25  nbConstraintChecks=28289924  nbAssignments=260000
20.80	       =>  wckTime=20.246  cpuTime=20.04  mem=5M420
21.57	   
21.57	   search
21.57	     run=26  nbConstraintChecks=29367494  nbAssignments=270000
21.57	       =>  wckTime=21.022  cpuTime=20.81  mem=5M420
22.35	   
22.35	   search
22.35	     run=27  nbConstraintChecks=30462013  nbAssignments=280000
22.35	       =>  wckTime=21.796  cpuTime=21.57  mem=5M420
23.12	   
23.12	   search
23.12	     run=28  nbConstraintChecks=31540625  nbAssignments=290000
23.12	       =>  wckTime=22.567  cpuTime=22.34  mem=5M420
23.90	   
23.90	   search
23.90	     run=29  nbConstraintChecks=32635152  nbAssignments=300000
23.90	       =>  wckTime=23.346  cpuTime=23.11  mem=5M420
24.67	   
24.67	   search
24.67	     run=30  nbConstraintChecks=33709637  nbAssignments=310000
24.67	       =>  wckTime=24.116  cpuTime=23.88  mem=5M420
25.44	   
25.44	   search
25.44	     run=31  nbConstraintChecks=34805793  nbAssignments=320000
25.44	       =>  wckTime=24.892  cpuTime=24.65  mem=5M420
26.22	   
26.22	   search
26.22	     run=32  nbConstraintChecks=35884443  nbAssignments=330000
26.22	       =>  wckTime=25.674  cpuTime=25.41  mem=5M420
27.00	   
27.00	   search
27.00	     run=33  nbConstraintChecks=36986245  nbAssignments=340000
27.00	       =>  wckTime=26.448  cpuTime=26.18  mem=5M420
27.77	   
27.77	   search
27.77	     run=34  nbConstraintChecks=38063329  nbAssignments=350000
27.77	       =>  wckTime=27.219  cpuTime=26.94  mem=5M420
28.55	   
28.55	   search
28.55	     run=35  nbConstraintChecks=39161120  nbAssignments=360000
28.55	       =>  wckTime=27.998  cpuTime=27.71  mem=5M420
29.32	   
29.32	   search
29.32	     run=36  nbConstraintChecks=40238786  nbAssignments=370000
29.32	       =>  wckTime=28.768  cpuTime=28.48  mem=5M420
30.09	   
30.09	   search
30.09	     run=37  nbConstraintChecks=41337111  nbAssignments=380000
30.09	       =>  wckTime=29.541  cpuTime=29.25  mem=5M420
30.87	   
30.87	   search
30.87	     run=38  nbConstraintChecks=42413312  nbAssignments=390000
30.87	       =>  wckTime=30.316  cpuTime=30.01  mem=5M420
31.08	   
31.08	   search
31.08	     run=39  nbConstraintChecks=42711563  nbAssignments=392707
31.08	       =>  wckTime=30.526  cpuTime=30.23  mem=5M420
31.08	   
31.08	   global
31.08	     nbConstraintChecks=42711563  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.08	     solvingWckTime=30.523  solvingCpuTime=30.23  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.08	     globalCpuTime=30.47
31.08	       =>  wckTime=30.772  cpuTime=30.4  mem=5M420
31.08	   
31.08	   solver IterativeSystematicSolver being built... 
31.21	       =>  wckTime=30.908  cpuTime=30.5  mem=16M311
31.22	   
31.22	   preprocessing
31.22	     nbConstraintChecks=90  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.22	     detectedInconsistency=no
31.22	       =>  wckTime=0.0020  cpuTime=0.01  mem=16M311
31.26	   
31.26	   search
31.26	     run=0  nbConstraintChecks=8157  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33
31.26	     nbFailedAssignments=14  nbBacktracks=10  nbVisitedNodes=58  nbRestartNogoods=0
31.26	       =>  wckTime=0.043  cpuTime=0.03  mem=16M311
31.28	   
31.28	   search
31.28	     run=1  nbConstraintChecks=19089  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=75
31.28	     nbFailedAssignments=31  nbBacktracks=25  nbVisitedNodes=132  nbRestartNogoods=2
31.28	       =>  wckTime=0.069  cpuTime=0.04  mem=16M311
31.30	   
31.30	   search
31.30	     run=2  nbConstraintChecks=35037  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=132
31.30	     nbFailedAssignments=58  nbBacktracks=47  nbVisitedNodes=238  nbRestartNogoods=5
31.30	       =>  wckTime=0.085  cpuTime=0.06  mem=16M311
31.33	   
31.33	   search
31.33	     run=3  nbConstraintChecks=60734  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=220
31.33	     nbFailedAssignments=105  nbBacktracks=80  nbVisitedNodes=406  nbRestartNogoods=8
31.33	       =>  wckTime=0.111  cpuTime=0.08  mem=16M311
31.36	   
31.36	   search
31.36	     run=4  nbConstraintChecks=89927  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=314
31.36	     nbFailedAssignments=136  nbBacktracks=132  nbVisitedNodes=576  nbRestartNogoods=11
31.36	       =>  wckTime=0.142  cpuTime=0.1  mem=16M311
31.40	   
31.40	   search
31.40	     run=5  nbConstraintChecks=142778  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=488
31.40	     nbFailedAssignments=226  nbBacktracks=207  nbVisitedNodes=915  nbRestartNogoods=15
31.40	       =>  wckTime=0.184  cpuTime=0.14  mem=16M311
31.44	   
31.44	   search
31.44	     run=6  nbConstraintChecks=198053  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=655
31.44	     nbFailedAssignments=273  nbBacktracks=320  nbVisitedNodes=1235  nbRestartNogoods=21
31.44	       =>  wckTime=0.225  cpuTime=0.18  mem=16M311
31.53	   
31.53	   search
31.53	     run=7  nbConstraintChecks=320410  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1047
31.53	     nbFailedAssignments=487  nbBacktracks=490  nbVisitedNodes=2011  nbRestartNogoods=24
31.53	       =>  wckTime=0.319  cpuTime=0.27  mem=16M311
31.69	   
31.69	   search
31.69	     run=8  nbConstraintChecks=506676  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1630
31.69	     nbFailedAssignments=806  nbBacktracks=746  nbVisitedNodes=3169  nbRestartNogoods=28
31.69	       =>  wckTime=0.475  cpuTime=0.4  mem=16M311
31.81	   
31.81	   search
31.81	     run=9  nbConstraintChecks=690669  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2151
31.81	     nbFailedAssignments=933  nbBacktracks=1130  nbVisitedNodes=4197  nbRestartNogoods=38
31.81	       =>  wckTime=0.599  cpuTime=0.52  mem=16M311
32.11	   
32.11	   search
32.11	     run=10  nbConstraintChecks=1129234  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3525
32.11	     nbFailedAssignments=1722  nbBacktracks=1706  nbVisitedNodes=6936  nbRestartNogoods=42
32.11	       =>  wckTime=0.894  cpuTime=0.81  mem=16M311
32.39	   
32.39	   search
32.39	     run=11  nbConstraintChecks=1564990  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4728
32.39	     nbFailedAssignments=2047  nbBacktracks=2574  nbVisitedNodes=9328  nbRestartNogoods=50
32.39	       =>  wckTime=1.179  cpuTime=1.1  mem=16M311
33.10	   
33.10	   search
33.10	     run=12  nbConstraintChecks=2573988  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7574
33.10	     nbFailedAssignments=3584  nbBacktracks=3871  nbVisitedNodes=15008  nbRestartNogoods=55
33.10	       =>  wckTime=1.88  cpuTime=1.79  mem=16M311
34.33	   
34.33	   search
34.33	     run=13  nbConstraintChecks=4451896  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12703
34.33	     nbFailedAssignments=6759  nbBacktracks=5817  nbVisitedNodes=25258  nbRestartNogoods=60
34.33	       =>  wckTime=3.117  cpuTime=3.02  mem=16M311
35.36	   
35.36	   search
35.36	     run=14  nbConstraintChecks=6048747  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17155
35.36	     nbFailedAssignments=8281  nbBacktracks=8736  nbVisitedNodes=34127  nbRestartNogoods=65
35.36	       =>  wckTime=4.149  cpuTime=4.04  mem=16M311
37.43	   
37.43	   search
37.43	     run=15  nbConstraintChecks=9150708  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25635
37.43	     nbFailedAssignments=12372  nbBacktracks=13114  nbVisitedNodes=50532  nbRestartNogoods=77
37.43	       =>  wckTime=6.215  cpuTime=6.08  mem=16M311
40.09	   
40.09	   search
40.09	     run=16  nbConstraintChecks=13212280  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36807
40.09	     nbFailedAssignments=16968  nbBacktracks=19682  nbVisitedNodes=72402  nbRestartNogoods=86
40.09	       =>  wckTime=8.877  cpuTime=8.73  mem=16M311
43.10	   
43.10	   search
43.10	     run=17  nbConstraintChecks=18356433  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51295
43.10	     nbFailedAssignments=21586  nbBacktracks=29535  nbVisitedNodes=101186  nbRestartNogoods=93
43.10	       =>  wckTime=11.888  cpuTime=11.71  mem=16M311
47.70	   
47.70	   search
47.70	     run=18  nbConstraintChecks=26400129  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=73880
47.70	     nbFailedAssignments=29374  nbBacktracks=44315  nbVisitedNodes=146036  nbRestartNogoods=105
47.70	       =>  wckTime=16.487  cpuTime=16.27  mem=16M311
54.22	   
54.22	   search
54.22	     run=19  nbConstraintChecks=38195206  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=108314
54.22	     nbFailedAssignments=41624  nbBacktracks=66483  nbVisitedNodes=212578  nbRestartNogoods=114
54.23	       =>  wckTime=23.009  cpuTime=22.74  mem=16M311
63.69	   
63.69	   search
63.69	     run=20  nbConstraintChecks=56070649  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=163547
63.69	     nbFailedAssignments=63585  nbBacktracks=99735  nbVisitedNodes=317395  nbRestartNogoods=126
63.69	       =>  wckTime=32.478  cpuTime=32.13  mem=16M311
73.43	   
73.43	   search
73.43	     run=21  nbConstraintChecks=76786810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=234369
73.43	     nbFailedAssignments=84513  nbBacktracks=149614  nbVisitedNodes=444626  nbRestartNogoods=134
73.43	       =>  wckTime=42.218  cpuTime=41.78  mem=16M311
86.60	   
86.60	   search
86.60	     run=22  nbConstraintChecks=105724633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=347312
86.60	     nbFailedAssignments=122612  nbBacktracks=224438  nbVisitedNodes=634166  nbRestartNogoods=140
86.60	       =>  wckTime=55.385  cpuTime=54.83  mem=16M311
102.42	   
102.42	   search
102.42	     run=23  nbConstraintChecks=143279716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=506674
102.42	     nbFailedAssignments=169726  nbBacktracks=336666  nbVisitedNodes=891976  nbRestartNogoods=145
102.42	       =>  wckTime=71.204  cpuTime=70.51  mem=16M311
126.06	   
126.06	   search
126.06	     run=24  nbConstraintChecks=201733297  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=733838
126.06	     nbFailedAssignments=228515  nbBacktracks=505011  nbVisitedNodes=1271466  nbRestartNogoods=151
126.06	       =>  wckTime=94.848  cpuTime=93.97  mem=16M311
163.77	   
163.77	   search
163.77	     run=25  nbConstraintChecks=288782709  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1065915
163.77	     nbFailedAssignments=308059  nbBacktracks=757524  nbVisitedNodes=1829994  nbRestartNogoods=161
163.77	       =>  wckTime=132.55  cpuTime=131.35  mem=16M311
217.23	   
217.23	   search
217.23	     run=26  nbConstraintChecks=417817858  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1567984
217.23	     nbFailedAssignments=431337  nbBacktracks=1136293  nbVisitedNodes=2637274  nbRestartNogoods=167
217.23	       =>  wckTime=186.011  cpuTime=184.35  mem=16M311
296.08	   
296.08	   search
296.08	     run=27  nbConstraintChecks=610060584  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2319874
296.08	     nbFailedAssignments=615051  nbBacktracks=1704448  nbVisitedNodes=3888838  nbRestartNogoods=178
296.08	       =>  wckTime=264.863  cpuTime=262.45  mem=16M311
419.23	   
419.23	   search
419.23	     run=28  nbConstraintChecks=907229293  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3469917
419.23	     nbFailedAssignments=912835  nbBacktracks=2556675  nbVisitedNodes=5760702  nbRestartNogoods=188
419.23	       =>  wckTime=388.016  cpuTime=384.42  mem=16M311
598.59	   
598.59	   search
598.59	     run=29  nbConstraintChecks=1348641156  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5195492
598.59	     nbFailedAssignments=1360047  nbBacktracks=3835018  nbVisitedNodes=8592405  nbRestartNogoods=199
598.59	       =>  wckTime=567.378  cpuTime=562.23  mem=16M311
887.12	   
887.12	   search
887.12	     run=30  nbConstraintChecks=2042264184  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7843417
887.12	     nbFailedAssignments=2090432  nbBacktracks=5752531  nbVisitedNodes=12971517  nbRestartNogoods=210
887.12	       =>  wckTime=855.905  cpuTime=848.32  mem=16M311
1303.69	   
1303.69	   search
1303.69	     run=31  nbConstraintChecks=3059281908  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1303.69	     nbAssignments=11785731  nbFailedAssignments=3156453  nbBacktracks=8628799  nbVisitedNodes=19458377
1303.69	     nbRestartNogoods=225
1303.69	       =>  wckTime=1272.473  cpuTime=1262.16  mem=16M311
1906.97	   
1906.97	   search
1906.97	     run=32  nbConstraintChecks=4615462074  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1906.97	     nbAssignments=17717244  nbFailedAssignments=4773534  nbBacktracks=12943197  nbVisitedNodes=29261504
1906.97	     nbRestartNogoods=237
1906.97	       =>  wckTime=1875.752  cpuTime=1862.71  mem=16M311
2197.88	   
2197.88	   search
2197.88	     run=33  nbConstraintChecks=5382925632  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2197.88	     nbAssignments=20649674  nbFailedAssignments=5574317  nbBacktracks=15074845  nbVisitedNodes=34112110
2197.88	     nbRestartNogoods=249
2197.88	       =>  wckTime=2166.66  cpuTime=2152.21  mem=16M311
2197.88	   
2197.88	   global
2197.88	     nbConstraintChecks=5382925722  nbRestartNogoods=249  solvingWckTime=2166.661  solvingCpuTime=2152.22
2197.88	     expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=2182.79
2197.88	       =>  wckTime=2197.57  cpuTime=2182.72  mem=17M287
2197.88	
2197.88	s OPTIMUM FOUND
2197.88	v 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 -1 
2197.88	   
2197.88	   totalWckTime=2197.651  totalCpuTime=2182.79

Verifier Data (download as text)

29 unsatisfied constraints, 88 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/node2/watcher-281936-1169315783 -o ROOT/results/node2/solver-281936-1169315783 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281936-1169315783/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.93 1.98 1.99 4/87 29611
/proc/meminfo: memFree=1174344/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=906644 CPUtime=0.02
/proc/29610/stat : 29610 (java) S 29608 29610 29364 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 279974030 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 226661 1817 1036 14 0 214244 0
[pid=29610/tid=29612] ppid=29608 vsize=906644 CPUtime=0
/proc/29610/task/29612/stat : 29612 (java) R 29608 29610 29364 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 279974034 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.105304 s]
/proc/loadavg: 1.93 1.98 1.99 4/87 29611
/proc/meminfo: memFree=1174344/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=914988 CPUtime=0.08
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 3039 0 1 0 7 1 0 0 20 0 8 0 279974030 936947712 2785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153552739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228747 2785 1443 14 0 215242 0
[pid=29610/tid=29612] ppid=29608 vsize=914988 CPUtime=0
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279974034 936947712 2785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513365 s]
/proc/loadavg: 1.93 1.98 1.99 4/87 29611
/proc/meminfo: memFree=1174344/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915332 CPUtime=0.5
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 6570 0 1 0 46 4 0 0 18 0 8 0 279974030 937299968 6308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155064448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228833 6308 2172 14 0 215303 0
[pid=29610/tid=29612] ppid=29608 vsize=915332 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279974034 937299968 6308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33451 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1157392/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915332 CPUtime=1.3
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 6911 0 1 0 90 40 0 0 25 0 8 0 279974030 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073340784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228833 6649 2476 14 0 215303 0
[pid=29610/tid=29612] ppid=29608 vsize=915332 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279974034 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915332 CPUtime=0.08
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 317 0 0 0 8 0 0 0 16 0 8 0 279974038 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937299968 6649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915332

[startup+2.97182 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1157328/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915336 CPUtime=2.93
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 6914 0 1 0 172 121 0 0 25 0 8 0 279974030 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228834 6651 2476 14 0 215304 0
[pid=29610/tid=29612] ppid=29608 vsize=915336 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279974034 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915336 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915336 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915336 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915336 CPUtime=0.09
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 279974038 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915336 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915336 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937304064 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915336

[startup+6.27042 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1157328/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915332 CPUtime=6.2
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 6914 0 1 0 332 288 0 0 25 0 8 0 279974030 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10968497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228833 6651 2476 14 0 215303 0
[pid=29610/tid=29612] ppid=29608 vsize=915332 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279974034 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915332 CPUtime=0.09
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 279974038 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937299968 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915332

[startup+12.7456 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1157328/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915332 CPUtime=12.62
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 6915 0 1 0 636 626 0 0 25 0 8 0 279974030 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10747524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228833 6652 2476 14 0 215303 0
[pid=29610/tid=29612] ppid=29608 vsize=915332 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279974034 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915332 CPUtime=0.09
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 279974038 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915332 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937299968 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915332

[startup+25.607 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1157392/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915472 CPUtime=25.36
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 6922 0 1 0 1252 1284 0 0 25 0 8 0 279974030 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228868 6659 2476 14 0 215338 0
[pid=29610/tid=29612] ppid=29608 vsize=915472 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279974034 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915472 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915472 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915472 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915472 CPUtime=0.1
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279974038 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915472 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915472 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937443328 6659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915472

[startup+51.2167 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1149136/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=50.75
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9034 0 1 0 3509 1566 0 0 25 0 8 0 279974030 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228859 8767 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 381 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915436

[startup+102.42 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 29618
/proc/meminfo: memFree=1149136/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=101.51
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9047 0 1 0 8585 1566 0 0 25 0 8 0 279974030 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29610/statm: 228859 8779 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915436

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

/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.45
Current children cumulated vsize (KiB) 915436

[startup+1783.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161176/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=1771.19
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9072 0 1 0 175539 1580 0 0 25 0 8 0 279974030 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8803 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.19
Current children cumulated vsize (KiB) 915436

[startup+1843.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161304/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=1830.94
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9072 0 1 0 181514 1580 0 0 25 0 8 0 279974030 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8803 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1830.94
Current children cumulated vsize (KiB) 915436

[startup+1903.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161240/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=1890.64
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9072 0 1 0 187484 1580 0 0 25 0 8 0 279974030 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8803 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1890.64
Current children cumulated vsize (KiB) 915436

[startup+1963.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161048/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=1950.38
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9076 0 1 0 193458 1580 0 0 25 0 8 0 279974030 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8806 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1950.38
Current children cumulated vsize (KiB) 915436

[startup+2023.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161176/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=2010.12
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9076 0 1 0 199432 1580 0 0 25 0 8 0 279974030 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8806 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2010.12
Current children cumulated vsize (KiB) 915436

[startup+2083.97 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 29867
/proc/meminfo: memFree=1160984/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=2069.86
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9076 0 1 0 205405 1581 0 0 25 0 8 0 279974030 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8806 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2069.86
Current children cumulated vsize (KiB) 915436

[startup+2143.99 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 29867
/proc/meminfo: memFree=1160984/2055920 swapFree=4180552/4192956
[pid=29610] ppid=29608 vsize=915436 CPUtime=2129.6
/proc/29610/stat : 29610 (java) R 29608 29610 29364 0 -1 0 9076 0 1 0 211379 1581 0 0 25 0 8 0 279974030 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29610/statm: 228859 8806 2527 14 0 215329 0
[pid=29610/tid=29612] ppid=29608 vsize=915436 CPUtime=0.02
/proc/29610/task/29612/stat : 29612 (java) S 29608 29610 29364 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29613] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29613/stat : 29613 (java) S 29608 29610 29364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29614] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29614/stat : 29614 (java) S 29608 29610 29364 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279974034 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29615] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29615/stat : 29615 (java) S 29608 29610 29364 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29616] ppid=29608 vsize=915436 CPUtime=0.21
/proc/29610/task/29616/stat : 29616 (java) S 29608 29610 29364 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29610/tid=29617] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29617/stat : 29617 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29610/tid=29618] ppid=29608 vsize=915436 CPUtime=0
/proc/29610/task/29618/stat : 29618 (java) S 29608 29610 29364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279974038 937406464 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.6
Current children cumulated vsize (KiB) 915436

Child status: 0
Real time (s): 2197.94
CPU time (s): 2183.24
CPU user time (s): 2167.42
CPU system time (s): 15.8206
CPU usage (%): 99.3312
Max. virtual memory (cumulated for all children) (KiB): 915472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2167.42
system time used= 15.8206
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9173
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= 45522
involuntary context switches= 93741

runsolver used 2.53461 s user time and 6.78397 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan 20 17:56:24 UTC 2007


IDJOB= 281936
IDBENCH= 12315
IDSOLVER= 69
FILE ID= node2/281936-1169315783

PBS_JOBID= 3610028

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/mann-a9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281936-1169315783/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-281936-1169315783 -o ROOT/results/node2/solver-281936-1169315783 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281936-1169315783/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  44533c8a08cd8c83de8dc1a91d9e917e

RANDOM SEED= 440453983

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.259
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	: 5931.00
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.259
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:       1174824 kB
Buffers:         49944 kB
Cached:         652332 kB
SwapCached:        572 kB
Active:         265600 kB
Inactive:       539884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1174824 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            1704 kB
Writeback:           0 kB
Mapped:         115964 kB
Slab:            60200 kB
Committed_AS:  7979792 kB
PageTables:       2500 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= 66558 MiB



End job on node2 on Sat Jan 20 18:33:02 UTC 2007