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 (14318 MiB free)
memory of node 1: 16384 MiB (15361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272687-1502717940/watcher-4272687-1502717940 -o /tmp/evaluation-result-4272687-1502717940/solver-4272687-1502717940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 192732715 HOME/instance-4272687-1502717940.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20043, runsolver pid=20040
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.52 1.39 1.41 3/204 20051
/proc/meminfo: memFree=30385768/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13574484 memory=16668 CPUtime=0.02 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 4032 0 0 0 2 0 0 0 20 0 9 0 74014655 13900271616 4167 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3393621 4167 2082 1 0 3383118 0
[pid=20045/tid=20046] ppid=20043 vsize=13574484 memory=7311146985107750967 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 2738 0 0 0 2 0 0 0 20 0 9 0 74014655 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181684990568 140181680776349 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13574484 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74014656 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13574484 memory=139930777489607 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74014656 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74014656 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 74014656 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13574484 memory=139930777470592 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 74014657 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 74014658 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181225354912 140181680764629 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 74014658 13900271616 4233 18446744073709551615 4194304 4196468 140721136266608 140181224301872 140181680764629 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18044 KiB
[startup+0.209749 s]*
/proc/loadavg: 1.52 1.39 1.41 4/212 20059
/proc/meminfo: memFree=30373372/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13974352 memory=30256 CPUtime=0.13 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 5526 0 0 0 12 1 0 0 20 0 15 0 74014655 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3493588 7564 2842 1 0 3482964 0
[pid=20045/tid=20046] ppid=20043 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 3462 0 0 0 9 0 0 0 20 0 15 0 74014655 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181684982672 140181680766358 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014656 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13974352 memory=139930777489607 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014656 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014656 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014656 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13974352 memory=139930777470592 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014657 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74014658 14309736448 7564 18446744073709551615 4194304 4196468 140721136266608 140181225354912 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74014658 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140181224301808 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) R 20043 20043 897 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 74014661 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140180660148464 140181680765570 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) S 20043 20043 897 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 74014661 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140180659095920 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13974352 memory=139930777470592 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 74014661 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13974352 memory=139930777470592 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014664 14309736448 7630 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31632 KiB
[startup+0.311866 s]*
/proc/loadavg: 1.52 1.39 1.41 3/212 20059
/proc/meminfo: memFree=30361020/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13978608 memory=42260 CPUtime=0.33 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 9322 0 0 0 30 3 0 0 20 0 15 0 74014655 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3494652 10565 3000 1 0 3482964 0
[pid=20045/tid=20046] ppid=20043 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 6390 0 0 0 18 2 0 0 20 0 15 0 74014655 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140181684975416 140181673432437 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014656 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014656 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014656 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014656 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014657 14314094592 10565 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74014658 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140181225354912 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74014658 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140181224301808 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) S 20043 20043 897 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 74014661 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140180660148464 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) S 20043 20043 897 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 15 0 74014661 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140180659095920 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 742 0 0 0 7 0 0 0 20 0 15 0 74014661 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014664 14314094592 10621 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 43636 KiB
[startup+0.701193 s]
/proc/loadavg: 1.52 1.39 1.41 5/212 20059
/proc/meminfo: memFree=30341064/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13980732 memory=191216 CPUtime=1.41 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 15428 0 0 0 134 7 0 0 20 0 15 0 74014655 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3495183 47804 3172 1 0 3483476 0
[pid=20045/tid=20046] ppid=20043 vsize=13980732 memory=6935649255759568960 CPUtime=0.56 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 8039 0 0 0 52 4 0 0 20 0 15 0 74014655 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181684993680 140181309697767 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74014656 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014656 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 74014656 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74014656 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 74014657 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74014658 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181225354912 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 74014658 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140181224301808 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) R 20043 20043 897 0 -1 4202560 1724 0 0 0 24 0 0 0 20 0 15 0 74014661 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140180660138576 140181661390329 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13980732 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) R 20043 20043 897 0 -1 4202560 2099 0 0 0 23 0 0 0 20 0 15 0 74014661 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140180659081800 140181662275823 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13980732 memory=2529 CPUtime=0.33 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 2218 0 0 0 33 0 0 0 20 0 15 0 74014661 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74014664 14316269568 47804 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 192592 KiB
[startup+1.50127 s]
/proc/loadavg: 1.52 1.39 1.41 5/212 20059
/proc/meminfo: memFree=30210068/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13982780 memory=212168 CPUtime=3.94 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 17745 0 0 0 385 9 0 0 20 0 15 0 74014655 14318366720 53042 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3495695 53042 3223 1 0 3483988 0
[pid=20045/tid=20046] ppid=20043 vsize=13982780 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 9007 0 0 0 129 5 0 0 20 0 15 0 74014655 14318366720 53042 18446744073709551615 4194304 4196468 140721136266608 140181684991168 140181314217006 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13982780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 74014656 14318366720 53042 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13982780 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 74014656 14318366720 53042 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13982780 memory=191216 CPUtime=0.01 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 74014656 14318366720 53042 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13982780 memory=172245368478886 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13982780 memory=768760 CPUtime=103.84 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 69860 0 0 0 10317 67 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3495695 192190 3242 1 0 3483988 0
[pid=20045/tid=20046] ppid=20043 vsize=13982780 memory=768760 CPUtime=92.28 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 17585 0 0 0 9217 11 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181684993760 140181316658578 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13982780 memory=1292 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 665 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13982780 memory=1376 CPUtime=0.33 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1470 0 0 0 22 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13982780 memory=765672 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1046 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13982780 memory=952 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 559 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13982780 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 1489 0 0 0 2 0 0 0 20 0 15 0 74014657 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13982780 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181225354976 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13982780 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181224301824 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13982780 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13982780 memory=-8774313645642428999 CPUtime=4.42 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) S 20043 20043 897 0 -1 1077944384 17614 0 0 0 440 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180660148464 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13982780 memory=10996 CPUtime=4.52 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) S 20043 20043 897 0 -1 1077944384 16760 0 0 0 450 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180659095920 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13982780 memory=1200 CPUtime=1.12 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 10425 0 0 0 110 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13982780 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13982780 memory=-8774313645642428999 CPUtime=0.05 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 948 0 0 0 2 3 0 0 20 0 15 0 74014664 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 103.84 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 770136 KiB
[startup+93.6008 s]
/proc/loadavg: 1.38 1.38 1.41 3/211 20063
/proc/meminfo: memFree=29623876/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13982780 memory=768760 CPUtime=104.64 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 69861 0 0 0 10397 67 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3495695 192190 3242 1 0 3483988 0
[pid=20045/tid=20046] ppid=20043 vsize=13982780 memory=1292 CPUtime=93.08 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 17586 0 0 0 9297 11 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181684993760 140181317594096 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13982780 memory=2316 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 665 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13982780 memory=1728 CPUtime=0.33 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1470 0 0 0 22 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13982780 memory=1228 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1046 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13982780 memory=796 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 559 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13982780 memory=5788 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 1489 0 0 0 2 0 0 0 20 0 15 0 74014657 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13982780 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181225354976 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13982780 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181224301824 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13982780 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13982780 memory=10164 CPUtime=4.42 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) S 20043 20043 897 0 -1 1077944384 17614 0 0 0 440 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180660148464 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13982780 memory=1440 CPUtime=4.52 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) S 20043 20043 897 0 -1 1077944384 16760 0 0 0 450 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180659095920 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13982780 memory=2000 CPUtime=1.12 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 10425 0 0 0 110 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13982780 memory=10996 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13982780 memory=1200 CPUtime=0.05 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 948 0 0 0 2 3 0 0 20 0 15 0 74014664 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 104.64 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 770136 KiB
[startup+94.4008 s]
/proc/loadavg: 1.38 1.38 1.41 3/211 20063
/proc/meminfo: memFree=29623876/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13982780 memory=768760 CPUtime=105.44 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 69863 0 0 0 10477 67 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3495695 192190 3242 1 0 3483988 0
[pid=20045/tid=20046] ppid=20043 vsize=13982780 memory=1376 CPUtime=93.88 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 17588 0 0 0 9377 11 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181684993760 140181315398702 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13982780 memory=1376 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 665 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13982780 memory=-8774313645642428999 CPUtime=0.33 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1470 0 0 0 22 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13982780 memory=840 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1046 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13982780 memory=16436 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 559 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13982780 memory=2752 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 1489 0 0 0 2 0 0 0 20 0 15 0 74014657 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13982780 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181225354976 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13982780 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181224301824 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13982780 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13982780 memory=796 CPUtime=4.42 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) S 20043 20043 897 0 -1 1077944384 17614 0 0 0 440 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180660148464 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13982780 memory=5788 CPUtime=4.52 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) S 20043 20043 897 0 -1 1077944384 16760 0 0 0 450 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180659095920 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13982780 memory=1376 CPUtime=1.12 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 10425 0 0 0 110 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13982780 memory=768760 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13982780 memory=4044 CPUtime=0.05 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 948 0 0 0 2 3 0 0 20 0 15 0 74014664 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 105.44 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 770136 KiB
[startup+94.8008 s]
/proc/loadavg: 1.38 1.38 1.41 3/211 20063
/proc/meminfo: memFree=29623876/32770624 swapFree=67108860/67108860
[pid=20043] ppid=20040 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20043/stat : 20043 (xcsp3-exec) S 20040 20043 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 74014648 9740288 344 18446744073709551615 4194304 5098028 140735090912240 140735090910344 140572326810236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 35069952 140735090913657 140735090913861 140735090913861 140735090917355 0
/proc/20043/statm: 2378 344 289 221 0 87 0
[pid=20045] ppid=20043 vsize=13982780 memory=768760 CPUtime=105.84 cores=1,3,5,7
/proc/20045/stat : 20045 (java) S 20043 20043 897 0 -1 1077944320 69896 0 0 0 10517 67 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140721136249152 140181680754423 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
/proc/20045/statm: 3495695 192190 3242 1 0 3483988 0
[pid=20045/tid=20046] ppid=20043 vsize=13982780 memory=960 CPUtime=94.28 cores=1,3,5,7
/proc/20045/task/20046/stat : 20046 (java) R 20043 20043 897 0 -1 4202560 17590 0 0 0 9417 11 0 0 20 0 15 0 74014655 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181684993760 140181316462891 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20047] ppid=20043 vsize=13982780 memory=1240 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20047/stat : 20047 (java) S 20043 20043 897 0 -1 1077944384 665 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181637720592 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20048] ppid=20043 vsize=13982780 memory=2248 CPUtime=0.33 cores=1,3,5,7
/proc/20045/task/20048/stat : 20048 (java) S 20043 20043 897 0 -1 1077944384 1470 0 0 0 22 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181636668048 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20049] ppid=20043 vsize=13982780 memory=4304 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20049/stat : 20049 (java) S 20043 20043 897 0 -1 1077944384 1046 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181635614992 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20050] ppid=20043 vsize=13982780 memory=1624 CPUtime=0.34 cores=1,3,5,7
/proc/20045/task/20050/stat : 20050 (java) S 20043 20043 897 0 -1 1077944384 559 0 0 0 23 11 0 0 20 0 15 0 74014656 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181634562448 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20051] ppid=20043 vsize=13982780 memory=928 CPUtime=0.02 cores=1,3,5,7
/proc/20045/task/20051/stat : 20051 (java) S 20043 20043 897 0 -1 1077944384 1489 0 0 0 2 0 0 0 20 0 15 0 74014657 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181226408688 140181680765570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20052] ppid=20043 vsize=13982780 memory=960 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20052/stat : 20052 (java) S 20043 20043 897 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181225354976 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20053] ppid=20043 vsize=13982780 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20053/stat : 20053 (java) S 20043 20043 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74014658 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140181224301824 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20054] ppid=20043 vsize=13982780 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20054/stat : 20054 (java) S 20043 20043 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180661201360 140181680773019 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20055] ppid=20043 vsize=13982780 memory=4304 CPUtime=4.42 cores=1,3,5,7
/proc/20045/task/20055/stat : 20055 (java) S 20043 20043 897 0 -1 1077944384 17614 0 0 0 440 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180660148464 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20056] ppid=20043 vsize=13982780 memory=1624 CPUtime=4.52 cores=1,3,5,7
/proc/20045/task/20056/stat : 20056 (java) S 20043 20043 897 0 -1 1077944384 16760 0 0 0 450 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180659095920 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20057] ppid=20043 vsize=13982780 memory=928 CPUtime=1.12 cores=1,3,5,7
/proc/20045/task/20057/stat : 20057 (java) S 20043 20043 897 0 -1 1077944384 10456 0 0 0 110 2 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180658042864 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20058] ppid=20043 vsize=13982780 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/20045/task/20058/stat : 20058 (java) S 20043 20043 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74014661 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180656990560 140181680764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
[pid=20045/tid=20059] ppid=20043 vsize=13982780 memory=840 CPUtime=0.05 cores=1,3,5,7
/proc/20045/task/20059/stat : 20059 (java) S 20043 20043 897 0 -1 1077944384 948 0 0 0 2 3 0 0 20 0 15 0 74014664 14318366720 192190 18446744073709551615 4194304 4196468 140721136266608 140180655938608 140181680765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35344384 140721136271793 140721136271969 140721136271969 140721136275407 0
Current children cumulated CPU time: 105.84 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 770136 KiB
Child status: 0
Real time (s): 94.8455
CPU time (s): 105.905
CPU user time (s): 105.22
CPU system time (s): 0.684828
CPU usage (%): 111.661
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 781352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.22
system time used= 0.684828
maximum resident set size= 788256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5858
involuntary context switches= 142
# summary of solver processes directly reported to runsolver:
# pid: 20043
# total CPU time (s): 105.905
# total CPU user time (s): 105.22
# total CPU system time (s): 0.684828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.631262 second user time and 0.925965 second system time
The end