Trace number 252647

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
Abscon 109 ACSAT 1579.13 1582.58

DiagnosticValue
CHECKS272847461
NODES6172588

General information on the benchmark

NamesocialGolfers/
socialGolfer-6-3-5.xml
MD5SUM121ee3d8ffa298ba08a95b969dd7f36e
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark21.2298
SatisfiableYES
(Un)Satisfiability was proved
Number of variables1080
Number of constraints3375
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3375
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/252647-1168087347/unknown.xml
0.37	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.47	     nbVariables=1080  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.47	       =>  wckTime=0.16  cpuTime=0.12  mem=6M886
0.47	   
0.47	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
1.14	     nbConstraints=3375  nbConflictsStructures=4  nbSharedConflictsStructures=3371  nbSharedBinaryRepresentations=0
1.14	     nbEvaluationManagers=4  nbSharedEvaluationManagers=3371  maxDegree=16  maxArity=15
1.14	       =>  wckTime=0.821  cpuTime=0.67  mem=29M381
1.21	   
1.21	   solver IterativeSystematicSolver being built... 
1.51	       =>  wckTime=1.197  cpuTime=0.92  mem=41M140
1.54	   
1.54	   preprocessing
1.54	     nbConstraintChecks=0  nbPropagations=1080  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.54	     detectedInconsistency=no
1.54	       =>  wckTime=0.024  cpuTime=0.02  mem=41M140
1.64	   
1.64	   search
1.64	     run=0  nbConstraintChecks=8011  nbValidityChecks=3911  nbPropagations=1302  nbRevisions=2571
1.64	     nbUselessRevisions=2393  nbAssignments=90  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=98
1.64	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.64	       =>  wckTime=0.125  cpuTime=0.09  mem=41M140
1.73	   
1.73	   search
1.73	     run=1  nbConstraintChecks=29345  nbValidityChecks=11278  nbPropagations=3095  nbRevisions=10151
1.73	     nbUselessRevisions=9264  nbAssignments=237  nbFailedAssignments=10  nbBacktracks=28  nbVisitedNodes=259
1.73	     nbRestartNogoods=1  mapSize=17  nbInferences=0  nbTooLargeKeys=0
1.73	       =>  wckTime=0.22  cpuTime=0.17  mem=41M140
1.83	   
1.83	   search
1.83	     run=2  nbConstraintChecks=40016  nbValidityChecks=19373  nbPropagations=5412  nbRevisions=23038
1.83	     nbUselessRevisions=20983  nbAssignments=424  nbFailedAssignments=16  nbBacktracks=53  nbVisitedNodes=458
1.83	     nbRestartNogoods=4  mapSize=25  nbInferences=0  nbTooLargeKeys=0
1.83	       =>  wckTime=0.317  cpuTime=0.27  mem=42M113
2.05	   
2.05	   search
2.05	     run=3  nbConstraintChecks=55347  nbValidityChecks=34585  nbPropagations=8937  nbRevisions=47299
2.05	     nbUselessRevisions=42840  nbAssignments=770  nbFailedAssignments=26  nbBacktracks=89  nbVisitedNodes=825
2.05	     nbRestartNogoods=8  mapSize=39  nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=0.535  cpuTime=0.48  mem=42M113
2.41	   
2.41	   search
2.41	     run=4  nbConstraintChecks=69321  nbValidityChecks=47585  nbPropagations=13671  nbRevisions=82445
2.41	     nbUselessRevisions=74340  nbAssignments=1232  nbFailedAssignments=38  nbBacktracks=148  nbVisitedNodes=1308
2.41	     nbRestartNogoods=15  mapSize=54  nbInferences=0  nbTooLargeKeys=0
2.41	       =>  wckTime=0.893  cpuTime=0.84  mem=42M113
2.82	   
2.82	   search
2.82	     run=5  nbConstraintChecks=78170  nbValidityChecks=60522  nbPropagations=19563  nbRevisions=127545
2.82	     nbUselessRevisions=114750  nbAssignments=1710  nbFailedAssignments=46  nbBacktracks=238  nbVisitedNodes=1802
2.82	     nbRestartNogoods=21  mapSize=66  nbInferences=0  nbTooLargeKeys=0
2.82	       =>  wckTime=1.308  cpuTime=1.23  mem=42M113
3.06	   
3.06	   search
3.06	     run=6  nbConstraintChecks=84738  nbValidityChecks=72541  nbPropagations=26387  nbRevisions=181514
3.06	     nbUselessRevisions=163117  nbAssignments=2099  nbFailedAssignments=56  nbBacktracks=358  nbVisitedNodes=2209
3.06	     nbRestartNogoods=25  mapSize=83  nbInferences=0  nbTooLargeKeys=0
3.06	       =>  wckTime=1.545  cpuTime=1.47  mem=43M86
3.40	   
3.40	   search
3.40	     run=7  nbConstraintChecks=94639  nbValidityChecks=88591  nbPropagations=34308  nbRevisions=247599
3.40	     nbUselessRevisions=222536  nbAssignments=2621  nbFailedAssignments=86  nbBacktracks=528  nbVisitedNodes=2789
3.40	     nbRestartNogoods=26  mapSize=135  nbInferences=0  nbTooLargeKeys=0
3.40	       =>  wckTime=1.89  cpuTime=1.8  mem=43M86
3.96	   
3.96	   search
3.96	     run=8  nbConstraintChecks=107495  nbValidityChecks=109894  nbPropagations=43959  nbRevisions=330552
3.96	     nbUselessRevisions=297057  nbAssignments=3304  nbFailedAssignments=113  nbBacktracks=828  nbVisitedNodes=3531
3.96	     nbRestartNogoods=30  mapSize=191  nbInferences=0  nbTooLargeKeys=0
3.96	       =>  wckTime=2.441  cpuTime=2.35  mem=43M86
4.72	   
4.72	   search
4.72	     run=9  nbConstraintChecks=137339  nbValidityChecks=153316  nbPropagations=57482  nbRevisions=451631
4.72	     nbUselessRevisions=405099  nbAssignments=4061  nbFailedAssignments=155  nbBacktracks=1215  nbVisitedNodes=4390
4.72	     nbRestartNogoods=33  mapSize=285  nbInferences=0  nbTooLargeKeys=0
4.72	       =>  wckTime=3.207  cpuTime=3.11  mem=44M59
5.99	   
5.99	   search
5.99	     run=10  nbConstraintChecks=165096  nbValidityChecks=189412  nbPropagations=74681  nbRevisions=603805
5.99	     nbUselessRevisions=540299  nbAssignments=5107  nbFailedAssignments=202  nbBacktracks=1800  nbVisitedNodes=5532
5.99	     nbRestartNogoods=41  mapSize=368  nbInferences=0  nbTooLargeKeys=0
5.99	       =>  wckTime=4.476  cpuTime=4.36  mem=44M59
7.25	   
7.25	   search
7.25	     run=11  nbConstraintChecks=217703  nbValidityChecks=255832  nbPropagations=97748  nbRevisions=813639
7.25	     nbUselessRevisions=726237  nbAssignments=6370  nbFailedAssignments=299  nbBacktracks=2668  nbVisitedNodes=6986
7.25	     nbRestartNogoods=54  mapSize=547  nbInferences=0  nbTooLargeKeys=0
7.25	       =>  wckTime=5.74  cpuTime=5.62  mem=45M32
9.60	   
9.60	   search
9.60	     run=12  nbConstraintChecks=277109  nbValidityChecks=336730  nbPropagations=127335  nbRevisions=1094278
9.60	     nbUselessRevisions=975058  nbAssignments=8145  nbFailedAssignments=418  nbBacktracks=3987  nbVisitedNodes=9046
9.60	     nbRestartNogoods=60  mapSize=822  nbInferences=0  nbTooLargeKeys=0
9.60	       =>  wckTime=8.09  cpuTime=7.95  mem=46M5
11.33	   
11.33	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=46M5)
11.65	   
11.65	   search
11.65	     run=13  nbConstraintChecks=372882  nbValidityChecks=462235  nbPropagations=167519  nbRevisions=1479083
11.65	     nbUselessRevisions=1315705  nbAssignments=10639  nbFailedAssignments=613  nbBacktracks=5933  nbVisitedNodes=11994
11.65	     nbRestartNogoods=70
11.65	       =>  wckTime=10.136  cpuTime=10.0  mem=46M5
12.64	   
12.64	   search
12.64	     run=14  nbConstraintChecks=518533  nbValidityChecks=658327  nbPropagations=222755  nbRevisions=2033491
12.64	     nbUselessRevisions=1807465  nbAssignments=14207  nbFailedAssignments=964  nbBacktracks=8859  nbVisitedNodes=16397
12.64	     nbRestartNogoods=87
12.64	       =>  wckTime=11.126  cpuTime=10.98  mem=46M5
13.91	   
13.91	   search
13.91	     run=15  nbConstraintChecks=708644  nbValidityChecks=897812  nbPropagations=299321  nbRevisions=2806748
13.91	     nbUselessRevisions=2492311  nbAssignments=19318  nbFailedAssignments=1351  nbBacktracks=13245  nbVisitedNodes=22455
13.91	     nbRestartNogoods=98
13.91	       =>  wckTime=12.394  cpuTime=12.24  mem=46M978
15.71	   
15.71	   search
15.71	     run=16  nbConstraintChecks=938883  nbValidityChecks=1197884  nbPropagations=402728  nbRevisions=3847116
15.71	     nbUselessRevisions=3412134  nbAssignments=26712  nbFailedAssignments=1849  nbBacktracks=19847  nbVisitedNodes=31075
15.71	     nbRestartNogoods=110
15.71	       =>  wckTime=14.197  cpuTime=14.04  mem=46M978
18.47	   
18.47	   search
18.47	     run=17  nbConstraintChecks=1332609  nbValidityChecks=1743759  nbPropagations=551455  nbRevisions=5390166
18.47	     nbUselessRevisions=4779500  nbAssignments=37800  nbFailedAssignments=2740  nbBacktracks=29709  nbVisitedNodes=44321
18.47	     nbRestartNogoods=118
18.47	       =>  wckTime=16.956  cpuTime=16.78  mem=46M978
22.32	   
22.32	   search
22.32	     run=18  nbConstraintChecks=1883901  nbValidityChecks=2452448  nbPropagations=766638  nbRevisions=7586733
22.32	     nbUselessRevisions=6722641  nbAssignments=54050  nbFailedAssignments=3807  nbBacktracks=44514  nbVisitedNodes=63114
22.32	     nbRestartNogoods=130
22.32	       =>  wckTime=20.802  cpuTime=20.61  mem=46M978
28.50	   
28.50	   search
28.50	     run=19  nbConstraintChecks=2869764  nbValidityChecks=3708192  nbPropagations=1084903  nbRevisions=10910449
28.50	     nbUselessRevisions=9662358  nbAssignments=78699  nbFailedAssignments=5957  nbBacktracks=66696  nbVisitedNodes=93568
28.50	     nbRestartNogoods=144
28.50	       =>  wckTime=26.989  cpuTime=26.76  mem=46M978
37.90	   
37.90	   search
37.90	     run=20  nbConstraintChecks=4397401  nbValidityChecks=5538386  nbPropagations=1588123  nbRevisions=15877510
37.90	     nbUselessRevisions=14027792  nbAssignments=115106  nbFailedAssignments=8765  nbBacktracks=99948
37.90	     nbVisitedNodes=136832  nbRestartNogoods=156
37.90	       =>  wckTime=36.384  cpuTime=36.12  mem=46M978
52.19	   
52.19	   search
52.19	     run=21  nbConstraintChecks=6845192  nbValidityChecks=8555604  nbPropagations=2399415  nbRevisions=23607000
52.19	     nbUselessRevisions=20790545  nbAssignments=169371  nbFailedAssignments=12806  nbBacktracks=149838
52.19	     nbVisitedNodes=200981  nbRestartNogoods=168
52.19	       =>  wckTime=50.672  cpuTime=50.33  mem=46M978
73.85	   
73.85	   search
73.85	     run=22  nbConstraintChecks=10827467  nbValidityChecks=12976150  nbPropagations=3752792  nbRevisions=35344288
73.85	     nbUselessRevisions=30955001  nbAssignments=250937  nbFailedAssignments=19205  nbBacktracks=224657
73.85	     nbVisitedNodes=296610  nbRestartNogoods=180
73.85	       =>  wckTime=72.338  cpuTime=71.89  mem=46M978
105.84	   
105.84	   search
105.84	     run=23  nbConstraintChecks=16916856  nbValidityChecks=19543555  nbPropagations=5950028  nbRevisions=53084561
105.84	     nbUselessRevisions=46173419  nbAssignments=371686  nbFailedAssignments=27374  nbBacktracks=336907
105.84	     nbVisitedNodes=435478  nbRestartNogoods=193
105.84	       =>  wckTime=104.326  cpuTime=103.74  mem=46M978
155.04	   
155.04	   search
155.04	     run=24  nbConstraintChecks=25056893  nbValidityChecks=30173616  nbPropagations=9092880  nbRevisions=80549228
155.04	     nbUselessRevisions=69950104  nbAssignments=556022  nbFailedAssignments=43014  nbBacktracks=505249
155.04	     nbVisitedNodes=657355  nbRestartNogoods=210
155.04	       =>  wckTime=153.531  cpuTime=152.71  mem=46M978
224.34	   
224.34	   search
224.34	     run=25  nbConstraintChecks=35999298  nbValidityChecks=43910757  nbPropagations=13429438  nbRevisions=120138510
224.34	     nbUselessRevisions=104400120  nbAssignments=835797  nbFailedAssignments=69904  nbBacktracks=757768
224.34	     nbVisitedNodes=1009244  nbRestartNogoods=232
224.34	       =>  wckTime=222.826  cpuTime=221.68  mem=46M978
326.31	   
326.31	   search
326.31	     run=26  nbConstraintChecks=51601646  nbValidityChecks=64050065  nbPropagations=19670410  nbRevisions=178252216
326.31	     nbUselessRevisions=155084317  nbAssignments=1243657  nbFailedAssignments=98652  nbBacktracks=1136562
326.31	     nbVisitedNodes=1490322  nbRestartNogoods=245
326.31	       =>  wckTime=324.792  cpuTime=323.17  mem=46M978
488.60	   
488.60	   search
488.60	     run=27  nbConstraintChecks=78255221  nbValidityChecks=98385375  nbPropagations=28974166  nbRevisions=267619964
488.60	     nbUselessRevisions=233336557  nbAssignments=1872266  nbFailedAssignments=158757  nbBacktracks=1704715
488.60	     nbVisitedNodes=2265412  nbRestartNogoods=257
488.60	       =>  wckTime=487.089  cpuTime=484.82  mem=46M978
697.73	   
697.73	   search
697.73	     run=28  nbConstraintChecks=109152419  nbValidityChecks=137357847  nbPropagations=42012053  nbRevisions=393194346
697.73	     nbUselessRevisions=343366763  nbAssignments=2789830  nbFailedAssignments=223735  nbBacktracks=2556974
697.73	     nbVisitedNodes=3338890  nbRestartNogoods=271
697.73	       =>  wckTime=696.213  cpuTime=693.75  mem=46M978
1083.07	   
1083.08	   search
1083.08	     run=29  nbConstraintChecks=183901517  nbValidityChecks=227857540  nbPropagations=64782999  nbRevisions=602410565
1083.08	     nbUselessRevisions=525889965  nbAssignments=4176395  nbFailedAssignments=331663  nbBacktracks=3835328
1083.08	     nbVisitedNodes=4974283  nbRestartNogoods=287
1083.08	       =>  wckTime=1081.561  cpuTime=1078.68  mem=46M978
1582.53	   
1582.54	   search
1582.54	     run=30  nbConstraintChecks=272847461  nbValidityChecks=337935962  nbPropagations=99620448  nbRevisions=912069121
1582.54	     nbUselessRevisions=794941834  nbAssignments=6172588  nbFailedAssignments=455800  nbBacktracks=5706304
1582.54	     nbVisitedNodes=7267100  nbRestartNogoods=300
1582.54	       =>  wckTime=1581.021  cpuTime=1577.52  mem=46M978
1582.54	   
1582.54	   global
1582.54	     nbConstraintChecks=272847461  nbValidityChecks=337935962  nbPropagations=99621528  nbRevisions=912069121
1582.54	     nbUselessRevisions=794941834  nbRestartNogoods=300  solvingWckTime=1581.023  solvingCpuTime=1577.52  expiredTime=no
1582.54	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1578.48
1582.54	       =>  wckTime=1582.222  cpuTime=1578.44  mem=46M978
1582.54	   
1582.54	s SATISFIABLE
1582.54	v 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 
1582.54	d NODES 6172588
1582.54	d CHECKS 272847461
1582.54	   
1582.54	   totalWckTime=1582.303  totalCpuTime=1578.48

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-252647-1168087347 -o ROOT/results/node17/solver-252647-1168087347 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252647-1168087347/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.97 1.79 2/93 17161
/proc/meminfo: memFree=1571168/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=18540 CPUtime=0
/proc/17160/stat : 17160 (runsolver) R 17158 17160 16091 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 157129473 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17160/statm: 4635 279 244 17 0 2626 0

[startup+0.102204 s]
/proc/loadavg: 1.92 1.97 1.79 2/93 17161
/proc/meminfo: memFree=1571168/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=914852 CPUtime=0.08
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 2939 0 1 0 7 1 0 0 19 0 8 0 157129473 936808448 2685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228713 2685 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.510245 s]
/proc/loadavg: 1.92 1.97 1.79 2/93 17161
/proc/meminfo: memFree=1571168/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915328 CPUtime=0.48
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 6173 0 1 0 45 3 0 0 18 0 8 0 157129473 937295872 5912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228832 5912 2134 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33133 s]
/proc/loadavg: 1.92 1.97 1.79 4/100 17168
/proc/meminfo: memFree=1533864/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1.3
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 13169 0 1 0 109 21 0 0 24 0 8 0 157129473 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073416297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 12906 2492 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 973 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.22
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 446 0 0 0 21 1 0 0 16 0 8 0 157129481 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 12906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 12906 18446744073709551615 134512640 134570532 4294956480 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) 915752

[startup+2.9825 s]
/proc/loadavg: 1.92 1.97 1.79 3/100 17168
/proc/meminfo: memFree=1520488/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=2.94
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 15524 0 1 0 270 24 0 0 25 0 8 0 157129473 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 15259 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.32
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 499 0 0 0 31 1 0 0 15 0 8 0 157129481 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 15259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915752

[startup+6.18884 s]
/proc/loadavg: 1.93 1.97 1.79 3/100 17168
/proc/meminfo: memFree=1518120/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=6.13
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16017 0 1 0 589 24 0 0 25 0 8 0 157129473 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 15749 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 17 0 8 0 157129478 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.33
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 508 0 0 0 32 1 0 0 15 0 8 0 157129481 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 15749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915752

[startup+12.6675 s]
/proc/loadavg: 1.93 1.97 1.79 3/100 17168
/proc/meminfo: memFree=1515944/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=12.58
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16502 0 1 0 1233 25 0 0 25 0 8 0 157129473 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 16232 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 17 0 8 0 157129478 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 509 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915752

[startup+25.5279 s]
/proc/loadavg: 1.95 1.97 1.79 4/100 17168
/proc/meminfo: memFree=1515880/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=25.38
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16526 0 1 0 2513 25 0 0 25 0 8 0 157129473 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 16255 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 17 0 8 0 157129481 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915752

[startup+51.1585 s]
/proc/loadavg: 1.96 1.97 1.80 3/100 17168
/proc/meminfo: memFree=1515944/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=50.88
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16537 0 1 0 5063 25 0 0 25 0 8 0 157129473 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 16266 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 17 0 8 0 157129481 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915752

[startup+102.417 s]
/proc/loadavg: 1.98 1.97 1.81 3/100 17168
/proc/meminfo: memFree=1515944/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=101.91
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16549 0 1 0 10165 26 0 0 25 0 8 0 157129473 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17160/statm: 228938 16278 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 17 0 8 0 157129481 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915752

[startup+162.42 s]
/proc/loadavg: 2.17 2.02 1.84 3/100 17168
/proc/meminfo: memFree=1515816/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=161.62
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16563 0 1 0 16136 26 0 0 25 0 8 0 157129473 937730048 16292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1120.13
Current children cumulated vsize (KiB) 915752

[startup+1183.08 s]
/proc/loadavg: 2.02 2.03 1.93 3/99 17365
/proc/meminfo: memFree=1290208/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1180.09
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 117965 44 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1180.09
Current children cumulated vsize (KiB) 915752

[startup+1243.11 s]
/proc/loadavg: 2.01 2.02 1.93 3/93 17405
/proc/meminfo: memFree=1291288/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1240.05
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 123958 47 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1240.05
Current children cumulated vsize (KiB) 915752

[startup+1303.13 s]
/proc/loadavg: 2.00 2.01 1.93 3/93 17405
/proc/meminfo: memFree=1291160/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1299.99
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 129952 47 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 915752

[startup+1363.15 s]
/proc/loadavg: 2.00 2.01 1.93 3/93 17405
/proc/meminfo: memFree=1291032/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1359.96
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 135949 47 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1359.96
Current children cumulated vsize (KiB) 915752

[startup+1423.18 s]
/proc/loadavg: 2.04 2.02 1.94 3/93 17405
/proc/meminfo: memFree=1290840/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1419.92
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 141944 48 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1419.92
Current children cumulated vsize (KiB) 915752

[startup+1483.2 s]
/proc/loadavg: 2.01 2.01 1.94 3/93 17405
/proc/meminfo: memFree=1290648/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1479.86
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 147938 48 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.86
Current children cumulated vsize (KiB) 915752

[startup+1543.22 s]
/proc/loadavg: 2.05 2.02 1.94 3/93 17405
/proc/meminfo: memFree=1290520/2055920 swapFree=4192812/4192956
[pid=17160] ppid=17158 vsize=915752 CPUtime=1539.83
/proc/17160/stat : 17160 (java) R 17158 17160 16091 0 -1 0 16592 0 1 0 153935 48 0 0 25 0 8 0 157129473 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17160/statm: 228938 16321 2534 14 0 215408 0
[pid=17160/tid=17162] ppid=17158 vsize=915752 CPUtime=0.06
/proc/17160/task/17162/stat : 17162 (java) S 17158 17160 16091 0 -1 64 974 0 0 0 6 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17163] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17163/stat : 17163 (java) S 17158 17160 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17164] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17164/stat : 17164 (java) S 17158 17160 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157129478 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17165] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17165/stat : 17165 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17166] ppid=17158 vsize=915752 CPUtime=0.34
/proc/17160/task/17166/stat : 17166 (java) S 17158 17160 16091 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 157129481 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17160/tid=17167] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17167/stat : 17167 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17160/tid=17168] ppid=17158 vsize=915752 CPUtime=0
/proc/17160/task/17168/stat : 17168 (java) S 17158 17160 16091 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157129482 937730048 16321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.83
Current children cumulated vsize (KiB) 915752

Child status: 0
Real time (s): 1582.58
CPU time (s): 1579.13
CPU user time (s): 1578.63
CPU system time (s): 0.503923
CPU usage (%): 99.7821
Max. virtual memory (cumulated for all children) (KiB): 915752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1578.63
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16688
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= 33534
involuntary context switches= 46139

runsolver used 2.07568 s user time and 4.93725 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 12:42:27 UTC 2007


IDJOB= 252647
IDBENCH= 12960
FILE ID= node17/252647-1168087347

PBS_JOBID= 3476276

Free space on /tmp= 66318 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-3-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252647-1168087347/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-252647-1168087347 -o ROOT/results/node17/solver-252647-1168087347 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252647-1168087347/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  121ee3d8ffa298ba08a95b969dd7f36e

RANDOM SEED= 189530312

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
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.236
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:       1571648 kB
Buffers:         48224 kB
Cached:         260224 kB
SwapCached:          0 kB
Active:         180008 kB
Inactive:       214704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1571648 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:         115276 kB
Slab:            74300 kB
Committed_AS:  4703688 kB
PageTables:       2356 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= 66318 MiB



End job on node17 on Sat Jan  6 13:08:50 UTC 2007