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 (11181 MiB free)
memory of node 1: 16384 MiB (9388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284450-1503213003/watcher-4284450-1503213003 -o /tmp/evaluation-result-4284450-1503213003/solver-4284450-1503213003 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1390314104 HOME/instance-4284450-1503213003.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=22730, runsolver pid=22727
Current StackSize limit: 8192 KiB
[startup+0.103213 s]*
/proc/loadavg: 2.13 1.94 1.83 4/217 22746
/proc/meminfo: memFree=21044440/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=13978596 memory=30644 CPUtime=0.12 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 5525 0 0 0 11 1 0 0 20 0 15 0 154387986 14314082304 7661 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3494649 7661 2865 1 0 3482966 0
[pid=22732/tid=22733] ppid=22730 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 3456 0 0 0 8 1 0 0 20 0 15 0 154387987 14314082304 7661 33554432000 4194304 4196468 140722123658160 139991636013952 139991631799453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387987 14314082304 7661 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=13978596 memory=139918100199040 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14314082304 7661 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14314082304 7661 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14314082304 7661 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=13978596 memory=139918100199040 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387989 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154387989 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990610220576 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154387989 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990609167728 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 154387992 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154387992 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=13978596 memory=139918100199040 CPUtime=0.01 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 154387992 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=13978596 memory=139918100199040 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387992 14314082304 7661 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 32028 KiB
[startup+0.210554 s]*
/proc/loadavg: 2.13 1.94 1.83 3/217 22746
/proc/meminfo: memFree=21032896/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=13982852 memory=42456 CPUtime=0.33 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 8196 0 0 0 30 3 0 0 20 0 15 0 154387986 14318440448 10614 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3495713 10614 3053 1 0 3482966 0
[pid=22732/tid=22733] ppid=22730 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) D 22730 22730 19988 0 -1 1077944384 5347 0 0 0 18 1 0 0 20 0 15 0 154387987 14318440448 10614 33554432000 4194304 4196468 140722123658160 139991635988320 139991624456749 0 4 0 16800975 18446744072101760548 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=13982852 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 10614 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=13982852 memory=139918100220453 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 10614 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 10614 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 10614 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=13982852 memory=139918100199040 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387989 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154387989 14318473216 10614 33554432000 4194304 4196468 140722123658160 139990610220576 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154387989 14318473216 10614 33554432000 4194304 4196468 140722123658160 139990609167728 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 154387992 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 154387992 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=13982852 memory=139918100199040 CPUtime=0.08 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 154387992 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387992 14318440448 10614 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43840 KiB
[startup+0.310512 s]*
/proc/loadavg: 2.13 1.94 1.83 4/217 22746
/proc/meminfo: memFree=21026072/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=13982852 memory=49604 CPUtime=0.51 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 9063 0 0 0 47 4 0 0 20 0 15 0 154387986 14318440448 12401 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3495713 12401 3127 1 0 3482966 0
[pid=22732/tid=22733] ppid=22730 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 6004 0 0 0 28 2 0 0 20 0 15 0 154387987 14318440448 12401 33554432000 4194304 4196468 140722123658160 139991636009920 139991631799453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 12401 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=13982852 memory=4051050782618046287 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 12401 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 12401 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14318440448 12401 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387989 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154387989 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990610220576 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154387989 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990609167728 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 154387992 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 15 0 154387992 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 853 0 0 0 13 0 0 0 20 0 15 0 154387992 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387992 14318440448 12401 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50988 KiB
[startup+0.700888 s]
/proc/loadavg: 2.13 1.94 1.83 6/217 22746
/proc/meminfo: memFree=21010076/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=13984976 memory=73832 CPUtime=1.55 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 12743 0 0 0 149 6 0 0 20 0 15 0 154387986 14320615424 18458 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3496244 18458 3216 1 0 3483478 0
[pid=22732/tid=22733] ppid=22730 vsize=13984976 memory=23616 CPUtime=0.67 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 6881 0 0 0 64 3 0 0 20 0 15 0 154387987 14320615424 18458 33554432000 4194304 4196468 140722123658160 139991636016000 139991254715829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154387987 14320615424 18458 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14320615424 18458 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14320615424 18458 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387987 14320615424 18458 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154387989 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154387989 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990610220576 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154387989 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990609167728 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=13984976 memory=4124 CPUtime=0.25 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) R 22730 22730 19988 0 -1 4202560 1498 0 0 0 25 0 0 0 20 0 15 0 154387992 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990607054736 139991615261004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=13984976 memory=2200 CPUtime=0.24 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) R 22730 22730 19988 0 -1 4202560 1415 0 0 0 24 0 0 0 20 0 15 0 154387992 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990605996088 139991613321731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=13984976 memory=7528 CPUtime=0.34 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 1642 0 0 0 34 0 0 0 20 0 15 0 154387992 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154387992 14320615424 18458 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75216 KiB
[startup+1.50085 s]
/proc/loadavg: 2.13 1.94 1.83 5/217 22746
/proc/meminfo: memFree=20992648/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=14119200 memory=365796 CPUtime=90.13 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 130491 0 0 0 8983 30 0 0 20 0 15 0 154387986 14458060800 91449 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3529800 91449 3269 1 0 3517034 0
[pid=22732/tid=22733] ppid=22730 vsize=14119200 memory=6791534058613427641 CPUtime=68.48 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 12971 0 0 0 6842 6 0 0 20 0 15 0 154387987 14458060800 91449 33554432000 4194304 4196468 140722123658160 139991636016784 139991263803676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=14119200 memory=7528 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 436 0 0 0 20 1 0 0 20 0 15 0 154387987 14458060800 91449 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=14119200 memory=840 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 363 0 0 0 19 2 0 0 20 0 15 0 154387987 14458060800 91449 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=14119200 memory=1696 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 549 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91449 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=14119200 memory=916 CPUtime=0.2 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1185 0 0 0 19 1 0 0 20 0 15 0 154387987 14458060800 91449 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=14119200 memory=3832 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 1113 0 0 0 3 0 0 0 20 0 15 0 154387989 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=14119200 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990610220640 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=14119200 memory=42808 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990609167744 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=14119200 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=14119200 memory=2428 CPUtime=9.91 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 48554 0 0 0 985 6 0 0 20 0 15 0 154387992 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=14119200 memory=1732 CPUtime=9.88 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 53186 0 0 0 983 5 0 0 20 0 15 0 154387992 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=14119200 memory=1944 CPUtime=0.87 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 9947 0 0 0 85 2 0 0 20 0 15 0 154387992 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=14119200 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=14119200 memory=1228 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 830 0 0 0 2 1 0 0 20 0 15 0 154387992 14458060800 91449 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 90.13 s
Current children cumulated vsize: 14128712 KiB
Current children cumulated memory: 367180 KiB
[startup+69.2008 s]
/proc/loadavg: 2.06 1.98 1.85 3/217 22747
/proc/meminfo: memFree=20512240/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=14119200 memory=366984 CPUtime=90.54 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 130503 0 0 0 9024 30 0 0 20 0 15 0 154387986 14458060800 91746 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3529800 91746 3269 1 0 3517034 0
[pid=22732/tid=22733] ppid=22730 vsize=14119200 memory=0 CPUtime=68.87 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 12973 0 0 0 6881 6 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991636016896 139991261868231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=14119200 memory=-3472574513799858008 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 438 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=14119200 memory=6656426216303648864 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 365 0 0 0 19 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=14119200 memory=6944656592387989600 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 551 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=14119200 memory=6944656592455097440 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1189 0 0 0 20 1 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=14119200 memory=-4866522518848036719 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 1113 0 0 0 3 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=14119200 memory=6947191997667435362 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990610220640 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=14119200 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990609167744 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=14119200 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=14119200 memory=8996927262889440810 CPUtime=9.91 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 48554 0 0 0 985 6 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=14119200 memory=-6006810987879251909 CPUtime=9.88 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 53186 0 0 0 983 5 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=14119200 memory=367840 CPUtime=0.87 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 9947 0 0 0 85 2 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=14119200 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=14119200 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 830 0 0 0 2 1 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 90.54 s
Current children cumulated vsize: 14128712 KiB
Current children cumulated memory: 368368 KiB
[startup+69.4008 s]
/proc/loadavg: 2.06 1.98 1.85 3/217 22747
/proc/meminfo: memFree=20512240/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=14119200 memory=366984 CPUtime=90.74 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 130737 0 0 0 9044 30 0 0 20 0 15 0 154387986 14458060800 91746 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3529800 91746 3269 1 0 3517034 0
[pid=22732/tid=22733] ppid=22730 vsize=14119200 memory=2428 CPUtime=69.07 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 13119 0 0 0 6901 6 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991636016896 139991262192638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=14119200 memory=1732 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 438 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=14119200 memory=1944 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 365 0 0 0 19 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=14119200 memory=1700 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 551 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=14119200 memory=1228 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1189 0 0 0 20 1 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=14119200 memory=5428 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 1113 0 0 0 3 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=14119200 memory=4624 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990610220640 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=14119200 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990609167744 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=14119200 memory=13160 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=14119200 memory=792 CPUtime=9.91 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 48554 0 0 0 985 6 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=14119200 memory=1008 CPUtime=9.88 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 53186 0 0 0 983 5 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=14119200 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 10035 0 0 0 85 2 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=14119200 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=14119200 memory=14199161883310 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 830 0 0 0 2 1 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 90.74 s
Current children cumulated vsize: 14128712 KiB
Current children cumulated memory: 368368 KiB
[startup+69.5008 s]
/proc/loadavg: 2.06 1.98 1.85 3/217 22747
/proc/meminfo: memFree=20512240/32770624 swapFree=67108860/67108860
[pid=22730] ppid=22727 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22730/stat : 22730 (xcsp3-exec) S 22727 22730 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154387986 9740288 346 33554432000 4194304 5098028 140735891736224 140735891734328 140190613291644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16388096 140735891743860 140735891744064 140735891744064 140735891746795 0
/proc/22730/statm: 2378 346 289 221 0 87 0
[pid=22732] ppid=22730 vsize=14119200 memory=366984 CPUtime=90.84 cores=1,3,5,7
/proc/22732/stat : 22732 (java) S 22730 22730 19988 0 -1 1077944320 130737 0 0 0 9054 30 0 0 20 0 15 0 154387986 14458060800 91746 33554432000 4194304 4196468 140722123658160 140722123640704 139991631777527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
/proc/22732/statm: 3529800 91746 3269 1 0 3517034 0
[pid=22732/tid=22733] ppid=22730 vsize=14119200 memory=365796 CPUtime=69.17 cores=1,3,5,7
/proc/22732/task/22733/stat : 22733 (java) R 22730 22730 19988 0 -1 4202560 13119 0 0 0 6911 6 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991636016896 139991261336627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22734] ppid=22730 vsize=14119200 memory=365800 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22734/stat : 22734 (java) S 22730 22730 19988 0 -1 1077944384 438 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991584397968 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22735] ppid=22730 vsize=14119200 memory=365796 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22735/stat : 22735 (java) S 22730 22730 19988 0 -1 1077944384 365 0 0 0 19 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991583345168 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22736] ppid=22730 vsize=14119200 memory=365796 CPUtime=0.22 cores=1,3,5,7
/proc/22732/task/22736/stat : 22736 (java) S 22730 22730 19988 0 -1 1077944384 551 0 0 0 20 2 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991582292368 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22737] ppid=22730 vsize=14119200 memory=1384 CPUtime=0.21 cores=1,3,5,7
/proc/22732/task/22737/stat : 22737 (java) S 22730 22730 19988 0 -1 1077944384 1189 0 0 0 20 1 0 0 20 0 15 0 154387987 14458060800 91746 33554432000 4194304 4196468 140722123658160 139991581239568 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22738] ppid=22730 vsize=14119200 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22738/stat : 22738 (java) S 22730 22730 19988 0 -1 1077944384 1113 0 0 0 3 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990611274608 139991631788674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22739] ppid=22730 vsize=14119200 memory=366832 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22739/stat : 22739 (java) S 22730 22730 19988 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990610220640 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22740] ppid=22730 vsize=14119200 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22740/stat : 22740 (java) S 22730 22730 19988 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154387989 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990609167744 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22741] ppid=22730 vsize=14119200 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22741/stat : 22741 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990608116048 139991631796123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22742] ppid=22730 vsize=14119200 memory=4140 CPUtime=9.91 cores=1,3,5,7
/proc/22732/task/22742/stat : 22742 (java) S 22730 22730 19988 0 -1 1077944384 48554 0 0 0 985 6 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990607063408 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22743] ppid=22730 vsize=14119200 memory=1696 CPUtime=9.88 cores=1,3,5,7
/proc/22732/task/22743/stat : 22743 (java) S 22730 22730 19988 0 -1 1077944384 53186 0 0 0 983 5 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990606010608 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22744] ppid=22730 vsize=14119200 memory=916 CPUtime=0.87 cores=1,3,5,7
/proc/22732/task/22744/stat : 22744 (java) S 22730 22730 19988 0 -1 1077944384 10035 0 0 0 85 2 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990604957808 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22745] ppid=22730 vsize=14119200 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22732/task/22745/stat : 22745 (java) S 22730 22730 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990603905248 139991631787733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
[pid=22732/tid=22746] ppid=22730 vsize=14119200 memory=7594874800718506854 CPUtime=0.03 cores=1,3,5,7
/proc/22732/task/22746/stat : 22746 (java) S 22730 22730 19988 0 -1 1077944384 830 0 0 0 2 1 0 0 20 0 15 0 154387992 14458060800 91746 33554432000 4194304 4196468 140722123658160 139990602853552 139991631788674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 29773824 140722123662493 140722123662668 140722123662668 140722123665359 0
Current children cumulated CPU time: 90.84 s
Current children cumulated vsize: 14128712 KiB
Current children cumulated memory: 368368 KiB
Child status: 0
Real time (s): 69.5554
CPU time (s): 90.9126
CPU user time (s): 90.5901
CPU system time (s): 0.322459
CPU usage (%): 130.705
Max. virtual memory (cumulated for all children) (KiB): 14134348
Max. memory (cumulated for all children) (KiB): 381968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.5901
system time used= 0.322459
maximum resident set size= 380584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5730
involuntary context switches= 171
# summary of solver processes directly reported to runsolver:
# pid: 22730
# total CPU time (s): 90.9126
# total CPU user time (s): 90.5901
# total CPU system time (s): 0.322459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46244 second user time and 0.714445 second system time
The end