Trace number 280299

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.08 2402.32

General information on the benchmark

Namerlfap/
rlfapSubs/scen06-sub4.xml
MD5SUM2f2ef4b2595ce0c7e703964138e6a5a2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints473
Best CPU time to get the best result obtained on this benchmark2400.01
SatisfiableNO
(Un)Satisfiability was proved
Number of variables44
Number of constraints499
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension499
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/280299-1169304521/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.46	     nbVariables=44  nbDomainTypes=2  minDomainSize=36  maxDomainSize=44
0.46	       =>  wckTime=0.1  cpuTime=0.08  mem=6M903
0.46	   
0.46	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
0.76	     nbConstraints=499  nbConvertedConstraints=499  nbConvertConstraintsChecks=270496  nbExtensionStructures=156
0.76	     nbSharedExtensionStructures=343  nbConflictsStructures=156  nbSharedConflictsStructures=343
0.76	     nbSharedBinaryRepresentations=12078  maxDegree=36  maxArity=2
0.76	       =>  wckTime=0.398  cpuTime=0.3  mem=10M804
0.80	   
0.80	   solver LocalSearchSolver being built... 
0.84	       =>  wckTime=0.477  cpuTime=0.35  mem=5M811
0.85	
0.85	s SATISFIABLE
0.85	o 309
0.85	c 190
0.85	o 323
0.85	c 176
0.85	o 333
0.85	c 166
0.86	o 341
0.86	c 158
0.86	o 349
0.86	c 150
0.86	o 353
0.86	c 146
0.86	o 355
0.86	c 144
0.86	o 360
0.86	c 139
0.86	o 365
0.86	c 134
0.86	o 371
0.86	c 128
0.86	o 375
0.86	c 124
0.86	o 380
0.86	c 119
0.86	o 383
0.86	c 116
0.87	o 386
0.87	c 113
0.87	o 390
0.87	c 109
0.87	o 393
0.87	c 106
0.87	o 396
0.87	c 103
0.87	o 398
0.87	c 101
0.87	o 399
0.87	c 100
0.87	o 403
0.87	c 96
0.87	o 405
0.87	c 94
0.88	o 408
0.88	c 91
0.88	o 409
0.88	c 90
0.88	o 411
0.88	c 88
0.89	o 413
0.89	c 86
0.89	o 416
0.89	c 83
0.89	o 418
0.89	c 81
0.89	o 420
0.89	c 79
0.89	o 423
0.89	c 76
0.90	o 425
0.90	c 74
0.90	o 427
0.90	c 72
0.90	o 430
0.90	c 69
0.90	o 433
0.90	c 66
0.90	o 435
0.90	c 64
0.91	o 438
0.91	c 61
0.91	o 440
0.91	c 59
0.91	o 441
0.91	c 58
0.91	o 444
0.91	c 55
0.91	o 445
0.91	c 54
0.92	o 449
0.92	c 50
0.92	o 452
0.92	c 47
0.92	o 453
0.92	c 46
0.92	o 454
0.92	c 45
0.92	o 456
0.92	c 43
0.92	o 458
0.92	c 41
0.93	o 460
0.93	c 39
1.12	o 463
1.12	c 36
1.17	o 464
1.17	c 35
1.17	o 467
1.17	c 32
1.17	o 469
1.17	c 30
1.17	o 470
1.17	c 29
1.90	o 472
1.90	c 27
19.92	   
19.92	   search
19.92	     run=0  nbConstraintChecks=185297217  nbAssignments=10000
19.92	       =>  wckTime=19.077  cpuTime=18.98  mem=5M811
32.05	   
32.05	   search
32.05	     run=1  nbConstraintChecks=303248704  nbAssignments=16156
32.05	       =>  wckTime=31.208  cpuTime=31.06  mem=5M811
32.05	   
32.05	   global
32.05	     nbConstraintChecks=303248704  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.05	     solvingWckTime=31.207  solvingCpuTime=31.05  expiredTime=no  totalExploration=no  nbFoundSolutions=0
32.05	     globalCpuTime=31.45
32.05	       =>  wckTime=31.686  cpuTime=31.4  mem=5M811
32.05	   
32.05	   solver IterativeSystematicSolver being built... 
32.18	       =>  wckTime=31.815  cpuTime=31.49  mem=16M825
32.19	   
32.19	   preprocessing
32.19	     nbConstraintChecks=4228  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.19	     detectedInconsistency=no
32.19	       =>  wckTime=0.013  cpuTime=0.01  mem=16M825
33.27	   
33.27	   search
33.27	     run=0  nbConstraintChecks=6231324  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=254
33.27	     nbFailedAssignments=230  nbBacktracks=10  nbVisitedNodes=495  nbRestartNogoods=0
33.27	       =>  wckTime=1.093  cpuTime=1.05  mem=16M825
33.84	   
33.84	   search
33.84	     run=1  nbConstraintChecks=9744845  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=428
33.84	     nbFailedAssignments=376  nbBacktracks=25  nbVisitedNodes=830  nbRestartNogoods=24
33.85	       =>  wckTime=1.665  cpuTime=1.61  mem=16M825
34.85	   
34.85	   search
34.85	     run=2  nbConstraintChecks=15178193  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=648
34.85	     nbFailedAssignments=559  nbBacktracks=47  nbVisitedNodes=1255  nbRestartNogoods=35
34.85	       =>  wckTime=2.67  cpuTime=2.61  mem=16M825
35.62	   
35.62	   search
35.62	     run=3  nbConstraintChecks=19211260  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=873
35.62	     nbFailedAssignments=740  nbBacktracks=80  nbVisitedNodes=1694  nbRestartNogoods=60
35.62	       =>  wckTime=3.442  cpuTime=3.38  mem=16M825
37.83	   
37.83	   search
37.83	     run=4  nbConstraintChecks=32357163  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1487
37.83	     nbFailedAssignments=1291  nbBacktracks=130  nbVisitedNodes=2909  nbRestartNogoods=79
37.83	       =>  wckTime=5.654  cpuTime=5.57  mem=16M825
42.97	   
42.97	   search
42.97	     run=5  nbConstraintChecks=62262423  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2638
42.97	     nbFailedAssignments=2353  nbBacktracks=205  nbVisitedNodes=5197  nbRestartNogoods=108
42.97	       =>  wckTime=10.794  cpuTime=10.67  mem=16M825
52.35	   
52.35	   search
52.35	     run=6  nbConstraintChecks=113595010  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5004
52.35	     nbFailedAssignments=4595  nbBacktracks=318  nbVisitedNodes=9918  nbRestartNogoods=146
52.35	       =>  wckTime=20.174  cpuTime=20.01  mem=16M825
59.67	   
59.67	   search
59.67	     run=7  nbConstraintChecks=161940670  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6979
59.67	     nbFailedAssignments=6385  nbBacktracks=489  nbVisitedNodes=13854  nbRestartNogoods=166
59.67	       =>  wckTime=27.494  cpuTime=27.3  mem=16M825
79.86	   
79.86	   search
79.86	     run=8  nbConstraintChecks=297432395  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12764
79.86	     nbFailedAssignments=11900  nbBacktracks=745  nbVisitedNodes=25410  nbRestartNogoods=178
79.86	       =>  wckTime=47.683  cpuTime=47.39  mem=16M825
99.36	   
99.36	   search
99.36	     run=9  nbConstraintChecks=417543068  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17344
99.36	     nbFailedAssignments=16081  nbBacktracks=1129  nbVisitedNodes=34555  nbRestartNogoods=241
99.36	       =>  wckTime=67.182  cpuTime=66.8  mem=16M825
132.39	   
132.39	   search
132.39	     run=10  nbConstraintChecks=643629887  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26817
132.39	     nbFailedAssignments=24964  nbBacktracks=1705  nbVisitedNodes=53487  nbRestartNogoods=275
132.39	       =>  wckTime=100.209  cpuTime=99.67  mem=16M825
156.34	   
156.34	   search
156.34	     run=11  nbConstraintChecks=788163161  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33103
156.34	     nbFailedAssignments=30372  nbBacktracks=2569  nbVisitedNodes=66045  nbRestartNogoods=367
156.34	       =>  wckTime=124.164  cpuTime=123.52  mem=16M825
192.28	   
192.28	   search
192.28	     run=12  nbConstraintChecks=989402733  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=40875
192.28	     nbFailedAssignments=36832  nbBacktracks=3866  nbVisitedNodes=81574  nbRestartNogoods=405
192.28	       =>  wckTime=160.103  cpuTime=159.29  mem=16M825
241.72	   
241.72	   search
241.72	     run=13  nbConstraintChecks=1289161062  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=54752
241.72	     nbFailedAssignments=48744  nbBacktracks=5812  nbVisitedNodes=109309  nbRestartNogoods=424
241.72	       =>  wckTime=209.54  cpuTime=208.5  mem=16M825
360.62	   
360.62	   search
360.62	     run=14  nbConstraintChecks=1996018299  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=84809
360.62	     nbFailedAssignments=75869  nbBacktracks=8731  nbVisitedNodes=169410  nbRestartNogoods=459
360.62	       =>  wckTime=328.44  cpuTime=327.14  mem=16M825
457.73	   
457.73	   search
457.73	     run=15  nbConstraintChecks=2508548419  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=106577
457.73	     nbFailedAssignments=93249  nbBacktracks=13109  nbVisitedNodes=212932  nbRestartNogoods=538
457.73	       =>  wckTime=425.552  cpuTime=424.21  mem=16M825
570.25	   
570.25	   search
570.25	     run=16  nbConstraintChecks=3131840676  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=133437
570.25	     nbFailedAssignments=113533  nbBacktracks=19677  nbVisitedNodes=266642  nbRestartNogoods=658
570.25	       =>  wckTime=538.069  cpuTime=536.68  mem=16M825
856.37	   
856.37	   search
856.37	     run=17  nbConstraintChecks=4762485940  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=209282
856.37	     nbFailedAssignments=179518  nbBacktracks=29529  nbVisitedNodes=418240  nbRestartNogoods=704
856.37	       =>  wckTime=824.192  cpuTime=822.7  mem=16M825
1314.68	   
1314.68	   search
1314.68	     run=18  nbConstraintChecks=7421922752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=344822
1314.68	     nbFailedAssignments=300274  nbBacktracks=44307  nbVisitedNodes=689192  nbRestartNogoods=739
1314.68	       =>  wckTime=1282.499  cpuTime=1280.83  mem=16M825
1668.82	   
1668.82	   search
1668.82	     run=19  nbConstraintChecks=9268860637  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=415592
1668.82	     nbFailedAssignments=348864  nbBacktracks=66475  nbVisitedNodes=830465  nbRestartNogoods=770
1668.82	       =>  wckTime=1636.639  cpuTime=1634.83  mem=16M825
2252.15	   
2252.15	   search
2252.15	     run=20  nbConstraintChecks=12333473028  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=532185
2252.15	     nbFailedAssignments=432194  nbBacktracks=99727  nbVisitedNodes=1063520  nbRestartNogoods=806
2252.15	       =>  wckTime=2219.966  cpuTime=2217.94  mem=16M825
2402.30	v 778 540 792 554 86 324 16 750 708 470 44 282 72 310 128 16 708 470 554 792 442 680 456 694 540 778 380 142 268 30 72 310 44 282 44 282 142 380 792 554 366 128 778 540

Verifier Data (download as text)

27 unsatisfied constraints, 472 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/node38/watcher-280299-1169304521 -o ROOT/results/node38/solver-280299-1169304521 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280299-1169304521/unknown.xml 

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

/proc/loadavg: 1.92 1.98 1.91 4/73 373
/proc/meminfo: memFree=1443216/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=172 CPUtime=0
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 278851748 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8605995 0 0 4096 0 0 0 0 17 0 0 0
/proc/372/statm: 43 24 18 14 0 3 0

[startup+0.108358 s]
/proc/loadavg: 1.92 1.98 1.91 4/73 373
/proc/meminfo: memFree=1443216/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=906644 CPUtime=0.02
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 2120 0 1 0 2 0 0 0 19 0 2 0 278851748 928403456 1869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 226661 1871 1064 14 0 214244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906644

[startup+0.516437 s]
/proc/loadavg: 1.92 1.98 1.91 4/73 373
/proc/meminfo: memFree=1443216/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915332 CPUtime=0.43
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 6192 0 1 0 39 4 0 0 25 0 8 0 278851748 937299968 5931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228833 5931 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.34061 s]
/proc/loadavg: 1.92 1.98 1.91 3/80 380
/proc/meminfo: memFree=1423128/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=1.24
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 7728 0 1 0 115 9 0 0 25 0 8 0 278851748 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 7466 2496 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 230 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.13
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 353 0 0 0 13 0 0 0 15 0 8 0 278851763 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915432 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937402368 7466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915428

[startup+2.97792 s]
/proc/loadavg: 1.92 1.98 1.91 3/80 380
/proc/meminfo: memFree=1423128/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2.87
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 7731 0 1 0 274 13 0 0 25 0 8 0 278851748 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 7468 2496 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 230 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.15
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 355 0 0 0 14 1 0 0 15 0 8 0 278851763 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 7468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915428

[startup+6.27356 s]
/proc/loadavg: 1.93 1.98 1.91 3/80 380
/proc/meminfo: memFree=1423000/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=6.16
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 7732 0 1 0 597 19 0 0 25 0 8 0 278851748 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 7469 2496 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 230 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.15
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 356 0 0 0 14 1 0 0 15 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915428

[startup+12.7488 s]
/proc/loadavg: 1.93 1.98 1.91 3/80 380
/proc/meminfo: memFree=1423008/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=12.6
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 7732 0 1 0 1229 31 0 0 25 0 8 0 278851748 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 7469 2496 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 230 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.15
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 356 0 0 0 14 1 0 0 15 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 7469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915428

[startup+25.5973 s]
/proc/loadavg: 1.95 1.98 1.91 3/80 380
/proc/meminfo: memFree=1423080/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=25.41
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 7735 0 1 0 2487 54 0 0 25 0 8 0 278851748 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 7472 2496 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 230 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.15
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 359 0 0 0 14 1 0 0 16 0 8 0 278851763 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 7472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915428

[startup+51.2003 s]
/proc/loadavg: 1.96 1.98 1.91 4/80 380
/proc/meminfo: memFree=1417704/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=50.87
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9175 0 1 0 5020 67 0 0 25 0 8 0 278851748 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073886284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8906 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.24
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 416 0 0 0 23 1 0 0 16 0 8 0 278851763 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915428

[startup+102.403 s]
/proc/loadavg: 1.98 1.98 1.91 3/80 380
/proc/meminfo: memFree=1417704/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=101.84
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9188 0 1 0 10117 67 0 0 25 0 8 0 278851748 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073886379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8918 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.24
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 417 0 0 0 23 1 0 0 16 0 8 0 278851763 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915428

[startup+162.444 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 380
/proc/meminfo: memFree=1417704/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=161.61
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9199 0 1 0 16094 67 0 0 25 0 8 0 278851748 937398272 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889737 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2021.06
Current children cumulated vsize (KiB) 915428

[startup+2083.16 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 598
/proc/meminfo: memFree=1427312/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2081.04
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9226 0 1 0 208026 78 0 0 25 0 8 0 278851748 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073886121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8951 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.04
Current children cumulated vsize (KiB) 915428

[startup+2143.26 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 598
/proc/meminfo: memFree=1427376/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2141.12
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9226 0 1 0 214034 78 0 0 25 0 8 0 278851748 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8951 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.12
Current children cumulated vsize (KiB) 915428

[startup+2203.27 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 598
/proc/meminfo: memFree=1427376/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2201.1
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9226 0 1 0 220032 78 0 0 25 0 8 0 278851748 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8951 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.1
Current children cumulated vsize (KiB) 915428

[startup+2263.28 s]
/proc/loadavg: 1.05 1.01 1.08 2/72 598
/proc/meminfo: memFree=1427376/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2261.09
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9230 0 1 0 226031 78 0 0 25 0 8 0 278851748 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8954 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.09
Current children cumulated vsize (KiB) 915428

[startup+2323.28 s]
/proc/loadavg: 1.02 1.01 1.08 2/72 598
/proc/meminfo: memFree=1427376/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2321.07
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9230 0 1 0 232029 78 0 0 25 0 8 0 278851748 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8954 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.07
Current children cumulated vsize (KiB) 915428

[startup+2383.29 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 598
/proc/meminfo: memFree=1427376/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2381.05
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9230 0 1 0 238027 78 0 0 25 0 8 0 278851748 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891746 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8954 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.05
Current children cumulated vsize (KiB) 915428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.29 s]
/proc/loadavg: 1.07 1.02 1.07 2/72 598
/proc/meminfo: memFree=1427376/2055920 swapFree=4192812/4192956
[pid=372] ppid=370 vsize=915428 CPUtime=2400.05
/proc/372/stat : 372 (java) R 370 372 32019 0 -1 0 9230 0 1 0 239927 78 0 0 25 0 8 0 278851748 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073886117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/372/statm: 228857 8954 2544 14 0 215327 0
[pid=372/tid=374] ppid=370 vsize=915428 CPUtime=0.02
/proc/372/task/374/stat : 374 (java) S 370 372 32019 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=375] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/375/stat : 375 (java) S 370 372 32019 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=376] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/376/stat : 376 (java) S 370 372 32019 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278851759 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=377] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/377/stat : 377 (java) S 370 372 32019 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=378] ppid=370 vsize=915428 CPUtime=0.25
/proc/372/task/378/stat : 378 (java) S 370 372 32019 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=379] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/379/stat : 379 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=372/tid=380] ppid=370 vsize=915428 CPUtime=0
/proc/372/task/380/stat : 380 (java) S 370 372 32019 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278851763 937398272 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915428

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

Child status: 143
Real time (s): 2402.32
CPU time (s): 2400.08
CPU user time (s): 2399.29
CPU system time (s): 0.793879
CPU usage (%): 99.907
Max. virtual memory (cumulated for all children) (KiB): 915432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.29
system time used= 0.793879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9255
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= 49950
involuntary context switches= 60071

runsolver used 2.16567 s user time and 6.52101 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan 20 14:48:41 UTC 2007


IDJOB= 280299
IDBENCH= 11073
IDSOLVER= 69
FILE ID= node38/280299-1169304521

PBS_JOBID= 3609861

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen06-sub4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280299-1169304521/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-280299-1169304521 -o ROOT/results/node38/solver-280299-1169304521 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280299-1169304521/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2f2ef4b2595ce0c7e703964138e6a5a2

RANDOM SEED= 289985993

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.267
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.267
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:       1443696 kB
Buffers:         38880 kB
Cached:         478260 kB
SwapCached:          0 kB
Active:         148288 kB
Inactive:       392040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1443696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1704 kB
Writeback:           0 kB
Mapped:          34788 kB
Slab:            57308 kB
Committed_AS:  5498600 kB
PageTables:       1812 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= 66563 MiB



End job on node38 on Sat Jan 20 15:28:43 UTC 2007