Trace number 1112451

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 171.015 172.695

General information on the benchmark

Namecsp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-29.xml
MD5SUM094c252b9befceb10e49353ca5017fcb
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints94
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Maximum constraint arity2
Maximum domain size1256
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23200
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.02/0.10	
0.02/0.10	Abscon 112 (May, 2008)
0.18/0.27	
0.18/0.27	   configuration
0.18/0.27	     name=mrdac-wdeg.xml
0.27/0.31	   
0.27/0.31	   instance
0.27/0.31	     name=HOME/instance-1112451-1215868402.xml
0.27/0.35	   
0.27/0.35	   domains being loaded...
0.27/0.38	   
0.27/0.38	   variables being loaded...
0.48/0.58	     nbVariables=800  nbDomainTypes=98  minDomainSize=1158  maxDomainSize=1256  nbTotalValues=964370
0.48/0.58	       =>  wckTime=0.302  cpuTime=0.22  mem=26M469
0.48/0.58	   
0.48/0.58	   predicates being loaded...
0.58/0.64	   
0.58/0.64	   constraints being loaded...
10.78/10.97	   
10.78/10.97	   INFO : Stopping converting binary constraints (cpu=10.36, mem = 63M921)
12.66/12.84	     nbConstraints=23200  nbConvertedConstraints=48  nbConvertConstraintsChecks=34296928  nbExtensionStructures=24
12.66/12.84	     nbSharedExtensionStructures=24  nbConflictsStructures=24  nbSharedConflictsStructures=24
12.66/12.84	     nbUnbuiltConflictsStructures=3650  nbSharedBinaryRepresentations=6375  nbEvaluationManagers=3650
12.66/12.84	     nbSharedEvaluationManagers=19502  minDegree=39  maxDegree=77  minArity=2  maxArity=2
12.66/12.84	       =>  wckTime=12.572  cpuTime=11.59  mem=65M782
12.96/13.20	   
12.96/13.20	   solver LocalSearchSolver being built... 
13.05/13.25	       =>  wckTime=12.976  cpuTime=11.63  mem=62M714
13.35/13.54	
13.35/13.54	s SATISFIABLE
13.35/13.54	o 1874
13.45/13.69	o 1860
13.65/13.86	o 1847
13.95/14.12	o 1836
14.05/14.30	o 1825
14.24/14.47	o 1816
14.34/14.59	o 1803
14.54/14.74	o 1791
14.64/14.86	o 1780
14.84/15.07	o 1768
15.04/15.26	o 1757
15.24/15.43	o 1746
15.33/15.59	o 1736
15.63/15.80	o 1726
15.83/16.08	o 1716
16.03/16.26	o 1708
16.12/16.36	o 1701
16.32/16.52	o 1691
16.62/16.81	o 1682
16.92/17.13	o 1673
17.12/17.35	o 1664
17.31/17.56	o 1656
17.61/17.82	o 1648
17.80/18.02	o 1640
17.90/18.13	o 1632
18.10/18.31	o 1625
18.30/18.57	o 1618
18.59/18.83	o 1613
18.89/19.13	o 1605
19.09/19.31	o 1597
19.29/19.58	o 1590
19.59/19.83	o 1583
19.88/20.17	o 1576
20.18/20.43	o 1569
20.38/20.62	o 1563
20.48/20.78	o 1557
20.68/20.99	o 1551
20.87/21.18	o 1545
20.97/21.22	o 1540
21.17/21.44	o 1531
21.47/21.78	o 1522
21.66/22.00	o 1513
21.86/22.17	o 1508
22.36/22.63	o 1501
22.85/23.11	o 1494
23.15/23.44	o 1487
23.45/23.75	o 1480
23.74/24.02	o 1474
23.94/24.28	o 1468
24.24/24.52	o 1462
24.44/24.78	o 1456
24.64/24.96	o 1450
24.93/25.23	o 1444
25.03/25.39	o 1439
25.23/25.56	o 1434
25.53/25.81	o 1429
25.73/26.08	o 1424
25.83/26.19	o 1418
26.02/26.32	o 1415
26.12/26.49	o 1409
26.42/26.72	o 1405
26.71/27.00	o 1399
26.91/27.22	o 1394
27.11/27.47	o 1388
27.30/27.65	o 1380
27.71/28.02	o 1375
28.01/28.37	o 1368
28.40/28.76	o 1361
29.00/29.30	o 1355
29.40/29.73	o 1349
29.59/29.99	o 1343
30.09/30.42	o 1339
30.29/30.67	o 1334
30.68/31.07	o 1329
30.98/31.38	o 1324
31.28/31.64	o 1319
31.58/31.95	o 1315
31.67/32.05	o 1311
31.87/32.26	o 1307
32.07/32.45	o 1304
32.27/32.61	o 1301
32.27/32.68	o 1297
32.47/32.84	o 1293
32.76/33.10	o 1290
32.96/33.38	o 1286
33.26/33.61	o 1283
33.46/33.87	o 1276
33.95/34.35	o 1270
34.15/34.57	o 1266
34.64/35.08	o 1260
35.03/35.46	o 1254
35.53/35.98	o 1249
36.02/36.48	o 1244
36.42/36.89	o 1239
36.82/37.27	o 1234
37.21/37.61	o 1229
37.51/37.97	o 1224
38.00/38.45	o 1220
38.40/38.85	o 1216
38.90/39.36	o 1212
39.29/39.73	o 1208
39.59/40.06	o 1204
39.99/40.40	o 1200
40.18/40.65	o 1196
40.48/40.99	o 1193
40.68/41.16	o 1190
40.88/41.33	o 1186
41.17/41.64	o 1183
41.57/42.05	o 1179
41.86/42.35	o 1176
42.16/42.63	o 1173
42.46/42.92	o 1170
42.55/43.03	o 1168
42.65/43.18	o 1163
42.85/43.37	o 1157
43.05/43.51	o 1154
43.25/43.78	o 1150
43.55/44.04	o 1148
43.94/44.41	o 1142
43.94/44.46	o 1138
44.24/44.72	o 1132
44.54/45.04	o 1126
44.83/45.40	o 1120
45.23/45.76	o 1114
45.63/46.19	o 1108
46.02/46.60	o 1103
46.52/47.02	o 1099
46.82/47.38	o 1095
47.21/47.77	o 1091
47.51/48.08	o 1087
47.91/48.48	o 1083
48.30/48.85	o 1079
48.60/49.16	o 1076
48.90/49.49	o 1073
49.39/49.93	o 1070
49.69/50.21	o 1067
49.89/50.42	o 1064
50.09/50.67	o 1062
50.38/50.91	o 1060
50.48/51.07	o 1058
50.79/51.38	o 1057
51.08/51.64	o 1056
51.88/52.41	o 1054
51.98/52.58	o 1052
52.17/52.79	o 1047
52.47/53.03	o 1044
52.57/53.16	o 1043
52.67/53.27	o 1041
53.07/53.61	o 1037
53.16/53.70	o 1034
53.36/53.94	o 1031
53.56/54.10	o 1028
53.76/54.33	o 1024
53.86/54.47	o 1021
54.16/54.72	o 1020
54.25/54.89	o 1017
54.45/55.10	o 1016
54.65/55.25	o 1015
55.05/55.63	o 1012
55.34/55.96	o 1010
55.64/56.26	o 1005
55.74/56.38	o 1003
56.14/56.72	o 999
56.43/57.09	o 998
56.83/57.45	o 994
57.23/57.89	o 990
57.52/58.18	o 986
57.81/58.47	o 982
58.21/58.81	o 981
58.51/59.11	o 978
58.90/59.52	o 974
59.10/59.73	o 970
59.40/60.04	o 966
59.80/60.40	o 963
60.09/60.78	o 961
60.39/61.06	o 959
60.69/61.36	o 957
60.89/61.55	o 955
61.18/61.86	o 953
61.48/62.14	o 952
61.68/62.30	o 951
61.87/62.51	o 946
62.17/62.80	o 941
62.27/62.91	o 940
62.47/63.14	o 939
62.67/63.37	o 935
63.06/63.72	o 934
63.16/63.87	o 931
63.36/64.03	o 928
63.56/64.21	o 926
63.66/64.37	o 923
63.76/64.47	o 921
63.96/64.60	o 917
64.05/64.75	o 914
64.25/64.90	o 910
64.45/65.15	o 908
64.74/65.43	o 906
65.04/65.70	o 902
66.33/67.09	o 901
66.62/67.37	o 900
66.72/67.49	o 898
66.92/67.66	o 896
67.32/68.06	o 895
67.81/68.52	o 891
68.21/68.95	o 887
68.61/69.36	o 884
69.00/69.75	o 882
69.40/70.14	o 880
69.79/70.53	o 878
70.09/70.85	o 876
70.49/71.26	o 874
70.78/71.54	o 872
71.08/71.85	o 870
71.38/72.15	o 868
71.58/72.38	o 867
71.97/72.72	o 866
72.27/73.01	o 865
72.47/73.24	o 864
72.86/73.62	o 861
74.06/74.86	o 860
74.25/75.06	o 856
74.45/75.23	o 854
74.55/75.37	o 852
75.05/75.89	o 851
75.24/76.05	o 848
75.54/76.38	o 847
75.74/76.51	o 845
76.04/76.82	o 843
76.14/76.97	o 840
76.33/77.11	o 838
76.53/77.33	o 836
76.73/77.50	o 835
77.03/77.84	o 831
77.62/78.41	o 829
78.51/79.31	o 826
78.61/79.46	o 824
78.91/79.71	o 823
79.01/79.84	o 822
79.60/80.40	o 821
79.80/80.60	o 819
79.90/80.76	o 816
80.10/80.90	o 813
80.20/81.08	o 809
80.30/81.18	o 807
80.69/81.50	o 803
81.09/81.98	o 800
81.19/82.05	o 797
81.29/82.19	o 794
81.48/82.30	o 790
82.38/83.23	o 788
82.67/83.60	o 784
82.97/83.83	o 783
83.37/84.25	o 780
83.66/84.52	o 779
84.36/85.20	o 778
84.66/85.54	o 774
85.05/85.93	o 771
85.34/86.25	o 768
85.64/86.53	o 765
85.94/86.88	o 762
86.43/87.31	o 759
86.73/87.67	o 757
87.13/88.06	o 755
87.62/88.50	o 753
87.82/88.72	o 751
88.22/89.14	o 749
88.51/89.42	o 747
88.81/89.75	o 746
89.01/89.96	o 744
89.31/90.29	o 742
89.60/90.59	o 740
89.90/90.82	o 739
90.20/91.14	o 738
90.40/91.37	o 737
94.55/95.51	o 735
94.65/95.69	o 734
94.85/95.87	o 733
94.95/95.99	o 732
95.55/96.58	o 730
95.74/96.79	o 728
95.94/96.96	o 726
96.24/97.29	o 725
96.44/97.48	o 723
96.64/97.64	o 722
98.02/99.08	o 720
98.32/99.32	o 719
98.52/99.50	o 716
99.81/100.85	o 715
100.40/101.42	o 713
100.60/101.68	o 711
101.00/102.03	o 709
101.29/102.38	o 706
101.49/102.51	o 704
102.28/103.34	o 703
102.57/103.63	o 702
102.67/103.74	o 700
102.97/104.08	o 698
103.17/104.24	o 697
103.37/104.41	o 694
103.47/104.59	o 691
103.76/104.82	o 690
103.86/104.94	o 688
104.75/105.83	o 686
105.06/106.11	o 683
105.16/106.21	o 682
105.26/106.30	o 680
105.85/106.91	o 679
107.84/108.94	o 677
107.93/109.10	o 675
108.23/109.34	o 674
108.43/109.59	o 673
113.78/115.00	o 671
114.47/115.63	o 669
122.40/123.68	o 668
122.99/124.21	o 667
123.88/125.18	o 666
125.17/126.44	o 664
133.40/134.74	o 662
163.51/165.13	   
163.51/165.13	   search
163.51/165.13	     run=0  nbConstraintChecks=310330504  nbAssignments=799
163.51/165.13	       =>  wckTime=151.887  cpuTime=150.43  mem=63M732
163.51/165.14	   
163.51/165.14	   global
163.51/165.14	     nbConstraintChecks=310330504  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
163.51/165.14	     solvingWckTime=151.851  solvingCpuTime=150.39  expiredTime=no  totalExploration=no  nbFoundSolutions=0
163.51/165.14	     globalCpuTime=162.1
163.51/165.14	       =>  wckTime=164.863  cpuTime=162.06  mem=63M732
163.51/165.14	   
163.51/165.14	   solver DecomposerSolver being built... 
170.84/172.54	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112451-1215868402/watcher-1112451-1215868402 -o /tmp/evaluation-result-1112451-1215868402/solver-1112451-1215868402 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112451-1215868402.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 17760
/proc/meminfo: memFree=1515664/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=18572 CPUtime=0
/proc/17760/stat : 17760 (runsolver) R 17758 17179 17179 0 -1 4194368 13 0 0 0 0 0 0 0 19 0 1 0 43543107 19017728 291 996147200 4194304 4296836 548682068336 18446744073709551615 214919870624 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17760/statm: 4643 291 256 25 0 2626 0

[startup+0.0473079 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 17760
/proc/meminfo: memFree=1515664/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=861876 CPUtime=0.02
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 2249 0 1 0 1 1 0 0 18 0 5 0 43543107 882561024 1860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 215469 1860 854 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.102369 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 17760
/proc/meminfo: memFree=1515664/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=865988 CPUtime=0.08
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 3638 0 1 0 6 2 0 0 18 0 9 0 43543107 886771712 3126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216497 3126 1669 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.302401 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 17760
/proc/meminfo: memFree=1515664/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=866308 CPUtime=0.27
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 5602 0 1 0 24 3 0 0 18 0 9 0 43543107 887099392 5023 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216577 5023 1889 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866308

[startup+0.701458 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 17760
/proc/meminfo: memFree=1515664/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867256 CPUtime=0.68
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 11952 0 1 0 61 7 0 0 18 0 9 0 43543107 888070144 11313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216814 11313 2010 9 0 211320 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867256

[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17769
/proc/meminfo: memFree=1464712/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=1.46
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 22147 0 1 0 134 12 0 0 18 0 9 0 43543107 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 21483 2004 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=1.17
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15765 0 1 0 108 9 0 0 25 0 9 0 43543108 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=0.09
/proc/17760/task/17763/stat : 17763 (java) S 17758 17760 17179 0 -1 64 5052 0 0 0 8 1 0 0 16 0 9 0 43543110 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.17
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 632 0 0 0 17 0 0 0 16 0 9 0 43543112 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 21483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867624

[startup+3.10177 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 17769
/proc/meminfo: memFree=1437000/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=3.05
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 22201 0 1 0 293 12 0 0 18 0 9 0 43543107 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 21534 2006 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=2.73
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15803 0 1 0 264 9 0 0 25 0 9 0 43543108 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4126892887 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=0.09
/proc/17760/task/17763/stat : 17763 (java) S 17758 17760 17179 0 -1 64 5052 0 0 0 8 1 0 0 17 0 9 0 43543110 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.19
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 648 0 0 0 19 0 0 0 15 0 9 0 43543112 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 21534 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867624

[startup+6.30222 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 17769
/proc/meminfo: memFree=1436744/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=6.22
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 22206 0 1 0 610 12 0 0 18 0 9 0 43543107 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 21537 2006 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=5.9
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15806 0 1 0 580 10 0 0 25 0 9 0 43543108 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4126867314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=0.09
/proc/17760/task/17763/stat : 17763 (java) S 17758 17760 17179 0 -1 64 5052 0 0 0 8 1 0 0 16 0 9 0 43543110 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.2
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 650 0 0 0 20 0 0 0 16 0 9 0 43543112 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 21537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867624

[startup+12.7021 s]
/proc/loadavg: 2.15 2.03 2.01 4/83 17769
/proc/meminfo: memFree=1409160/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=12.56
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 31871 0 1 0 1238 18 0 0 18 0 9 0 43543107 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 31198 2007 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=11.67
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15814 0 1 0 1157 10 0 0 25 0 9 0 43543108 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=0.59
/proc/17760/task/17763/stat : 17763 (java) R 17758 17760 17179 0 -1 64 14663 0 0 0 53 6 0 0 17 0 9 0 43543110 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 102516872 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.27
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 696 0 0 0 27 0 0 0 15 0 9 0 43543112 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 31198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867624

[startup+25.5028 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 17769
/proc/meminfo: memFree=1388168/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867712 CPUtime=25.23
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 35124 0 1 0 2502 21 0 0 18 0 9 0 43543107 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216928 34258 2640 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867712 CPUtime=23.94
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15876 0 1 0 2383 11 0 0 25 0 9 0 43543108 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4126871091 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867712 CPUtime=0.94
/proc/17760/task/17763/stat : 17763 (java) S 17758 17760 17179 0 -1 64 17830 0 0 0 86 8 0 0 16 0 9 0 43543110 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43543110 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867712 CPUtime=0.32
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 720 0 0 0 31 1 0 0 16 0 9 0 43543112 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867712

[startup+51.1022 s]
/proc/loadavg: 2.08 2.03 2.01 3/83 17769
/proc/meminfo: memFree=1388040/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867712 CPUtime=50.59
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 35124 0 1 0 5036 23 0 0 18 0 9 0 43543107 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216928 34258 2640 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867712 CPUtime=49.29
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15876 0 1 0 4917 12 0 0 25 0 9 0 43543108 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4126867304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867712 CPUtime=0.94
/proc/17760/task/17763/stat : 17763 (java) S 17758 17760 17179 0 -1 64 17830 0 0 0 86 8 0 0 16 0 9 0 43543110 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43543110 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867712 CPUtime=0.32
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 720 0 0 0 31 1 0 0 16 0 9 0 43543112 888537088 34258 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867712 CPUtime=0

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

/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888537088 34259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867712 CPUtime=0.33
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 721 0 0 0 32 1 0 0 16 0 9 0 43543112 888537088 34259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888537088 34259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867712 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888537088 34259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 867712

Solver just ended. Dumping a history of the last processes samples

[startup+166.302 s]
/proc/loadavg: 2.01 2.02 2.00 4/83 17769
/proc/meminfo: memFree=1225608/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=164.7
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 90932 0 1 0 16417 53 0 0 18 0 9 0 43543107 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 89995 2619 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=162.8
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15952 0 1 0 16263 17 0 0 25 0 9 0 43543108 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4126645183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=1.5
/proc/17760/task/17763/stat : 17763 (java) S 17758 17760 17179 0 -1 64 73521 0 0 0 116 34 0 0 16 0 9 0 43543110 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.36
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 743 0 0 0 35 1 0 0 15 0 9 0 43543112 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 89995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.7
Current children cumulated vsize (KiB) 867624

[startup+169.502 s]
/proc/loadavg: 2.09 2.03 2.01 4/83 17769
/proc/meminfo: memFree=725384/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=167.87
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 200402 0 1 0 16684 103 0 0 18 0 9 0 43543107 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 199452 2618 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=163.27
/proc/17760/task/17762/stat : 17762 (java) R 17758 17760 17179 0 -1 64 15971 0 1 0 16310 17 0 0 25 0 9 0 43543108 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=4.21
/proc/17760/task/17763/stat : 17763 (java) R 17758 17760 17179 0 -1 64 182972 0 0 0 337 84 0 0 17 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.37
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 743 0 0 0 36 1 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.87
Current children cumulated vsize (KiB) 867624

[startup+171.102 s]
/proc/loadavg: 2.09 2.03 2.01 4/83 17769
/proc/meminfo: memFree=725384/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=169.46
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 200404 0 1 0 16843 103 0 0 18 0 9 0 43543107 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 199452 2618 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=163.27
/proc/17760/task/17762/stat : 17762 (java) S 17758 17760 17179 0 -1 64 15973 0 1 0 16310 17 0 0 24 0 9 0 43543108 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=5.79
/proc/17760/task/17763/stat : 17763 (java) R 17758 17760 17179 0 -1 64 182972 0 0 0 495 84 0 0 19 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 102689764 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.37
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 743 0 0 0 36 1 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (KiB) 867624

[startup+171.902 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 17769
/proc/meminfo: memFree=725384/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=170.25
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 200404 0 1 0 16922 103 0 0 18 0 9 0 43543107 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 199452 2618 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=163.27
/proc/17760/task/17762/stat : 17762 (java) S 17758 17760 17179 0 -1 64 15973 0 1 0 16310 17 0 0 24 0 9 0 43543108 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=6.58
/proc/17760/task/17763/stat : 17763 (java) R 17758 17760 17179 0 -1 64 182972 0 0 0 574 84 0 0 20 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.37
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 743 0 0 0 36 1 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.25
Current children cumulated vsize (KiB) 867624

[startup+172.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 17769
/proc/meminfo: memFree=725384/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=170.65
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 200404 0 1 0 16962 103 0 0 18 0 9 0 43543107 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 199452 2618 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=163.28
/proc/17760/task/17762/stat : 17762 (java) S 17758 17760 17179 0 -1 64 15973 0 1 0 16311 17 0 0 16 0 9 0 43543108 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=6.98
/proc/17760/task/17763/stat : 17763 (java) R 17758 17760 17179 0 -1 64 182972 0 0 0 614 84 0 0 21 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 103736368 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.37
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 743 0 0 0 36 1 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.65
Current children cumulated vsize (KiB) 867624

[startup+172.502 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 17769
/proc/meminfo: memFree=725384/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=867624 CPUtime=170.84
/proc/17760/stat : 17760 (java) S 17758 17760 17179 0 -1 0 200404 0 1 0 16981 103 0 0 18 0 9 0 43543107 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 216906 199452 2618 9 0 211434 0
[pid=17760/tid=17762] ppid=17758 vsize=867624 CPUtime=163.28
/proc/17760/task/17762/stat : 17762 (java) S 17758 17760 17179 0 -1 64 15973 0 1 0 16311 17 0 0 16 0 9 0 43543108 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17763] ppid=17758 vsize=867624 CPUtime=7.17
/proc/17760/task/17763/stat : 17763 (java) R 17758 17760 17179 0 -1 64 182972 0 0 0 633 84 0 0 22 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 104457013 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17764] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17764/stat : 17764 (java) S 17758 17760 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17765] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17765/stat : 17765 (java) S 17758 17760 17179 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43543110 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17766] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17766/stat : 17766 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17767] ppid=17758 vsize=867624 CPUtime=0.37
/proc/17760/task/17767/stat : 17767 (java) S 17758 17760 17179 0 -1 64 743 0 0 0 36 1 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17768] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17768/stat : 17768 (java) S 17758 17760 17179 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17760/tid=17769] ppid=17758 vsize=867624 CPUtime=0
/proc/17760/task/17769/stat : 17769 (java) S 17758 17760 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43543112 888446976 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.84
Current children cumulated vsize (KiB) 867624

[startup+172.602 s]
/proc/loadavg: 2.08 2.03 2.00 3/76 17769
/proc/meminfo: memFree=937480/2055920 swapFree=4192812/4192956
[pid=17760] ppid=17758 vsize=0 CPUtime=170.91
/proc/17760/stat : 17760 (java) Z 17758 17760 17179 0 -1 12 200412 0 1 0 16985 106 0 0 16 0 2 0 43543107 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17760/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 170.91
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 172.695
CPU time (s): 171.015
CPU user time (s): 169.859
CPU system time (s): 1.15582
CPU usage (%): 99.0274
Max. virtual memory (cumulated for all children) (KiB): 867712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.859
system time used= 1.15582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200412
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= 5274
involuntary context switches= 9504

runsolver used 0.234964 second user time and 0.58591 second system time

The end

Launcher Data (download as text)

Begin job on node10 at 2008-07-12 15:13:22
IDJOB=1112451
IDBENCH=61420
IDSOLVER=359
FILE ID=node10/1112451-1215868402
PBS_JOBID= 7903512
Free space on /tmp= 66408 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-29.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112451-1215868402/watcher-1112451-1215868402 -o /tmp/evaluation-result-1112451-1215868402/solver-1112451-1215868402 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112451-1215868402.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 094c252b9befceb10e49353ca5017fcb
RANDOM SEED=431969683

node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1516144 kB
Buffers:         48836 kB
Cached:         194332 kB
SwapCached:          0 kB
Active:         409440 kB
Inactive:        70932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1516144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4864 kB
Writeback:           0 kB
Mapped:         248316 kB
Slab:            44192 kB
Committed_AS:   431536 kB
PageTables:       2256 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= 66408 MiB
End job on node10 at 2008-07-12 15:16:15