Trace number 282791

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 PFCMSAT (TO) 2400.14 2412.71

General information on the benchmark

NameMaxCSP/spot5/
spot5-503_ext.xml
MD5SUM96ca725ee95743726556e6d48765a7fe
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints566
Best CPU time to get the best result obtained on this benchmark14.7937
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints635
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension635
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/282791-1169322374/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=144  nbDomainTypes=3  minDomainSize=1  maxDomainSize=4
0.43	       =>  wckTime=0.121  cpuTime=0.1  mem=6M910
0.43	   
0.43	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.58	     nbConstraints=635  nbRelationTypes=17  nbSingletonDomainVariables=1  nbExtensionStructures=23
0.58	     nbSharedExtensionStructures=612  nbConflictsStructures=23  nbSharedConflictsStructures=612
0.58	     nbSharedBinaryRepresentations=40  maxDegree=143  maxArity=3
0.58	       =>  wckTime=0.266  cpuTime=0.18  mem=9M835
0.62	   
0.62	   solver LocalSearchSolver being built... 
0.67	       =>  wckTime=0.354  cpuTime=0.23  mem=5M746
0.67	
0.67	s SATISFIABLE
0.67	o 492
0.67	c 143
0.67	o 497
0.67	c 138
0.67	o 501
0.67	c 134
0.67	o 504
0.67	c 131
0.68	o 507
0.68	c 128
0.68	o 510
0.68	c 125
0.68	o 513
0.68	c 122
0.68	o 516
0.68	c 119
0.68	o 519
0.68	c 116
0.68	o 522
0.68	c 113
0.69	o 524
0.69	c 111
0.69	o 526
0.69	c 109
0.69	o 528
0.69	c 107
0.69	o 530
0.69	c 105
0.69	o 531
0.69	c 104
0.69	o 532
0.69	c 103
0.69	o 533
0.69	c 102
0.70	o 534
0.70	c 101
0.70	o 535
0.70	c 100
0.70	o 536
0.70	c 99
0.70	o 537
0.70	c 98
0.70	o 538
0.70	c 97
0.70	o 539
0.70	c 96
0.70	o 540
0.70	c 95
0.70	o 541
0.70	c 94
0.70	o 542
0.70	c 93
0.70	o 543
0.70	c 92
0.70	o 544
0.70	c 91
0.70	o 545
0.70	c 90
0.70	o 546
0.70	c 89
0.70	o 547
0.70	c 88
0.70	o 548
0.70	c 87
0.70	o 549
0.70	c 86
0.70	o 550
0.70	c 85
0.71	o 551
0.71	c 84
0.71	o 552
0.71	c 83
0.71	o 553
0.71	c 82
0.71	o 554
0.71	c 81
0.71	o 555
0.71	c 80
0.71	o 556
0.71	c 79
0.71	o 557
0.71	c 78
0.71	o 558
0.71	c 77
2.74	   
2.74	   search
2.74	     run=0  nbConstraintChecks=8730124  nbAssignments=10000
2.74	       =>  wckTime=2.08  cpuTime=2.03  mem=5M746
4.81	   
4.81	   search
4.81	     run=1  nbConstraintChecks=17953698  nbAssignments=20000
4.81	       =>  wckTime=4.144  cpuTime=4.07  mem=5M746
4.82	o 559
4.82	c 76
6.80	   
6.80	   search
6.80	     run=2  nbConstraintChecks=26626037  nbAssignments=30000
6.80	       =>  wckTime=6.131  cpuTime=6.05  mem=5M746
8.84	   
8.84	   search
8.84	     run=3  nbConstraintChecks=35751730  nbAssignments=40000
8.84	       =>  wckTime=8.179  cpuTime=8.08  mem=5M746
8.85	o 560
8.85	c 75
8.85	o 561
8.85	c 74
10.84	   
10.84	   search
10.84	     run=4  nbConstraintChecks=44475623  nbAssignments=50000
10.84	       =>  wckTime=10.178  cpuTime=10.06  mem=5M746
12.89	   
12.89	   search
12.89	     run=5  nbConstraintChecks=53649394  nbAssignments=60000
12.89	       =>  wckTime=12.23  cpuTime=12.09  mem=5M746
14.87	   
14.87	   search
14.87	     run=6  nbConstraintChecks=62331403  nbAssignments=70000
14.87	       =>  wckTime=14.205  cpuTime=14.05  mem=5M746
16.90	   
16.90	   search
16.90	     run=7  nbConstraintChecks=71533733  nbAssignments=80000
16.90	       =>  wckTime=16.24  cpuTime=16.07  mem=5M746
18.89	   
18.89	   search
18.89	     run=8  nbConstraintChecks=80263110  nbAssignments=90000
18.89	       =>  wckTime=18.223  cpuTime=18.04  mem=5M746
20.92	   
20.92	   search
20.92	     run=9  nbConstraintChecks=89386682  nbAssignments=100000
20.92	       =>  wckTime=20.258  cpuTime=20.05  mem=5M746
22.91	   
22.91	   search
22.91	     run=10  nbConstraintChecks=98070452  nbAssignments=110000
22.91	       =>  wckTime=22.244  cpuTime=22.02  mem=5M746
24.97	   
24.97	   search
24.97	     run=11  nbConstraintChecks=107200673  nbAssignments=120000
24.97	       =>  wckTime=24.302  cpuTime=24.05  mem=5M746
26.96	   
26.96	   search
26.96	     run=12  nbConstraintChecks=115905583  nbAssignments=130000
26.96	       =>  wckTime=26.295  cpuTime=26.04  mem=5M746
29.01	   
29.01	   search
29.01	     run=13  nbConstraintChecks=125040130  nbAssignments=140000
29.01	       =>  wckTime=28.348  cpuTime=28.07  mem=5M746
29.02	o 562
29.02	c 73
29.02	o 563
29.02	c 72
31.01	   
31.01	   search
31.01	     run=14  nbConstraintChecks=133769419  nbAssignments=150000
31.01	       =>  wckTime=30.349  cpuTime=30.05  mem=5M746
33.06	   
33.06	   search
33.06	     run=15  nbConstraintChecks=142934648  nbAssignments=160000
33.06	       =>  wckTime=32.397  cpuTime=32.08  mem=5M746
35.03	   
35.03	   search
35.03	     run=16  nbConstraintChecks=151640231  nbAssignments=170000
35.03	       =>  wckTime=34.37  cpuTime=34.04  mem=5M746
37.07	   
37.07	   search
37.07	     run=17  nbConstraintChecks=160786870  nbAssignments=180000
37.07	       =>  wckTime=36.407  cpuTime=36.06  mem=5M746
39.05	   
39.05	   search
39.05	     run=18  nbConstraintChecks=169518537  nbAssignments=190000
39.05	       =>  wckTime=38.389  cpuTime=38.02  mem=5M746
41.11	   
41.11	   search
41.11	     run=19  nbConstraintChecks=178746089  nbAssignments=200000
41.11	       =>  wckTime=40.44  cpuTime=40.05  mem=5M746
43.10	   
43.10	   search
43.10	     run=20  nbConstraintChecks=187478772  nbAssignments=210000
43.10	       =>  wckTime=42.438  cpuTime=42.03  mem=5M746
45.15	   
45.15	   search
45.15	     run=21  nbConstraintChecks=196665555  nbAssignments=220000
45.15	       =>  wckTime=44.49  cpuTime=44.08  mem=5M746
47.15	   
47.15	   search
47.15	     run=22  nbConstraintChecks=205349838  nbAssignments=230000
47.15	       =>  wckTime=46.486  cpuTime=46.05  mem=5M746
49.20	   
49.20	   search
49.20	     run=23  nbConstraintChecks=214457416  nbAssignments=240000
49.20	       =>  wckTime=48.536  cpuTime=48.08  mem=5M746
51.20	   
51.20	   search
51.20	     run=24  nbConstraintChecks=223151361  nbAssignments=250000
51.20	       =>  wckTime=50.531  cpuTime=50.06  mem=5M746
53.24	   
53.24	   search
53.24	     run=25  nbConstraintChecks=232289087  nbAssignments=260000
53.24	       =>  wckTime=52.575  cpuTime=52.09  mem=5M746
55.21	   
55.21	   search
55.21	     run=26  nbConstraintChecks=240988236  nbAssignments=270000
55.21	       =>  wckTime=54.546  cpuTime=54.04  mem=5M746
57.25	   
57.25	   search
57.25	     run=27  nbConstraintChecks=250155648  nbAssignments=280000
57.25	       =>  wckTime=56.586  cpuTime=56.07  mem=5M746
59.24	   
59.24	   search
59.24	     run=28  nbConstraintChecks=258946069  nbAssignments=290000
59.24	       =>  wckTime=58.578  cpuTime=58.04  mem=5M746
59.27	   
59.27	   search
59.27	     run=29  nbConstraintChecks=259093456  nbAssignments=290152
59.27	       =>  wckTime=58.61  cpuTime=58.08  mem=5M746
59.28	   
59.28	   global
59.28	     nbConstraintChecks=259093456  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
59.28	     solvingWckTime=58.609  solvingCpuTime=58.07  expiredTime=no  totalExploration=no  nbFoundSolutions=0
59.28	     globalCpuTime=58.35
59.28	       =>  wckTime=58.965  cpuTime=58.3  mem=5M746
59.28	   
59.28	   solver IterativeSystematicSolver being built... 
59.43	       =>  wckTime=59.117  cpuTime=58.41  mem=17M579
59.44	   
59.44	   preprocessing
59.44	     nbConstraintChecks=402  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
59.44	     detectedInconsistency=no
59.44	       =>  wckTime=0.011  cpuTime=0.01  mem=17M579
59.56	   
59.56	   search
59.56	     run=0  nbConstraintChecks=80505  nbValidityChecks=9396  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
59.56	     nbAssignments=92  nbFailedAssignments=14  nbBacktracks=10  nbVisitedNodes=117  nbRestartNogoods=0
59.56	       =>  wckTime=0.125  cpuTime=0.1  mem=17M579
59.66	   
59.66	   search
59.66	     run=1  nbConstraintChecks=180755  nbValidityChecks=21988  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
59.66	     nbAssignments=197  nbFailedAssignments=35  nbBacktracks=25  nbVisitedNodes=258  nbRestartNogoods=3
59.66	       =>  wckTime=0.23  cpuTime=0.19  mem=17M579
59.77	   
59.77	   search
59.77	     run=2  nbConstraintChecks=304961  nbValidityChecks=37067  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
59.77	     nbAssignments=315  nbFailedAssignments=65  nbBacktracks=47  nbVisitedNodes=428  nbRestartNogoods=7
59.77	       =>  wckTime=0.337  cpuTime=0.29  mem=17M579
59.91	   
59.91	   search
59.91	     run=3  nbConstraintChecks=473937  nbValidityChecks=58003  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
59.91	     nbAssignments=460  nbFailedAssignments=111  nbBacktracks=80  nbVisitedNodes=652  nbRestartNogoods=11
59.91	       =>  wckTime=0.481  cpuTime=0.43  mem=17M579
60.12	   
60.12	   search
60.12	     run=4  nbConstraintChecks=711367  nbValidityChecks=89887  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
60.12	     nbAssignments=648  nbFailedAssignments=183  nbBacktracks=130  nbVisitedNodes=962  nbRestartNogoods=13
60.12	       =>  wckTime=0.692  cpuTime=0.63  mem=17M579
60.42	   
60.42	   search
60.42	     run=5  nbConstraintChecks=1082900  nbValidityChecks=137554  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
60.42	     nbAssignments=920  nbFailedAssignments=313  nbBacktracks=205  nbVisitedNodes=1439  nbRestartNogoods=15
60.42	       =>  wckTime=0.988  cpuTime=0.92  mem=17M579
60.88	   
60.89	   search
60.89	     run=6  nbConstraintChecks=1686754  nbValidityChecks=216705  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
60.89	     nbAssignments=1337  nbFailedAssignments=553  nbBacktracks=318  nbVisitedNodes=2209  nbRestartNogoods=18
60.89	       =>  wckTime=1.456  cpuTime=1.39  mem=17M579
61.70	   
61.70	   search
61.70	     run=7  nbConstraintChecks=2433396  nbValidityChecks=293451  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
61.70	     nbAssignments=1749  nbFailedAssignments=751  nbBacktracks=488  nbVisitedNodes=2982  nbRestartNogoods=22
61.70	       =>  wckTime=2.268  cpuTime=2.17  mem=18M554
63.06	   
63.06	   search
63.06	     run=8  nbConstraintChecks=3657497  nbValidityChecks=406414  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
63.06	     nbAssignments=2384  nbFailedAssignments=1087  nbBacktracks=746  nbVisitedNodes=4201  nbRestartNogoods=30
63.06	       =>  wckTime=3.633  cpuTime=3.52  mem=18M554
65.00	   
65.00	   search
65.00	     run=9  nbConstraintChecks=5518883  nbValidityChecks=541609  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
65.00	     nbAssignments=3411  nbFailedAssignments=1687  nbBacktracks=1130  nbVisitedNodes=6206  nbRestartNogoods=32
65.00	       =>  wckTime=5.573  cpuTime=5.44  mem=18M554
67.63	   
67.63	   search
67.63	     run=10  nbConstraintChecks=7991873  nbValidityChecks=712334  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
67.63	     nbAssignments=4742  nbFailedAssignments=2401  nbBacktracks=1706  nbVisitedNodes=8817  nbRestartNogoods=37
67.63	       =>  wckTime=8.202  cpuTime=8.05  mem=18M554
70.76	   
70.76	   search
70.76	     run=11  nbConstraintChecks=11613426  nbValidityChecks=1145863  nbPropagations=0  nbRevisions=0
70.76	     nbUselessRevisions=0  nbAssignments=6629  nbFailedAssignments=3379  nbBacktracks=2570  nbVisitedNodes=12546
70.76	     nbRestartNogoods=40
70.76	       =>  wckTime=11.334  cpuTime=11.15  mem=18M554
75.33	   
75.33	   search
75.33	     run=12  nbConstraintChecks=15814012  nbValidityChecks=1500025  nbPropagations=0  nbRevisions=0
75.33	     nbUselessRevisions=0  nbAssignments=8809  nbFailedAssignments=4220  nbBacktracks=3867  nbVisitedNodes=16845
75.33	     nbRestartNogoods=43
75.33	       =>  wckTime=15.904  cpuTime=15.68  mem=18M554
82.43	   
82.43	   search
82.43	     run=13  nbConstraintChecks=22797741  nbValidityChecks=2249545  nbPropagations=0  nbRevisions=0
82.43	     nbUselessRevisions=0  nbAssignments=12421  nbFailedAssignments=5842  nbBacktracks=5814  nbVisitedNodes=24001
82.43	     nbRestartNogoods=48
82.43	       =>  wckTime=22.996  cpuTime=22.72  mem=18M554
92.97	   
92.97	   search
92.97	     run=14  nbConstraintChecks=33236175  nbValidityChecks=3179950  nbPropagations=0  nbRevisions=0
92.97	     nbUselessRevisions=0  nbAssignments=17991  nbFailedAssignments=8444  nbBacktracks=8733  nbVisitedNodes=35035
92.97	     nbRestartNogoods=53
92.97	       =>  wckTime=33.54  cpuTime=33.17  mem=18M554
109.53	   
109.54	   search
109.54	     run=15  nbConstraintChecks=54512035  nbValidityChecks=6020320  nbPropagations=0  nbRevisions=0
109.54	     nbUselessRevisions=0  nbAssignments=31317  nbFailedAssignments=17328  nbBacktracks=13111  nbVisitedNodes=61623
109.54	     nbRestartNogoods=64
109.54	       =>  wckTime=50.105  cpuTime=49.6  mem=18M554
133.22	   
133.22	   search
133.22	     run=16  nbConstraintChecks=77527834  nbValidityChecks=8285244  nbPropagations=0  nbRevisions=0
133.22	     nbUselessRevisions=0  nbAssignments=43523  nbFailedAssignments=22920  nbBacktracks=19679  nbVisitedNodes=85481
133.22	     nbRestartNogoods=72
133.22	       =>  wckTime=73.786  cpuTime=73.06  mem=18M554
168.99	   
168.99	   search
168.99	     run=17  nbConstraintChecks=120218707  nbValidityChecks=13667010  nbPropagations=0  nbRevisions=0
168.99	     nbUselessRevisions=0  nbAssignments=69426  nbFailedAssignments=38910  nbBacktracks=29531  nbVisitedNodes=137164
168.99	     nbRestartNogoods=84
168.99	       =>  wckTime=109.559  cpuTime=108.51  mem=18M554
221.63	   
221.63	   search
221.63	     run=18  nbConstraintChecks=175949597  nbValidityChecks=20819822  nbPropagations=0  nbRevisions=0
221.63	     nbUselessRevisions=0  nbAssignments=102200  nbFailedAssignments=56849  nbBacktracks=44309  nbVisitedNodes=202511
221.63	     nbRestartNogoods=92
221.63	       =>  wckTime=162.201  cpuTime=160.68  mem=18M554
291.10	   
291.10	   search
291.10	     run=19  nbConstraintChecks=245141297  nbValidityChecks=29389532  nbPropagations=0  nbRevisions=0
291.10	     nbUselessRevisions=0  nbAssignments=142067  nbFailedAssignments=74489  nbBacktracks=66477  nbVisitedNodes=282026
291.10	     nbRestartNogoods=99
291.10	       =>  wckTime=231.674  cpuTime=229.57  mem=18M554
401.31	   
401.31	   search
401.31	     run=20  nbConstraintChecks=335760374  nbValidityChecks=36887709  nbPropagations=0  nbRevisions=0
401.31	     nbUselessRevisions=0  nbAssignments=190241  nbFailedAssignments=89367  nbBacktracks=99732  nbVisitedNodes=375088
401.31	     nbRestartNogoods=115
401.31	       =>  wckTime=341.883  cpuTime=338.87  mem=18M554
596.59	   
596.59	   search
596.59	     run=21  nbConstraintChecks=521162576  nbValidityChecks=64862052  nbPropagations=0  nbRevisions=0
596.59	     nbUselessRevisions=0  nbAssignments=305175  nbFailedAssignments=154360  nbBacktracks=149614  nbVisitedNodes=598211
596.59	     nbRestartNogoods=126
596.59	       =>  wckTime=537.158  cpuTime=532.53  mem=18M554
795.71	   
795.71	   search
795.71	     run=22  nbConstraintChecks=734349680  nbValidityChecks=90592995  nbPropagations=0  nbRevisions=0
795.71	     nbUselessRevisions=0  nbAssignments=438265  nbFailedAssignments=212563  nbBacktracks=224432  nbVisitedNodes=849321
795.71	     nbRestartNogoods=146
795.71	       =>  wckTime=736.282  cpuTime=729.93  mem=18M554
1067.68	   
1067.68	   search
1067.68	     run=23  nbConstraintChecks=1046016682  nbValidityChecks=129516348  nbPropagations=0  nbRevisions=0
1067.68	     nbUselessRevisions=0  nbAssignments=630883  nbFailedAssignments=292884  nbBacktracks=336659  nbVisitedNodes=1209147
1067.68	     nbRestartNogoods=168
1067.68	       =>  wckTime=1008.252  cpuTime=999.28  mem=18M554
1387.84	   
1387.84	   search
1387.84	     run=24  nbConstraintChecks=1447843651  nbValidityChecks=182870314  nbPropagations=0  nbRevisions=0
1387.84	     nbUselessRevisions=0  nbAssignments=903155  nbFailedAssignments=396740  nbBacktracks=505001  nbVisitedNodes=1700833
1387.84	     nbRestartNogoods=180
1387.84	       =>  wckTime=1328.408  cpuTime=1317.35  mem=18M554
1890.04	   
1890.04	   search
1890.04	     run=25  nbConstraintChecks=2100218705  nbValidityChecks=251272856  nbPropagations=0  nbRevisions=0
1890.04	     nbUselessRevisions=0  nbAssignments=1309244  nbFailedAssignments=550235  nbBacktracks=757512
1890.04	     nbVisitedNodes=2440695  nbRestartNogoods=190
1890.04	       =>  wckTime=1830.61  cpuTime=1819.02  mem=18M554
2327.66	   
2327.66	   search
2327.66	     run=26  nbConstraintChecks=2862396214  nbValidityChecks=293537513  nbPropagations=0  nbRevisions=0
2327.66	     nbUselessRevisions=0  nbAssignments=1865976  nbFailedAssignments=728106  nbBacktracks=1136283
2327.66	     nbVisitedNodes=3380074  nbRestartNogoods=209
2327.66	       =>  wckTime=2268.228  cpuTime=2256.19  mem=18M554
2412.67	v 2 2 0 2 1 0 0 0 2 1 0 1 1 0 1 1 0 2 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 2 1 2 0 1 0 2 1 1 1 1 0 1 0 0 2 0 1 1 3 2 2 1 0 3 3 1 1 0 0 0 3 1 1 0 1 1 1 0 1 1 0 1 0 1 0 1 2 1 1 1 3 0 1 1 1 0 0 2 1 1 1 1 0 0 2 1 1 1 0 2 1 1 1 1 0 1 1 1 0 1 2 1 0 3 2 1 1 2 1 1 1 0 1 -1

Verifier Data (download as text)

72 unsatisfied constraints, 563 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/node13/watcher-282791-1169322374 -o ROOT/results/node13/solver-282791-1169322374 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282791-1169322374/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.88 1.97 1.99 4/87 2766
/proc/meminfo: memFree=1283096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=906644 CPUtime=0.03
/proc/2765/stat : 2765 (java) S 2763 2765 2371 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 280632467 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 226661 1818 1036 14 0 214244 0
[pid=2765/tid=2767] ppid=2763 vsize=906644 CPUtime=0
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 2371 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 280632471 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103153 s]
/proc/loadavg: 1.88 1.97 1.99 4/87 2766
/proc/meminfo: memFree=1283096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=914988 CPUtime=0.09
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 3005 0 1 0 8 1 0 0 17 0 8 0 280632467 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153930865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228747 2751 1430 14 0 215242 0
[pid=2765/tid=2767] ppid=2763 vsize=914988 CPUtime=0
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 280632471 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512208 s]
/proc/loadavg: 1.88 1.97 1.99 4/87 2766
/proc/meminfo: memFree=1283096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915332 CPUtime=0.49
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 6348 0 1 0 46 3 0 0 17 0 8 0 280632467 937299968 6087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228833 6087 2140 14 0 215303 0
[pid=2765/tid=2767] ppid=2763 vsize=915332 CPUtime=0
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 280632471 937299968 6087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33631 s]
/proc/loadavg: 1.89 1.97 1.99 3/94 2773
/proc/meminfo: memFree=1264160/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=1.3
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 7415 0 1 0 114 16 0 0 22 0 8 0 280632467 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073716744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228865 7153 2476 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.16
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 346 0 0 0 15 1 0 0 18 0 8 0 280632475 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 7153 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) 915460

[startup+2.98454 s]
/proc/loadavg: 1.89 1.97 1.99 3/94 2773
/proc/meminfo: memFree=1264096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915464 CPUtime=2.94
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 7418 0 1 0 251 43 0 0 25 0 8 0 280632467 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228866 7155 2476 14 0 215336 0
[pid=2765/tid=2767] ppid=2763 vsize=915464 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 280632471 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915464 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915464 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915464 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915464 CPUtime=0.16
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 280632475 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915464 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937435136 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915464 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937435136 7155 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+6.26397 s]
/proc/loadavg: 1.89 1.97 1.99 3/94 2773
/proc/meminfo: memFree=1264096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=6.19
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 7418 0 1 0 511 108 0 0 25 0 8 0 280632467 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228865 7155 2476 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.16
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7518 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 2773
/proc/meminfo: memFree=1264096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=12.62
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 7418 0 1 0 1035 227 0 0 25 0 8 0 280632467 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228865 7155 2476 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.16
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 7155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 7155 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) 915460

[startup+25.5966 s]
/proc/loadavg: 1.98 1.98 1.99 4/94 2773
/proc/meminfo: memFree=1264096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=25.35
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 7424 0 1 0 2053 482 0 0 25 0 8 0 280632467 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228865 7161 2476 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.17
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 354 0 0 0 16 1 0 0 16 0 8 0 280632475 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460

[startup+51.205 s]
/proc/loadavg: 2.05 2.00 2.00 3/94 2773
/proc/meminfo: memFree=1264096/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=50.75
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 7429 0 1 0 4099 976 0 0 25 0 8 0 280632467 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073716788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228865 7166 2476 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.17
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 359 0 0 0 16 1 0 0 16 0 8 0 280632475 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 7166 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) 915460

[startup+102.421 s]
/proc/loadavg: 2.02 2.00 2.00 3/94 2773
/proc/meminfo: memFree=1256224/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=101.53
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9463 0 1 0 9006 1147 0 0 25 0 8 0 280632467 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073895356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2765/statm: 228865 9193 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915460

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

Current children cumulated CPU time (s) 2012.04
Current children cumulated vsize (KiB) 915460

[startup+2084.26 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 3169
/proc/meminfo: memFree=1266544/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2072.03
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9500 0 1 0 206043 1160 0 0 25 0 8 0 280632467 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9230 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.03
Current children cumulated vsize (KiB) 915460

[startup+2144.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 3169
/proc/meminfo: memFree=1266544/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2132.02
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9500 0 1 0 212042 1160 0 0 25 0 8 0 280632467 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9230 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.02
Current children cumulated vsize (KiB) 915460

[startup+2204.35 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 3169
/proc/meminfo: memFree=1266544/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2191.99
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9500 0 1 0 218039 1160 0 0 25 0 8 0 280632467 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9230 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.99
Current children cumulated vsize (KiB) 915460

[startup+2264.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3171
/proc/meminfo: memFree=1266480/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2251.99
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9500 0 1 0 224039 1160 0 0 25 0 8 0 280632467 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9230 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.99
Current children cumulated vsize (KiB) 915460

[startup+2324.45 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 3171
/proc/meminfo: memFree=1266480/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2311.97
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9500 0 1 0 230037 1160 0 0 25 0 8 0 280632467 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9230 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.97
Current children cumulated vsize (KiB) 915460

[startup+2384.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 3171
/proc/meminfo: memFree=1266480/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2371.94
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9504 0 1 0 236034 1160 0 0 25 0 8 0 280632467 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9234 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.94
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.67 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 3171
/proc/meminfo: memFree=1266480/2055920 swapFree=4169400/4192956
[pid=2765] ppid=2763 vsize=915460 CPUtime=2400.09
/proc/2765/stat : 2765 (java) R 2763 2765 2371 0 -1 0 9504 0 1 0 238849 1160 0 0 25 0 8 0 280632467 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2765/statm: 228865 9234 2529 14 0 215335 0
[pid=2765/tid=2767] ppid=2763 vsize=915460 CPUtime=0.03
/proc/2765/task/2767/stat : 2767 (java) S 2763 2765 2371 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 280632471 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2765/tid=2768] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280632471 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2769] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280632471 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2770] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2770/stat : 2770 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2771] ppid=2763 vsize=915460 CPUtime=0.28
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 2371 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 2371 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2765/tid=2773] ppid=2763 vsize=915460 CPUtime=0
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 2371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280632475 937431040 9234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 2412.71
CPU time (s): 2400.14
CPU user time (s): 2388.53
CPU system time (s): 11.6132
CPU usage (%): 99.4791
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.53
system time used= 11.6132
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9526
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= 49895
involuntary context switches= 72351

runsolver used 2.84757 s user time and 7.85381 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 19:46:15 UTC 2007


IDJOB= 282791
IDBENCH= 12891
IDSOLVER= 69
FILE ID= node13/282791-1169322374

PBS_JOBID= 3610079

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  96ca725ee95743726556e6d48765a7fe

RANDOM SEED= 989940604

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.247
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.247
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:       1283576 kB
Buffers:         65496 kB
Cached:         568712 kB
SwapCached:       8664 kB
Active:         357948 kB
Inactive:       334180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1283576 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            1856 kB
Writeback:           0 kB
Mapped:          65864 kB
Slab:            64924 kB
Committed_AS:  8769088 kB
PageTables:       2436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node13 on Sat Jan 20 20:26:28 UTC 2007