Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 28 | 12.7917 | 2.21074 |
Name | PizzaVoucher/ PizzaVoucher-10b_c18.xml |
MD5SUM | 2b2c64c71c05a1ba529c691595973c48 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 12.7917 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 38 |
Number of constraints | 79 |
Number of domains | 14 |
Minimum domain size | 1 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":21},{"size":3,"count":3},{"size":4,"count":2},{"size":19,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":28},{"degree":27,"count":6},{"degree":28,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":2,"count":61},{"arity":11,"count":18}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 61 |
Distribution of constraint types | [{"type":"intension","count":61},{"type":"count","count":18}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297476-1532715571.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297476-1532715571.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.07/0.80 c solve instance... 2.07/0.85 o 49 2.07/0.86 o 45 2.07/0.88 o 40 2.07/0.89 o 39 2.07/0.89 o 38 2.07/0.90 o 37 2.07/0.90 o 36 2.07/0.90 o 35 2.70/0.91 o 31 2.70/0.91 o 30 3.49/1.07 o 28 12.13/2.19 s OPTIMUM FOUND 12.13/2.19 v <instantiation> 12.13/2.19 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] np[0] np[1] np[2] np[3] np[4] np[5] np[6] np[7] np[8] nf[0] nf[1] nf[2] nf[3] nf[4] nf[5] nf[6] nf[7] nf[8] pp[0] pp[1] pp[2] pp[3] pp[4] pp[5] pp[6] pp[7] pp[8] pp[9] </list> 12.13/2.19 v <values>2 2 4 -2 1 -1 0 2 -2 1 1 2 0 0 0 0 0 0 0 2 3 0 1 0 0 0 0 0 0 0 0 7 0 10 4 0 7 0 </values> 12.13/2.19 v </instantiation>
OK 28
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9037 MiB free) memory of node 1: 16384 MiB (13943 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297476-1532715571/watcher-4297476-1532715571 -o /tmp/evaluation-result-4297476-1532715571/solver-4297476-1532715571 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 421123335 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297476-1532715571.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=16975, runsolver pid=16972 [startup+0.100141 s]* /proc/loadavg: 2.86 1.63 1.59 2/199 16996 /proc/meminfo: memFree=23517180/32770624 swapFree=67108688/67108860 [pid=16975] ppid=16972 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16975/stat : 16975 (xcsp3-exec) S 16972 16975 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89120004 115843072 363 33554432000 4194304 5098028 140728100036384 140728100034488 140034753581692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140728100037686 140728100037888 140728100037888 140728100040650 0 /proc/16975/statm: 28282 363 306 221 0 87 0 [pid=16977] ppid=16975 vsize=26104152 memory=27192 CPUtime=0.11 cores=0-7 /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 5665 0 0 0 10 1 0 0 20 0 20 0 89120004 26730651648 6798 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6526038 6798 3019 1 0 6488315 0 [pid=16977/tid=16978] ppid=16975 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) R 16975 16975 14928 0 -1 4202560 3666 0 0 0 8 1 0 0 20 0 20 0 89120005 26730651648 6798 33554432000 4194304 4196468 140721484612640 139822244120592 139822239917213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26104152 memory=140554980877952 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16982] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16982/stat : 16982 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821794581392 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16983] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16983/stat : 16983 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821793528336 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16984] ppid=16975 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16977/task/16984/stat : 16984 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821792475792 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16985] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16985/stat : 16985 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821791422736 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16986] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16986/stat : 16986 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 6798 33554432000 4194304 4196468 140721484612640 139821790370192 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16987] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16987/stat : 16987 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120007 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820961540848 139822239906434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16988] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16988/stat : 16988 (java) S 16975 16975 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89120007 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820960487072 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16989] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16989/stat : 16989 (java) S 16975 16975 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89120008 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820959433968 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16990] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16990/stat : 16990 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820958382544 139822239913883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16991] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16991/stat : 16991 (java) S 16975 16975 14928 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820957329648 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16992] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16992/stat : 16992 (java) S 16975 16975 14928 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820956277104 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16993] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16993/stat : 16993 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820955224048 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16994] ppid=16975 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/16977/task/16994/stat : 16994 (java) S 16975 16975 14928 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820954171504 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16995] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16995/stat : 16995 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820953119712 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16996] ppid=16975 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16977/task/16996/stat : 16996 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 6798 33554432000 4194304 4196468 140721484612640 139820952067248 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28644 KiB [startup+0.209745 s]* /proc/loadavg: 2.86 1.63 1.59 3/199 16996 /proc/meminfo: memFree=23505816/32770624 swapFree=67108688/67108860 [pid=16975] ppid=16972 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16975/stat : 16975 (xcsp3-exec) S 16972 16975 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89120004 115843072 363 33554432000 4194304 5098028 140728100036384 140728100034488 140034753581692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140728100037686 140728100037888 140728100037888 140728100040650 0 /proc/16975/statm: 28282 363 306 221 0 87 0 [pid=16977] ppid=16975 vsize=26104152 memory=39672 CPUtime=0.33 cores=0-7 /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 8508 0 0 0 31 2 0 0 20 0 20 0 89120004 26730651648 9918 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6526038 9918 3186 1 0 6488315 0 [pid=16977/tid=16978] ppid=16975 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) R 16975 16975 14928 0 -1 4202560 5559 0 0 0 18 1 0 0 20 0 20 0 89120005 26730651648 9918 33554432000 4194304 4196468 140721484612640 139822244130272 139822239917213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26104152 memory=140554981381270 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16982] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16982/stat : 16982 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821794581392 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16983] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16983/stat : 16983 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821793528336 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16984] ppid=16975 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16977/task/16984/stat : 16984 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821792475792 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16985] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16985/stat : 16985 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821791422736 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16986] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16986/stat : 16986 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26730651648 9918 33554432000 4194304 4196468 140721484612640 139821790370192 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16987] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16987/stat : 16987 (java) S 16975 16975 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89120007 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820961540848 139822239906434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16988] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16988/stat : 16988 (java) S 16975 16975 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89120007 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820960487072 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16989] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16989/stat : 16989 (java) S 16975 16975 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89120008 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820959433968 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16990] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16990/stat : 16990 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820958382544 139822239913883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16991] ppid=16975 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/16977/task/16991/stat : 16991 (java) S 16975 16975 14928 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820957329648 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16992] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16992/stat : 16992 (java) S 16975 16975 14928 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820956277104 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16993] ppid=16975 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7 /proc/16977/task/16993/stat : 16993 (java) S 16975 16975 14928 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820955224048 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16994] ppid=16975 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/16977/task/16994/stat : 16994 (java) S 16975 16975 14928 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820954171504 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16995] ppid=16975 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16995/stat : 16995 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820953119712 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16996] ppid=16975 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16977/task/16996/stat : 16996 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120010 26730651648 9918 33554432000 4194304 4196468 140721484612640 139820952067248 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41124 KiB [startup+0.309521 s]* /proc/loadavg: 2.86 1.63 1.59 3/199 16996 /proc/meminfo: memFree=23499240/32770624 swapFree=67108688/67108860 [pid=16975] ppid=16972 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16975/stat : 16975 (xcsp3-exec) S 16972 16975 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89120004 115843072 363 33554432000 4194304 5098028 140728100036384 140728100034488 140034753581692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140728100037686 140728100037888 140728100037888 140728100040650 0 /proc/16975/statm: 28282 363 306 221 0 87 0 [pid=16977] ppid=16975 vsize=26108408 memory=46772 CPUtime=0.51 cores=0-7 /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 9417 0 0 0 48 3 0 0 20 0 20 0 89120004 26735009792 11693 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6527102 11693 3275 1 0 6488315 0 [pid=16977/tid=16978] ppid=16975 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) R 16975 16975 14928 0 -1 4202560 6276 0 0 0 27 2 0 0 20 0 20 0 89120005 26735009792 11693 33554432000 4194304 4196468 140721484612640 139822244132064 139822239917213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16982] ppid=16975 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16982/stat : 16982 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821794581392 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16983] ppid=16975 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/16977/task/16983/stat : 16983 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821793528336 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16984] ppid=16975 vsize=26108408 memory=140554818122671 CPUtime=0 cores=0-7 /proc/16977/task/16984/stat : 16984 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821792475792 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16985] ppid=16975 vsize=26108408 memory=140554818124976 CPUtime=0 cores=0-7 /proc/16977/task/16985/stat : 16985 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821791422736 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16986] ppid=16975 vsize=26108408 memory=140554818127280 CPUtime=0 cores=0-7 /proc/16977/task/16986/stat : 16986 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26735009792 11693 33554432000 4194304 4196468 140721484612640 139821790370192 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16987] ppid=16975 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16987/stat : 16987 (java) S 16975 16975 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89120007 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820961540848 139822239906434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16988] ppid=16975 vsize=26108408 memory=281109636261520 CPUtime=0 cores=0-7 /proc/16977/task/16988/stat : 16988 (java) S 16975 16975 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89120007 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820960487072 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16989] ppid=16975 vsize=26108408 memory=281109636268432 CPUtime=0 cores=0-7 /proc/16977/task/16989/stat : 16989 (java) S 16975 16975 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89120008 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820959433968 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16990] ppid=16975 vsize=26108408 memory=281109636209584 CPUtime=0 cores=0-7 /proc/16977/task/16990/stat : 16990 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820958382544 139822239913883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16991] ppid=16975 vsize=26108408 memory=281109636282256 CPUtime=0.03 cores=0-7 /proc/16977/task/16991/stat : 16991 (java) S 16975 16975 14928 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820957329648 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16992] ppid=16975 vsize=26108408 memory=281109636289168 CPUtime=0.01 cores=0-7 /proc/16977/task/16992/stat : 16992 (java) S 16975 16975 14928 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820956277104 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16993] ppid=16975 vsize=26108408 memory=281109636286864 CPUtime=0.03 cores=0-7 /proc/16977/task/16993/stat : 16993 (java) S 16975 16975 14928 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820955224048 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16994] ppid=16975 vsize=26108408 memory=281109636303024 CPUtime=0.12 cores=0-7 /proc/16977/task/16994/stat : 16994 (java) S 16975 16975 14928 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820954171504 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16995] ppid=16975 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16995/stat : 16995 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820953119712 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16996] ppid=16975 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/16977/task/16996/stat : 16996 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120010 26735009792 11693 33554432000 4194304 4196468 140721484612640 139820952067248 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48224 KiB [startup+0.700866 s] /proc/loadavg: 2.86 1.63 1.59 5/199 16996 /proc/meminfo: memFree=23482184/32770624 swapFree=67108688/67108860 [pid=16975] ppid=16972 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16975/stat : 16975 (xcsp3-exec) S 16972 16975 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89120004 115843072 363 33554432000 4194304 5098028 140728100036384 140728100034488 140034753581692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140728100037686 140728100037888 140728100037888 140728100040650 0 /proc/16975/statm: 28282 363 306 221 0 87 0 [pid=16977] ppid=16975 vsize=26110532 memory=84032 CPUtime=1.68 cores=0-7 /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 13206 0 0 0 162 6 0 0 20 0 20 0 89120004 26737184768 21008 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6527633 21008 3359 1 0 6488827 0 [pid=16977/tid=16978] ppid=16975 vsize=26110532 memory=281109636660912 CPUtime=0.66 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) R 16975 16975 14928 0 -1 4202560 7201 0 0 0 63 3 0 0 20 0 20 0 89120005 26737184768 21008 33554432000 4194304 4196468 140721484612640 139822244133136 139822239907222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26110532 memory=140554818331504 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26737184768 21008 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89120006 26737184768 21008 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26110532 memory=4616 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89120006 26737184768 21008 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 ################ # More data... # ################ /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 20507 0 0 0 798 11 0 0 20 0 28 0 89120004 27420897280 47926 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6694555 47926 3397 1 0 6655749 0 [pid=16977/tid=16978] ppid=16975 vsize=26778220 memory=0 CPUtime=0.79 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) S 16975 16975 14928 0 -1 1077944384 7283 0 0 0 75 4 0 0 20 0 28 0 89120005 27420897280 47926 33554432000 4194304 4196468 140721484612640 139822244136064 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26778220 memory=79 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16982] ppid=16975 vsize=26778220 memory=140554818290898 CPUtime=0 cores=0-7 /proc/16977/task/16982/stat : 16982 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821794581392 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16983] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16983/stat : 16983 (java) S 16975 16975 14928 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821793528336 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16984] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16984/stat : 16984 (java) S 16975 16975 14928 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821792475792 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16985] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16985/stat : 16985 (java) S 16975 16975 14928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821791422736 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16986] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16986/stat : 16986 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 47926 33554432000 4194304 4196468 140721484612640 139821790370192 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16987] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16987/stat : 16987 (java) S 16975 16975 14928 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 89120007 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820961540848 139822239906434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16988] ppid=16975 vsize=26778220 memory=1452 CPUtime=0 cores=0-7 /proc/16977/task/16988/stat : 16988 (java) S 16975 16975 14928 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 89120007 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820960487072 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16989] ppid=16975 vsize=26778220 memory=4140 CPUtime=0 cores=0-7 /proc/16977/task/16989/stat : 16989 (java) S 16975 16975 14928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89120008 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820959433968 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16990] ppid=16975 vsize=26778220 memory=25748 CPUtime=0 cores=0-7 /proc/16977/task/16990/stat : 16990 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820958382544 139822239913883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16991] ppid=16975 vsize=26778220 memory=1296 CPUtime=0.91 cores=0-7 /proc/16977/task/16991/stat : 16991 (java) R 16975 16975 14928 0 -1 4202560 2760 0 0 0 90 1 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820957314512 139822221413169 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16992] ppid=16975 vsize=26778220 memory=2408 CPUtime=0.69 cores=0-7 /proc/16977/task/16992/stat : 16992 (java) R 16975 16975 14928 0 -1 1077944384 1390 0 0 0 69 0 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820956264784 139822239905493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16993] ppid=16975 vsize=26778220 memory=1724 CPUtime=0.95 cores=0-7 /proc/16977/task/16993/stat : 16993 (java) R 16975 16975 14928 0 -1 4202560 2918 0 0 0 94 1 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820955215024 139822223394430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16994] ppid=16975 vsize=26778220 memory=1004 CPUtime=0.68 cores=0-7 /proc/16977/task/16994/stat : 16994 (java) R 16975 16975 14928 0 -1 1077944384 2899 0 0 0 67 1 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820954171504 139822239906434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16995] ppid=16975 vsize=26778220 memory=1952 CPUtime=0 cores=0-7 /proc/16977/task/16995/stat : 16995 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820953119712 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16996] ppid=16975 vsize=26778220 memory=1708 CPUtime=0 cores=0-7 /proc/16977/task/16996/stat : 16996 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120010 27420897280 47926 33554432000 4194304 4196468 140721484612640 139820952067248 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 Current children cumulated CPU time: 8.09 s Current children cumulated vsize: 26891348 KiB Current children cumulated memory: 193156 KiB [startup+2.00146 s]* /proc/loadavg: 2.86 1.63 1.59 9/207 17092 /proc/meminfo: memFree=23352844/32770624 swapFree=67108688/67108860 [pid=16975] ppid=16972 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16975/stat : 16975 (xcsp3-exec) S 16972 16975 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89120004 115843072 363 33554432000 4194304 5098028 140728100036384 140728100034488 140034753581692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140728100037686 140728100037888 140728100037888 140728100040650 0 /proc/16975/statm: 28282 363 306 221 0 87 0 [pid=16977] ppid=16975 vsize=26778220 memory=192184 CPUtime=11.32 cores=0-7 /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 20654 0 0 0 1121 11 0 0 20 0 28 0 89120004 27420897280 48046 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6694555 48046 3398 1 0 6655749 0 [pid=16977/tid=16978] ppid=16975 vsize=26778220 memory=6791534058613427641 CPUtime=0.79 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) S 16975 16975 14928 0 -1 1077944384 7283 0 0 0 75 4 0 0 20 0 28 0 89120005 27420897280 48046 33554432000 4194304 4196468 140721484612640 139822244136064 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26778220 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26778220 memory=-7737605734073691286 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26778220 memory=-8990767739041718176 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16982] ppid=16975 vsize=26778220 memory=6944656591801717918 CPUtime=0 cores=0-7 /proc/16977/task/16982/stat : 16982 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821794581392 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16983] ppid=16975 vsize=26778220 memory=6944613755328037012 CPUtime=0 cores=0-7 /proc/16977/task/16983/stat : 16983 (java) S 16975 16975 14928 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821793528336 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16984] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16984/stat : 16984 (java) S 16975 16975 14928 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821792475792 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16985] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16985/stat : 16985 (java) S 16975 16975 14928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821791422736 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16986] ppid=16975 vsize=26778220 memory=281109636648064 CPUtime=0 cores=0-7 /proc/16977/task/16986/stat : 16986 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89120006 27420897280 48046 33554432000 4194304 4196468 140721484612640 139821790370192 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16987] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16987/stat : 16987 (java) S 16975 16975 14928 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 89120007 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820961540848 139822239906434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16988] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16988/stat : 16988 (java) S 16975 16975 14928 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 89120007 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820960487072 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16989] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16989/stat : 16989 (java) S 16975 16975 14928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89120008 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820959433968 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16990] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16990/stat : 16990 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820958382544 139822239913883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16991] ppid=16975 vsize=26778220 memory=0 CPUtime=1.03 cores=0-7 /proc/16977/task/16991/stat : 16991 (java) S 16975 16975 14928 0 -1 1077944384 2783 0 0 0 102 1 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820957329648 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16992] ppid=16975 vsize=26778220 memory=0 CPUtime=0.88 cores=0-7 /proc/16977/task/16992/stat : 16992 (java) S 16975 16975 14928 0 -1 1077944384 1424 0 0 0 88 0 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820956277104 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16993] ppid=16975 vsize=26778220 memory=7878601616266707050 CPUtime=1.08 cores=0-7 /proc/16977/task/16993/stat : 16993 (java) S 16975 16975 14928 0 -1 1077944384 2952 0 0 0 107 1 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820955224048 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16994] ppid=16975 vsize=26778220 memory=7881696724453321575 CPUtime=0.71 cores=0-7 /proc/16977/task/16994/stat : 16994 (java) S 16975 16975 14928 0 -1 1077944384 2944 0 0 0 70 1 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820954171504 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16995] ppid=16975 vsize=26778220 memory=6297248783107517268 CPUtime=0 cores=0-7 /proc/16977/task/16995/stat : 16995 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820953119712 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16996] ppid=16975 vsize=26778220 memory=8099279071866868837 CPUtime=0 cores=0-7 /proc/16977/task/16996/stat : 16996 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89120010 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820952067248 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17085] ppid=16975 vsize=26778220 memory=0 CPUtime=0.68 cores=0-7 /proc/16977/task/17085/stat : 17085 (java) R 16975 16975 14928 0 -1 4202560 19 0 0 0 68 0 0 0 20 0 28 0 89120111 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820885281768 139821878273923 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17086] ppid=16975 vsize=26778220 memory=0 CPUtime=0.68 cores=0-7 /proc/16977/task/17086/stat : 17086 (java) R 16975 16975 14928 0 -1 4202560 20 0 0 0 68 0 0 0 20 0 28 0 89120111 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820939259840 139821877510246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17087] ppid=16975 vsize=26778220 memory=0 CPUtime=0.81 cores=0-7 /proc/16977/task/17087/stat : 17087 (java) R 16975 16975 14928 0 -1 4202560 19 0 0 0 81 0 0 0 20 0 28 0 89120111 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820942418280 139821878274003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17088] ppid=16975 vsize=26778220 memory=0 CPUtime=0.82 cores=0-7 /proc/16977/task/17088/stat : 17088 (java) R 16975 16975 14928 0 -1 4202560 25 0 0 0 82 0 0 0 20 0 28 0 89120111 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820884230952 139821878274699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17089] ppid=16975 vsize=26778220 memory=0 CPUtime=0.65 cores=0-7 /proc/16977/task/17089/stat : 17089 (java) R 16975 16975 14928 0 -1 4202560 20 0 0 0 65 0 0 0 20 0 28 0 89120112 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820940312936 139821875349967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17090] ppid=16975 vsize=26778220 memory=-1 CPUtime=0.66 cores=0-7 /proc/16977/task/17090/stat : 17090 (java) R 16975 16975 14928 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 28 0 89120112 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820943470968 139821879152224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17091] ppid=16975 vsize=26778220 memory=-1 CPUtime=0.64 cores=0-7 /proc/16977/task/17091/stat : 17091 (java) R 16975 16975 14928 0 -1 4202560 18 0 0 0 64 0 0 0 20 0 28 0 89120112 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820938208168 139821875348334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=17092] ppid=16975 vsize=26778220 memory=0 CPUtime=0.68 cores=0-7 /proc/16977/task/17092/stat : 17092 (java) R 16975 16975 14928 0 -1 4202560 18 0 0 0 68 0 0 0 20 0 28 0 89120112 27420897280 48046 33554432000 4194304 4196468 140721484612640 139820936102824 139821878258336 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 Current children cumulated CPU time: 11.32 s Current children cumulated vsize: 26891348 KiB Current children cumulated memory: 193636 KiB [startup+2.2011 s] /proc/loadavg: 2.86 1.63 1.59 9/207 17092 /proc/meminfo: memFree=23352844/32770624 swapFree=67108688/67108860 [pid=16975] ppid=16972 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16975/stat : 16975 (xcsp3-exec) S 16972 16975 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89120004 115843072 363 33554432000 4194304 5098028 140728100036384 140728100034488 140034753581692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140728100037686 140728100037888 140728100037888 140728100040650 0 /proc/16975/statm: 28282 363 306 221 0 87 0 [pid=16977] ppid=16975 vsize=26778220 memory=194492 CPUtime=12.77 cores=0-7 /proc/16977/stat : 16977 (java) S 16975 16975 14928 0 -1 1077944320 20685 0 0 0 1266 11 0 0 20 0 19 0 89120004 27420897280 48623 33554432000 4194304 4196468 140721484612640 140721484595184 139822239895287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 /proc/16977/statm: 6694555 48623 3399 1 0 6655749 0 [pid=16977/tid=16978] ppid=16975 vsize=26778220 memory=7739276948478191983 CPUtime=0.79 cores=0-7 /proc/16977/task/16978/stat : 16978 (java) S 16975 16975 14928 0 -1 1077944384 7287 0 0 0 75 4 0 0 20 0 19 0 89120005 27420897280 48623 33554432000 4194304 4196468 140721484612640 139822244138128 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16979] ppid=16975 vsize=26778220 memory=7666631124259072363 CPUtime=0 cores=0-7 /proc/16977/task/16979/stat : 16979 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139822192516112 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16980] ppid=16975 vsize=26778220 memory=7452445177238667361 CPUtime=0 cores=0-7 /proc/16977/task/16980/stat : 16980 (java) S 16975 16975 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821796686992 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16981] ppid=16975 vsize=26778220 memory=7595725831727968097 CPUtime=0 cores=0-7 /proc/16977/task/16981/stat : 16981 (java) S 16975 16975 14928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821795633936 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16982] ppid=16975 vsize=26778220 memory=281109636396928 CPUtime=0 cores=0-7 /proc/16977/task/16982/stat : 16982 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821794581392 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16983] ppid=16975 vsize=26778220 memory=12910 CPUtime=0 cores=0-7 /proc/16977/task/16983/stat : 16983 (java) S 16975 16975 14928 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821793528336 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16984] ppid=16975 vsize=26778220 memory=281109636580256 CPUtime=0 cores=0-7 /proc/16977/task/16984/stat : 16984 (java) S 16975 16975 14928 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821792475792 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16985] ppid=16975 vsize=26778220 memory=140559275845247 CPUtime=0 cores=0-7 /proc/16977/task/16985/stat : 16985 (java) S 16975 16975 14928 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821791422736 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16986] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16986/stat : 16986 (java) S 16975 16975 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 89120006 27420897280 48623 33554432000 4194304 4196468 140721484612640 139821790370192 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16987] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16987/stat : 16987 (java) S 16975 16975 14928 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 89120007 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820961541056 139822239906434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16988] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16988/stat : 16988 (java) S 16975 16975 14928 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 89120007 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820960487072 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16989] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16989/stat : 16989 (java) S 16975 16975 14928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 89120008 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820959433968 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16990] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16990/stat : 16990 (java) S 16975 16975 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 89120010 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820958381312 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16991] ppid=16975 vsize=26778220 memory=0 CPUtime=1.04 cores=0-7 /proc/16977/task/16991/stat : 16991 (java) S 16975 16975 14928 0 -1 1077944384 2784 0 0 0 103 1 0 0 20 0 19 0 89120010 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820957320928 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16992] ppid=16975 vsize=26778220 memory=0 CPUtime=0.88 cores=0-7 /proc/16977/task/16992/stat : 16992 (java) S 16975 16975 14928 0 -1 1077944384 1425 0 0 0 88 0 0 0 20 0 19 0 89120010 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820956277104 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16993] ppid=16975 vsize=26778220 memory=0 CPUtime=1.08 cores=0-7 /proc/16977/task/16993/stat : 16993 (java) S 16975 16975 14928 0 -1 1077944384 2952 0 0 0 107 1 0 0 20 0 19 0 89120010 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820955224048 139822239906434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16994] ppid=16975 vsize=26778220 memory=0 CPUtime=0.72 cores=0-7 /proc/16977/task/16994/stat : 16994 (java) S 16975 16975 14928 0 -1 1077944384 2948 0 0 0 71 1 0 0 20 0 19 0 89120010 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820954167376 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 [pid=16977/tid=16995] ppid=16975 vsize=26778220 memory=0 CPUtime=0 cores=0-7 /proc/16977/task/16995/stat : 16995 (java) S 16975 16975 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 89120010 27420897280 48623 33554432000 4194304 4196468 140721484612640 139820953119712 139822239905493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721484620929 140721484621101 140721484621101 140721484623823 0 Current children cumulated CPU time: 12.77 s Current children cumulated vsize: 26891348 KiB Current children cumulated memory: 195944 KiB Child status: 0 Real time (s): 2.21074 CPU time (s): 12.7917 CPU user time (s): 12.6675 CPU system time (s): 0.124184 CPU usage (%): 578.616 Max. virtual memory (cumulated for all children) (KiB): 26891348 Max. memory (cumulated for all children) (KiB): 196252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.6675 system time used= 0.124184 maximum resident set size= 195320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21239 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4396 involuntary context switches= 306 # summary of solver processes directly reported to runsolver: # pid: 16975 # total CPU time (s): 12.7917 # total CPU user time (s): 12.6675 # total CPU system time (s): 0.124184 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.028941 second user time and 0.073962 second system time The end
Begin job on node106 at 2018-07-27 20:19:31 IDJOB=4297476 IDBENCH=141320 IDSOLVER=2760 FILE ID=node106/4297476-1532715571 RUNJOBID= node106-1532705147-14955 PBS_JOBID= 21022310 Free space on /tmp= 46168 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/PizzaVoucher/PizzaVoucher-10b_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297476-1532715571/watcher-4297476-1532715571 -o /tmp/evaluation-result-4297476-1532715571/solver-4297476-1532715571 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 421123335 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297476-1532715571.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2b2c64c71c05a1ba529c691595973c48 RANDOM SEED=421123335 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23533756 kB MemAvailable: 31926668 kB Buffers: 213312 kB Cached: 8342504 kB SwapCached: 0 kB Active: 2531140 kB Inactive: 6082132 kB Active(anon): 2576 kB Inactive(anon): 82544 kB Active(file): 2528564 kB Inactive(file): 5999588 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 22072 kB Writeback: 0 kB AnonPages: 73192 kB Mapped: 41816 kB Shmem: 25056 kB Slab: 320116 kB SReclaimable: 293220 kB SUnreclaim: 26896 kB KernelStack: 3520 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324388 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46148 MiB End job on node106 at 2018-07-27 20:19:34