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 (10243 MiB free)
  memory of node 1: 16384 MiB (4163 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306954-1534068613/watcher-4306954-1534068613 -o /tmp/evaluation-result-4306954-1534068613/solver-4306954-1534068613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31242 --watchdog 2580 HOME/xcsp3-exec -seed 236235346 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306954-1534068613.xml 

running on 4 cores: 0,2,4,6

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=31953, runsolver pid=31950


[startup+0.110082 s]*
/proc/loadavg: 2.05 2.01 1.88 3/217 31969
/proc/meminfo: memFree=14735716/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14082940 memory=29560 CPUtime=0.13 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 5703 0 0 0 12 1 0 0 20 0 15 0 224424516 14420930560 7390 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3520735 7390 3052 1 0 3483012 0
[pid=31955/tid=31956] ppid=31953 vsize=14082940 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 3634 0 0 0 9 1 0 0 20 0 15 0 224424517 14420930560 7390 33554432000 4194304 4196468 140734600861664 139862063418144 139862059195798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14082940 memory=140474748892800 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14082940 memory=140474748892800 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424519 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224424519 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 224424520 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) R 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861528201840 139862059195010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14082940 memory=140474748892800 CPUtime=0.02 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) R 31953 31953 31211 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 224424522 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861527149296 139862043352069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14082940 memory=140474748892800 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 7390 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31016 KiB

[startup+0.214558 s]*
/proc/loadavg: 2.05 2.01 1.88 4/217 31969
/proc/meminfo: memFree=14721604/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14082940 memory=41500 CPUtime=0.34 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 8347 0 0 0 32 2 0 0 20 0 15 0 224424516 14420930560 10375 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3520735 10375 3231 1 0 3483012 0
[pid=31955/tid=31956] ppid=31953 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 5462 0 0 0 19 1 0 0 20 0 15 0 224424517 14420930560 10375 33554432000 4194304 4196468 140734600861664 139862063418848 139862043264350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14082940 memory=10537 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14082940 memory=288370850900604544 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14082940 memory=140474748892800 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224424519 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224424519 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 224424520 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 224424522 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) S 31953 31953 31211 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 224424522 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861528201840 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14082940 memory=140474748892800 CPUtime=0.08 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) S 31953 31953 31211 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 224424522 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861527149296 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424522 14420930560 10375 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42956 KiB

[startup+0.310502 s]*
/proc/loadavg: 2.05 2.01 1.88 5/217 31969
/proc/meminfo: memFree=14715960/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14087196 memory=48348 CPUtime=0.52 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 9189 0 0 0 50 2 0 0 20 0 15 0 224424516 14425288704 12087 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3521799 12087 3271 1 0 3483012 0
[pid=31955/tid=31956] ppid=31953 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 6128 0 0 0 28 2 0 0 20 0 15 0 224424517 14425288704 12087 33554432000 4194304 4196468 140734600861664 139862063421152 139862043264350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224424519 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224424519 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 224424520 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 470 0 0 0 4 0 0 0 20 0 15 0 224424522 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) R 31953 31953 31211 0 -1 4202560 412 0 0 0 5 0 0 0 20 0 15 0 224424522 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861528201840 139862036778656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) S 31953 31953 31211 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 224424522 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861527149296 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424522 14425288704 12087 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49804 KiB

[startup+0.70112 s]
/proc/loadavg: 2.05 2.01 1.88 5/217 31969
/proc/meminfo: memFree=14672884/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14089320 memory=123428 CPUtime=1.83 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 14325 0 0 0 178 5 0 0 20 0 15 0 224424516 14427463680 30857 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3522330 30857 3359 1 0 3483524 0
[pid=31955/tid=31956] ppid=31953 vsize=14089320 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 6919 0 0 0 63 3 0 0 20 0 15 0 224424517 14427463680 30857 33554432000 4194304 4196468 140734600861664 139862063421232 139861669283054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14089320 memory=288230583149275406 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14089320 memory=15261432669297800 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 224424520 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14089320 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) R 31953 31953 31211 0 -1 4202560 1912 0 0 0 39 0 0 0 20 0 15 0 224424522 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861529235400 139862036778646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14089320 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) R 31953 31953 31211 0 -1 4202560 1660 0 0 0 40 0 0 0 20 0 15 0 224424522 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861528182856 139862042680651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14089320 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) R 31953 31953 31211 0 -1 4202560 2522 0 0 0 34 0 0 0 20 0 15 0 224424522 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861527146232 139862038139489 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14089320 memory=3909793324959885934 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14089320 memory=7813854640613709926 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 30857 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 124884 KiB

[startup+1.50085 s]
/proc/loadavg: 2.05 2.01 1.88 4/217 31969
/proc/meminfo: memFree=14607536/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0

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

/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14089320 memory=217540 CPUtime=17.47 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 30983 0 0 0 1738 9 0 0 20 0 15 0 224424516 14427463680 54385 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3522330 54385 3411 1 0 3483524 0
[pid=31955/tid=31956] ppid=31953 vsize=14089320 memory=6943526294502006880 CPUtime=13.54 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 8464 0 0 0 1350 4 0 0 20 0 15 0 224424517 14427463680 54385 33554432000 4194304 4196468 140734600861664 139862063420768 139861672886252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14089320 memory=288288891675624006 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14089320 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14089320 memory=-7175204567652784766 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14089320 memory=7100839861465685612 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14089320 memory=2319529690969348576 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14089320 memory=2724 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14089320 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 224424520 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14089320 memory=10464 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14089320 memory=1700 CPUtime=1.81 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 10006 0 0 0 181 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14089320 memory=1168 CPUtime=1.46 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) S 31953 31953 31211 0 -1 1077944384 4406 0 0 0 146 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861528201840 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14089320 memory=1808 CPUtime=0.54 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) S 31953 31953 31211 0 -1 1077944384 5324 0 0 0 53 1 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861527149296 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14089320 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14089320 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 17.47 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 218996 KiB

[startup+14.4008 s]
/proc/loadavg: 2.04 2.01 1.89 3/217 31969
/proc/meminfo: memFree=14448088/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14089320 memory=217540 CPUtime=18.27 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 31002 0 0 0 1818 9 0 0 20 0 15 0 224424516 14427463680 54385 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3522330 54385 3411 1 0 3483524 0
[pid=31955/tid=31956] ppid=31953 vsize=14089320 memory=6943526294502006880 CPUtime=14.34 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 8482 0 0 0 1430 4 0 0 20 0 15 0 224424517 14427463680 54385 33554432000 4194304 4196468 140734600861664 139862063420768 139861672887067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14089320 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14089320 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14089320 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14089320 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14089320 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14089320 memory=2096 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 224424520 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14089320 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14089320 memory=924 CPUtime=1.81 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 10006 0 0 0 181 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14089320 memory=1992 CPUtime=1.46 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) S 31953 31953 31211 0 -1 1077944384 4406 0 0 0 146 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861528201840 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14089320 memory=2236 CPUtime=0.54 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) S 31953 31953 31211 0 -1 1077944384 5325 0 0 0 53 1 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861527149296 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14089320 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14089320 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 18.27 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 218996 KiB

[startup+14.6008 s]
/proc/loadavg: 2.04 2.01 1.89 3/217 31969
/proc/meminfo: memFree=14448088/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14089320 memory=217540 CPUtime=18.47 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 31002 0 0 0 1838 9 0 0 20 0 15 0 224424516 14427463680 54385 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3522330 54385 3411 1 0 3483524 0
[pid=31955/tid=31956] ppid=31953 vsize=14089320 memory=1168 CPUtime=14.54 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 8482 0 0 0 1450 4 0 0 20 0 15 0 224424517 14427463680 54385 33554432000 4194304 4196468 140734600861664 139862063420768 139861672886833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14089320 memory=1808 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14089320 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14089320 memory=5776 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14089320 memory=756 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14089320 memory=14568 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14089320 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14089320 memory=8514726395715219349 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 224424520 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14089320 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14089320 memory=-5587106306044206369 CPUtime=1.81 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 10006 0 0 0 181 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14089320 memory=288292185898769567 CPUtime=1.46 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) S 31953 31953 31211 0 -1 1077944384 4406 0 0 0 146 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861528201840 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14089320 memory=1456 CPUtime=0.54 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) S 31953 31953 31211 0 -1 1077944384 5325 0 0 0 53 1 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861527149296 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14089320 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 18.47 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 218996 KiB

[startup+14.7008 s]
/proc/loadavg: 2.04 2.01 1.89 3/217 31969
/proc/meminfo: memFree=14448088/32770624 swapFree=67108844/67108860
[pid=31953] ppid=31950 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (xcsp3-exec) S 31950 31953 31211 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 224424516 115843072 364 33554432000 4194304 5098028 140722033944192 140722033942296 139638631080572 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20508672 140722033947707 140722033947908 140722033947908 140722033950666 0
/proc/31953/statm: 28282 364 306 221 0 87 0
[pid=31955] ppid=31953 vsize=14089320 memory=217540 CPUtime=18.57 cores=0,2,4,6
/proc/31955/stat : 31955 (java) S 31953 31953 31211 0 -1 1077944320 31026 0 0 0 1848 9 0 0 20 0 15 0 224424516 14427463680 54385 33554432000 4194304 4196468 140734600861664 140734600844208 139862059183863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
/proc/31955/statm: 3522330 54385 3411 1 0 3483524 0
[pid=31955/tid=31956] ppid=31953 vsize=14089320 memory=1456 CPUtime=14.64 cores=0,2,4,6
/proc/31955/task/31956/stat : 31956 (java) R 31953 31953 31211 0 -1 4202560 8506 0 0 0 1460 4 0 0 20 0 15 0 224424517 14427463680 54385 33554432000 4194304 4196468 140734600861664 139862063420768 139861673017085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31957] ppid=31953 vsize=14089320 memory=217540 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31957/stat : 31957 (java) S 31953 31953 31211 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861989272336 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31958] ppid=31953 vsize=14089320 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31958/stat : 31958 (java) S 31953 31953 31211 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861988219792 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31959] ppid=31953 vsize=14089320 memory=60840 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31959/stat : 31959 (java) S 31953 31953 31211 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861987167248 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31960] ppid=31953 vsize=14089320 memory=1584 CPUtime=0.01 cores=0,2,4,6
/proc/31955/task/31960/stat : 31960 (java) S 31953 31953 31211 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 224424518 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861652323472 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31961] ppid=31953 vsize=14089320 memory=496 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31961/stat : 31961 (java) S 31953 31953 31211 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861533464560 139862059195010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31962] ppid=31953 vsize=14089320 memory=928 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31962/stat : 31962 (java) S 31953 31953 31211 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 224424519 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861532410784 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31963] ppid=31953 vsize=14089320 memory=280949245953504 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31963/stat : 31963 (java) S 31953 31953 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 224424520 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861531358192 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31964] ppid=31953 vsize=14089320 memory=7805167240199188370 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31964/stat : 31964 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861530306768 139862059202459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31965] ppid=31953 vsize=14089320 memory=7805167240199188370 CPUtime=1.81 cores=0,2,4,6
/proc/31955/task/31965/stat : 31965 (java) S 31953 31953 31211 0 -1 1077944384 10006 0 0 0 181 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861529254384 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31966] ppid=31953 vsize=14089320 memory=280949246652256 CPUtime=1.46 cores=0,2,4,6
/proc/31955/task/31966/stat : 31966 (java) S 31953 31953 31211 0 -1 1077944384 4406 0 0 0 146 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861528201840 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31967] ppid=31953 vsize=14089320 memory=4629771062077588875 CPUtime=0.54 cores=0,2,4,6
/proc/31955/task/31967/stat : 31967 (java) S 31953 31953 31211 0 -1 1077944384 5325 0 0 0 53 1 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861527149296 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31968] ppid=31953 vsize=14089320 memory=-3252517613198930781 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31968/stat : 31968 (java) S 31953 31953 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861526096992 139862059194069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
[pid=31955/tid=31969] ppid=31953 vsize=14089320 memory=-7175753904026764170 CPUtime=0 cores=0,2,4,6
/proc/31955/task/31969/stat : 31969 (java) S 31953 31953 31211 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 224424522 14427463680 54385 33554432000 4194304 4196468 140734600861664 139861525043504 139862059195010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13139968 140734600864902 140734600865073 140734600865073 140734600867791 0
Current children cumulated CPU time: 18.57 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 218996 KiB

Child status: 0
Real time (s): 14.773
CPU time (s): 18.6728
CPU user time (s): 18.5665
CPU system time (s): 0.106303
CPU usage (%): 126.398
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 222868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5665
system time used= 0.106303
maximum resident set size= 221412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32577
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= 2234
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 31953
#   total CPU time (s): 18.6728
#   total CPU user time (s): 18.5665
#   total CPU system time (s): 0.106303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.104762 second user time and 0.186442 second system time

The end