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 (14862 MiB free)
memory of node 1: 16384 MiB (15504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282651-1503167894/watcher-4282651-1503167894 -o /tmp/evaluation-result-4282651-1503167894/solver-4282651-1503167894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 724295342 HOME/instance-4282651-1503167894.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28071, runsolver pid=28068
[startup+0.100135 s]*
/proc/loadavg: 1.97 1.86 1.81 3/202 28078
/proc/meminfo: memFree=31086920/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13574484 memory=17716 CPUtime=0.02 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 3769 0 0 0 1 1 0 0 20 0 9 0 105129987 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3393621 4429 2065 1 0 3383118 0
[pid=28073/tid=28074] ppid=28071 vsize=13574484 memory=4206989191851631162 CPUtime=0.01 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 2475 0 0 0 1 0 0 0 20 0 9 0 105129987 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736778105064 139736757949790 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13574484 memory=3461490312259147401 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105129988 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13574484 memory=139707629463168 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105129988 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105129988 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105129988 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105129989 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 105129989 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 105129990 13900271616 4429 18446744073709551615 4194304 4196468 140732323700880 139736249897776 139736773879509 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19096 KiB
[startup+0.210009 s]*
/proc/loadavg: 1.97 1.86 1.81 5/211 28087
/proc/meminfo: memFree=31081860/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13974352 memory=26700 CPUtime=0.09 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 5063 0 0 0 8 1 0 0 20 0 15 0 105129987 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3493588 6675 2755 1 0 3482964 0
[pid=28073/tid=28074] ppid=28071 vsize=13974352 memory=-6226899852034412902 CPUtime=0.07 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 3215 0 0 0 6 1 0 0 20 0 15 0 105129987 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736778082480 139736773891229 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13974352 memory=3461490312259147401 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13974352 memory=139707629463168 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13974352 memory=139707629463168 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129989 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) S 28071 28071 13977 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736247794416 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736246741872 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13974352 memory=139707629463168 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) S 28071 28071 13977 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13974352 memory=139707629463168 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129998 14309736448 6675 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28080 KiB
[startup+0.310253 s]*
/proc/loadavg: 1.97 1.86 1.81 4/211 28087
/proc/meminfo: memFree=31068396/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13974352 memory=36816 CPUtime=0.27 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 8790 0 0 0 24 3 0 0 20 0 15 0 105129987 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3493588 9204 2979 1 0 3482964 0
[pid=28073/tid=28074] ppid=28071 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 6062 0 0 0 14 2 0 0 20 0 15 0 105129987 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736778103696 139736773890650 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13974352 memory=139707629470161 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129989 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) S 28071 28071 13977 0 -1 1077944384 604 0 0 0 1 0 0 0 20 0 15 0 105129992 14309736448 9204 18446744073709551615 4194304 4196468 140732323700880 139736247794416 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) S 28071 28071 13977 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 105129992 14309736448 9270 18446744073709551615 4194304 4196468 140732323700880 139736246741872 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) R 28071 28071 13977 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 105129992 14309736448 9270 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736757949790 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14309736448 9270 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129998 14309736448 9270 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38196 KiB
[startup+0.701146 s]
/proc/loadavg: 2.13 1.90 1.82 4/211 28087
/proc/meminfo: memFree=31056056/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13980732 memory=69868 CPUtime=1.26 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 13023 0 0 0 120 6 0 0 20 0 15 0 105129987 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3495183 17467 3164 1 0 3483476 0
[pid=28073/tid=28074] ppid=28071 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 8377 0 0 0 51 4 0 0 20 0 15 0 105129987 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736778106464 139736773891229 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13980732 memory=4716829293183326292 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) R 28071 28071 13977 0 -1 4202560 1111 0 0 0 20 0 0 0 20 0 15 0 105129992 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736247784272 139736757775020 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13980732 memory=23 CPUtime=0.18 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) S 28071 28071 13977 0 -1 1077944384 732 0 0 0 18 0 0 0 20 0 15 0 105129992 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736246741872 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13980732 memory=3 CPUtime=0.3 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) S 28071 28071 13977 0 -1 1077944384 1496 0 0 0 30 0 0 0 20 0 15 0 105129992 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129998 14316269568 17467 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71248 KiB
[startup+1.50137 s]
/proc/loadavg: 2.13 1.90 1.82 5/211 28087
/proc/meminfo: memFree=31032296/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13980732 memory=96056 CPUtime=3.74 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 26071 0 0 0 366 8 0 0 20 0 15 0 105129987 14316269568 24014 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3495183 24014 3186 1 0 3483476 0
[pid=28073/tid=28074] ppid=28071 vsize=13980732 memory=57172 CPUtime=1.34 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 9815 0 0 0 130 4 0 0 20 0 15 0 105129987 14316269568 24014 18446744073709551615 4194304 4196468 140732323700880 139736778089664 139736379344384 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24014 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24014 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13980732 memory=74212 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24014 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13980732 memory=69868 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13980732 memory=96884 CPUtime=6.25 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 26336 0 0 0 617 8 0 0 20 0 15 0 105129987 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3495183 24221 3194 1 0 3483476 0
[pid=28073/tid=28074] ppid=28071 vsize=13980732 memory=-8774313645642428999 CPUtime=3.04 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 9829 0 0 0 300 4 0 0 20 0 15 0 105129987 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736778106080 139736379343088 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13980732 memory=13568184779278711 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13980732 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) S 28071 28071 13977 0 -1 1077944384 7298 0 0 0 136 1 0 0 20 0 15 0 105129992 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736247794416 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) S 28071 28071 13977 0 -1 1077944384 5143 0 0 0 132 1 0 0 20 0 15 0 105129992 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736246741872 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13980732 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) S 28071 28071 13977 0 -1 1077944384 2703 0 0 0 47 1 0 0 20 0 15 0 105129992 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105129998 14316269568 24221 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 98264 KiB
[startup+3.60084 s]
/proc/loadavg: 2.13 1.90 1.82 4/211 28087
/proc/meminfo: memFree=31010720/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13982544 memory=110448 CPUtime=7.32 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 38962 0 0 0 722 10 0 0 20 0 15 0 105129987 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3495636 27612 3194 1 0 3483929 0
[pid=28073/tid=28074] ppid=28071 vsize=13982544 memory=-8774313645642428999 CPUtime=3.44 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 10189 0 0 0 340 4 0 0 20 0 15 0 105129987 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736778106080 139736379343806 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13982544 memory=27172 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13982544 memory=29380 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13982544 memory=31588 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13982544 memory=33796 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13982544 memory=36004 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 105129989 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13982544 memory=-3040564339240289162 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13982544 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13982544 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13982544 memory=-3252517613198930781 CPUtime=1.72 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) R 28071 28071 13977 0 -1 4202560 12714 0 0 0 170 2 0 0 20 0 15 0 105129992 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736247779080 139736755388988 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13982544 memory=-7966001967441022560 CPUtime=1.65 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) R 28071 28071 13977 0 -1 4202560 12006 0 0 0 163 2 0 0 20 0 15 0 105129992 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736246727048 139736758788625 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13982544 memory=7151834291566044245 CPUtime=0.48 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) S 28071 28071 13977 0 -1 1077944384 2703 0 0 0 47 1 0 0 20 0 15 0 105129992 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13982544 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13982544 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105129998 14318125056 27612 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 13992056 KiB
Current children cumulated memory: 111828 KiB
[startup+3.80076 s]
/proc/loadavg: 2.13 1.90 1.82 4/211 28087
/proc/meminfo: memFree=31010720/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13980732 memory=109240 CPUtime=7.67 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 41615 0 0 0 757 10 0 0 20 0 15 0 105129987 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3495183 27310 3198 1 0 3483476 0
[pid=28073/tid=28074] ppid=28071 vsize=13980732 memory=6944652177228980320 CPUtime=3.64 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 10539 0 0 0 360 4 0 0 20 0 15 0 105129987 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736778105984 139736379343832 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13980732 memory=7222483652687470737 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13980732 memory=-7531822216213012384 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13980732 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13980732 memory=-8629894644521668457 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13980732 memory=5867461782320533865 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13980732 memory=279415003272768 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13980732 memory=279415003150536 CPUtime=1.78 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) S 28071 28071 13977 0 -1 1077944384 13283 0 0 0 176 2 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736247794416 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13980732 memory=1329904169539632281 CPUtime=1.74 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) S 28071 28071 13977 0 -1 1077944384 13651 0 0 0 172 2 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736246741872 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13980732 memory=4196912344889787449 CPUtime=0.48 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) S 28071 28071 13977 0 -1 1077944384 2727 0 0 0 47 1 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13980732 memory=1329904169539632283 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 105129998 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 110620 KiB
[startup+3.90068 s]
/proc/loadavg: 2.13 1.90 1.82 4/211 28087
/proc/meminfo: memFree=31010720/32770624 swapFree=67108860/67108860
[pid=28071] ppid=28068 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28071/stat : 28071 (xcsp3-exec) S 28068 28071 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105129979 9740288 345 18446744073709551615 4194304 5098028 140725540698736 140725540696840 140500412191356 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37421056 140725540704633 140725540704837 140725540704837 140725540708331 0
/proc/28071/statm: 2378 345 289 221 0 87 0
[pid=28073] ppid=28071 vsize=13980732 memory=109240 CPUtime=7.77 cores=1,3,5,7
/proc/28073/stat : 28073 (java) S 28071 28071 13977 0 -1 1077944320 41616 0 0 0 767 10 0 0 20 0 15 0 105129987 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 140732323683424 139736773869303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
/proc/28073/statm: 3495183 27310 3198 1 0 3483476 0
[pid=28073/tid=28074] ppid=28071 vsize=13980732 memory=756 CPUtime=3.74 cores=1,3,5,7
/proc/28073/task/28074/stat : 28074 (java) R 28071 28071 13977 0 -1 4202560 10540 0 0 0 370 4 0 0 20 0 15 0 105129987 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736778105984 139736379343133 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28075] ppid=28071 vsize=13980732 memory=354 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28075/stat : 28075 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736708303888 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28076] ppid=28071 vsize=13980732 memory=107552 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28076/stat : 28076 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736707251344 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28077] ppid=28071 vsize=13980732 memory=281 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28077/stat : 28077 (java) S 28071 28071 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736706198288 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28078] ppid=28071 vsize=13980732 memory=279415003791520 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28078/stat : 28078 (java) S 28071 28071 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105129988 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736705145744 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28079] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28079/stat : 28079 (java) S 28071 28071 13977 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736252004592 139736773880450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28080] ppid=28071 vsize=13980732 memory=56612 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28080/stat : 28080 (java) S 28071 28071 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105129989 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736250950816 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28081] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28081/stat : 28081 (java) S 28071 28071 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105129990 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736249897712 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28082] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28082/stat : 28082 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736248846288 139736773887899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28083] ppid=28071 vsize=13980732 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/28073/task/28083/stat : 28083 (java) S 28071 28071 13977 0 -1 1077944384 13283 0 0 0 176 2 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736247794416 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28084] ppid=28071 vsize=13980732 memory=0 CPUtime=1.74 cores=1,3,5,7
/proc/28073/task/28084/stat : 28084 (java) S 28071 28071 13977 0 -1 1077944384 13651 0 0 0 172 2 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736246741872 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28085] ppid=28071 vsize=13980732 memory=164 CPUtime=0.48 cores=1,3,5,7
/proc/28073/task/28085/stat : 28085 (java) S 28071 28071 13977 0 -1 1077944384 2727 0 0 0 47 1 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736245688816 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28086] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28086/stat : 28086 (java) S 28071 28071 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105129992 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736244636512 139736773879509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
[pid=28073/tid=28087] ppid=28071 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28073/task/28087/stat : 28087 (java) S 28071 28071 13977 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 105129998 14316269568 27310 18446744073709551615 4194304 4196468 140732323700880 139736243583536 139736773880450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26066944 140732323709361 140732323709537 140732323709537 140732323712975 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 110620 KiB
Child status: 0
Real time (s): 3.90883
CPU time (s): 7.78587
CPU user time (s): 7.67418
CPU system time (s): 0.111688
CPU usage (%): 199.187
Max. virtual memory (cumulated for all children) (KiB): 13993748
Max. memory (cumulated for all children) (KiB): 111828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.67418
system time used= 0.111688
maximum resident set size= 110652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2158
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 28071
# total CPU time (s): 7.78587
# total CPU user time (s): 7.67418
# total CPU system time (s): 0.111688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051941 second user time and 0.070249 second system time
The end