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 (11025 MiB free)
memory of node 1: 16384 MiB (11574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292410-1532349465/watcher-4292410-1532349465 -o /tmp/evaluation-result-4292410-1532349465/solver-4292410-1532349465 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11338 --watchdog 2560 HOME/xcsp3-exec -seed 78727637 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292410-1532349465.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14531, runsolver pid=14528
[startup+0.100177 s]*
/proc/loadavg: 1.88 1.85 1.85 3/217 14547
/proc/meminfo: memFree=23126032/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14082840 memory=28356 CPUtime=0.11 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 5459 0 0 0 11 0 0 0 20 0 15 0 52509714 14420828160 7089 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3520710 7089 2988 1 0 3483008 0
[pid=14533/tid=14534] ppid=14531 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 15 0 52509715 14420828160 7089 33554432000 4194304 4196468 140736870117328 140454443905584 140454439693718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14082840 memory=3472468414998754512 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14420828160 7089 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14082840 memory=140286103602816 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14420828160 7089 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14420828160 7089 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14420828160 7089 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509717 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52509717 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453912737440 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52509718 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 52509720 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 52509720 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14082840 memory=140286103602816 CPUtime=0.01 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) R 14531 14531 11307 0 -1 4202560 244 0 0 0 1 0 0 0 20 0 15 0 52509720 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453907474416 140454423762270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14082840 memory=140286103602816 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509721 14420828160 7089 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29808 KiB
[startup+0.210673 s]*
/proc/loadavg: 1.88 1.85 1.85 5/217 14547
/proc/meminfo: memFree=23114496/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14082840 memory=40764 CPUtime=0.34 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 8275 0 0 0 32 2 0 0 20 0 15 0 52509714 14420828160 10191 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3520710 10191 3172 1 0 3483008 0
[pid=14533/tid=14534] ppid=14531 vsize=14084956 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) D 14531 14531 11307 0 -1 1077944384 5406 0 0 0 19 1 0 0 20 0 15 0 52509715 14422994944 10245 33554432000 4194304 4196468 140736870117328 140454443902776 140454441957063 0 4 0 16800975 18446744072101625380 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14084956 memory=3472468414998754512 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14422994944 10245 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14084956 memory=140286103602816 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14422994944 10245 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14422994944 10245 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14425186304 10248 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14087096 memory=140286103602816 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52509717 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52509717 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453912737440 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52509718 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 637 0 0 0 3 0 0 0 20 0 15 0 52509720 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14087096 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 52509720 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14087096 memory=140286103602816 CPUtime=0.08 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) S 14531 14531 11307 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 52509720 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453907474416 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14087096 memory=140286103602816 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509721 14425186304 10248 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42216 KiB
[startup+0.310566 s]*
/proc/loadavg: 1.88 1.85 1.85 4/217 14547
/proc/meminfo: memFree=23107780/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14087096 memory=48060 CPUtime=0.52 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 9178 0 0 0 50 2 0 0 20 0 15 0 52509714 14425186304 12015 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3521774 12015 3247 1 0 3483008 0
[pid=14533/tid=14534] ppid=14531 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 6128 0 0 0 28 1 0 0 20 0 15 0 52509715 14425186304 12015 33554432000 4194304 4196468 140736870117328 140454443912896 140454439703709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14087096 memory=3472468414998754512 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14425186304 12015 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14087096 memory=140286103602816 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14425186304 12015 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14087096 memory=14 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14425186304 12015 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14087096 memory=140285980059679 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14425186304 12015 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14087096 memory=280571960080128 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52509717 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14087096 memory=140285980036623 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52509717 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453912737440 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14087096 memory=280572083648608 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52509718 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14087096 memory=140285980041231 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14087096 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 725 0 0 0 6 0 0 0 20 0 15 0 52509720 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14087096 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 15 0 52509720 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) R 14531 14531 11307 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 15 0 52509720 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453907474416 140454418350533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14087096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509721 14425186304 12015 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49512 KiB
[startup+0.701576 s]
/proc/loadavg: 1.88 1.85 1.85 6/217 14547
/proc/meminfo: memFree=23092900/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14089220 memory=91028 CPUtime=1.61 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 12904 0 0 0 157 4 0 0 20 0 15 0 52509714 14427361280 22757 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3522305 22757 3340 1 0 3483520 0
[pid=14533/tid=14534] ppid=14531 vsize=14089220 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 7126 0 0 0 64 3 0 0 20 0 15 0 52509715 14427361280 22757 33554432000 4194304 4196468 140736870117328 140454443919992 140454037407566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14427361280 22757 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14089220 memory=8174711894690903605 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14427361280 22757 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14089220 memory=7012755875661107289 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52509716 14427361280 22757 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14089220 memory=7666364995466192728 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509716 14427361280 22757 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14089220 memory=2867664571609120 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52509717 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52509717 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453912737440 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14089220 memory=11960 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52509718 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14089220 memory=792 CPUtime=0.28 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) R 14531 14531 11307 0 -1 4202560 1363 0 0 0 28 0 0 0 20 0 15 0 52509720 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453909580016 140454421227058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14089220 memory=1716 CPUtime=0.24 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) R 14531 14531 11307 0 -1 4202560 859 0 0 0 24 0 0 0 20 0 15 0 52509720 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453908527600 140454421091933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14089220 memory=1952 CPUtime=0.39 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) R 14531 14531 11307 0 -1 4202560 2248 0 0 0 39 0 0 0 20 0 15 0 52509720 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453907474416 140454431918910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14089220 memory=8392 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14089220 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52509721 14427361280 22757 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 92480 KiB
[startup+1.50157 s]
/proc/loadavg: 1.88 1.85 1.85 5/217 14547
/proc/meminfo: memFree=23045024/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14089220 memory=256004 CPUtime=427.88 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 73239 0 0 0 42768 20 0 0 20 0 15 0 52509714 14427361280 64001 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3522305 64001 3402 1 0 3483520 0
[pid=14533/tid=14534] ppid=14531 vsize=14089220 memory=1452 CPUtime=420.63 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 14056 0 0 0 42059 4 0 0 20 0 15 0 52509715 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454443921248 140454042531280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14089220 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 950 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14089220 memory=256004 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1520 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14089220 memory=288230574492221466 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14089220 memory=288230583166042426 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1597 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14089220 memory=15540717229443787 CPUtime=0.02 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 1302 0 0 0 2 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453912737504 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 52509718 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14089220 memory=256004 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14089220 memory=1428 CPUtime=2.93 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 21082 0 0 0 291 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14089220 memory=1196 CPUtime=3.21 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 21437 0 0 0 319 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14089220 memory=7 CPUtime=0.61 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) S 14531 14531 11307 0 -1 1077944384 7488 0 0 0 60 1 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453907474416 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14089220 memory=6 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14089220 memory=7 CPUtime=0.12 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1500 0 0 0 6 6 0 0 20 0 15 0 52509721 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 427.88 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 257456 KiB
[startup+421.601 s]
/proc/loadavg: 1.89 1.86 1.86 3/219 14563
/proc/meminfo: memFree=22901868/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14089220 memory=256004 CPUtime=428.68 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 73239 0 0 0 42848 20 0 0 20 0 15 0 52509714 14427361280 64001 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3522305 64001 3402 1 0 3483520 0
[pid=14533/tid=14534] ppid=14531 vsize=14089220 memory=16968 CPUtime=421.43 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 14056 0 0 0 42139 4 0 0 20 0 15 0 52509715 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454443921248 140454042035118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14089220 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 950 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14089220 memory=2412 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1520 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14089220 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14089220 memory=256004 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1597 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14089220 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 1302 0 0 0 2 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14089220 memory=256004 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453912737504 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 52509718 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14089220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14089220 memory=3244 CPUtime=2.93 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 21082 0 0 0 291 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14089220 memory=1452 CPUtime=3.21 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 21437 0 0 0 319 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14089220 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) S 14531 14531 11307 0 -1 1077944384 7488 0 0 0 60 1 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453907474416 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14089220 memory=256004 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14089220 memory=11960 CPUtime=0.12 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1500 0 0 0 6 6 0 0 20 0 15 0 52509721 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 428.68 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 257456 KiB
[startup+422.001 s]*
/proc/loadavg: 1.89 1.86 1.86 3/219 14563
/proc/meminfo: memFree=22901884/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14089220 memory=256004 CPUtime=429.09 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 73239 0 0 0 42889 20 0 0 20 0 15 0 52509714 14427361280 64001 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3522305 64001 3402 1 0 3483520 0
[pid=14533/tid=14534] ppid=14531 vsize=14089220 memory=-7003737579269690708 CPUtime=421.84 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 14056 0 0 0 42180 4 0 0 20 0 15 0 52509715 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454443921248 140454043125429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14089220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 950 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14089220 memory=4580 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1520 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14089220 memory=952 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14089220 memory=1240 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1597 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14089220 memory=2340 CPUtime=0.02 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 1302 0 0 0 2 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14089220 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453912737504 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14089220 memory=280571960085664 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 52509718 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14089220 memory=202692391629198 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14089220 memory=202692391629199 CPUtime=2.93 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 21082 0 0 0 291 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14089220 memory=202692391629200 CPUtime=3.21 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 21437 0 0 0 319 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14089220 memory=202692391629201 CPUtime=0.61 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) S 14531 14531 11307 0 -1 1077944384 7488 0 0 0 60 1 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453907474416 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14089220 memory=202692391629202 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14089220 memory=202692391629203 CPUtime=0.12 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1500 0 0 0 6 6 0 0 20 0 15 0 52509721 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 429.09 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 257456 KiB
[startup+422.11 s]
/proc/loadavg: 1.89 1.86 1.86 3/219 14563
/proc/meminfo: memFree=22901884/32770624 swapFree=67108860/67108860
[pid=14531] ppid=14528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14531/stat : 14531 (xcsp3-exec) S 14528 14531 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52509714 115843072 363 33554432000 4194304 5098028 140726324306992 140726324305096 140706089292412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27668480 140726324311100 140726324311300 140726324311300 140726324314058 0
/proc/14531/statm: 28282 363 305 221 0 87 0
[pid=14533] ppid=14531 vsize=14089220 memory=256004 CPUtime=429.19 cores=0,2,4,6
/proc/14533/stat : 14533 (java) S 14531 14531 11307 0 -1 1077944320 73301 0 0 0 42899 20 0 0 20 0 15 0 52509714 14427361280 64001 33554432000 4194304 4196468 140736870117328 140736870099872 140454439681783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
/proc/14533/statm: 3522305 64001 3402 1 0 3483520 0
[pid=14533/tid=14534] ppid=14531 vsize=14089220 memory=1452 CPUtime=421.94 cores=0,2,4,6
/proc/14533/task/14534/stat : 14534 (java) R 14531 14531 11307 0 -1 4202560 14056 0 0 0 42190 4 0 0 20 0 15 0 52509715 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454443921248 140454042385771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14535] ppid=14531 vsize=14089220 memory=256004 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14535/stat : 14535 (java) S 14531 14531 11307 0 -1 1077944384 950 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454369770000 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14536] ppid=14531 vsize=14089220 memory=256004 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14536/stat : 14536 (java) S 14531 14531 11307 0 -1 1077944384 1520 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454368717456 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14537] ppid=14531 vsize=14089220 memory=256004 CPUtime=0.07 cores=0,2,4,6
/proc/14533/task/14537/stat : 14537 (java) S 14531 14531 11307 0 -1 1077944384 939 0 0 0 6 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454367664400 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14538] ppid=14531 vsize=14089220 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/14533/task/14538/stat : 14538 (java) S 14531 14531 11307 0 -1 1077944384 1597 0 0 0 5 1 0 0 20 0 15 0 52509716 14427361280 64001 33554432000 4194304 4196468 140736870117328 140454366611856 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14539] ppid=14531 vsize=14089220 memory=256004 CPUtime=0.02 cores=0,2,4,6
/proc/14533/task/14539/stat : 14539 (java) S 14531 14531 11307 0 -1 1077944384 1302 0 0 0 2 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453913791216 140454439692930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14540] ppid=14531 vsize=14089220 memory=164 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14540/stat : 14540 (java) S 14531 14531 11307 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 52509717 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453912737504 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14541] ppid=14531 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14541/stat : 14541 (java) S 14531 14531 11307 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 52509718 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453911684336 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14542] ppid=14531 vsize=14089220 memory=256004 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14542/stat : 14542 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453910632912 140454439700379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14543] ppid=14531 vsize=14089220 memory=256004 CPUtime=2.93 cores=0,2,4,6
/proc/14533/task/14543/stat : 14543 (java) S 14531 14531 11307 0 -1 1077944384 21082 0 0 0 291 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453909580016 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14544] ppid=14531 vsize=14089220 memory=256004 CPUtime=3.21 cores=0,2,4,6
/proc/14533/task/14544/stat : 14544 (java) S 14531 14531 11307 0 -1 1077944384 21437 0 0 0 319 2 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453908527472 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14545] ppid=14531 vsize=14089220 memory=1452 CPUtime=0.62 cores=0,2,4,6
/proc/14533/task/14545/stat : 14545 (java) S 14531 14531 11307 0 -1 1077944384 7550 0 0 0 61 1 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453907474416 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14546] ppid=14531 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14533/task/14546/stat : 14546 (java) S 14531 14531 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52509720 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453906422112 140454439691989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
[pid=14533/tid=14547] ppid=14531 vsize=14089220 memory=280571960666016 CPUtime=0.12 cores=0,2,4,6
/proc/14533/task/14547/stat : 14547 (java) S 14531 14531 11307 0 -1 1077944384 1500 0 0 0 6 6 0 0 20 0 15 0 52509721 14427361280 64001 33554432000 4194304 4196468 140736870117328 140453905370160 140454439692930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 20389888 140736870122625 140736870122801 140736870122801 140736870125519 0
Current children cumulated CPU time: 429.19 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 257456 KiB
Child status: 0
Real time (s): 422.146
CPU time (s): 429.241
CPU user time (s): 429.028
CPU system time (s): 0.213235
CPU usage (%): 101.681
Max. virtual memory (cumulated for all children) (KiB): 14205924
Max. memory (cumulated for all children) (KiB): 270216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.028
system time used= 0.213235
maximum resident set size= 268764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12354
involuntary context switches= 453
# summary of solver processes directly reported to runsolver:
# pid: 14531
# total CPU time (s): 429.241
# total CPU user time (s): 429.028
# total CPU system time (s): 0.213235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.27765 second user time and 4.01502 second system time
The end