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 (12195 MiB free)
memory of node 1: 16384 MiB (12130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284417-1503213051/watcher-4284417-1503213051 -o /tmp/evaluation-result-4284417-1503213051/solver-4284417-1503213051 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13390 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1171574427 HOME/instance-4284417-1503213051.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16101, runsolver pid=16098
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 2.17 2.08 1.89 5/217 16117
/proc/meminfo: memFree=24892456/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13978596 memory=28104 CPUtime=0.12 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 5455 0 0 0 11 1 0 0 20 0 15 0 154392691 14314082304 7026 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3494649 7026 2838 1 0 3482966 0
[pid=16103/tid=16104] ppid=16101 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 3468 0 0 0 8 0 0 0 20 0 15 0 154392691 14314082304 7091 33554432000 4194304 4196468 140720733983904 139915347514920 139915343302038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14314082304 7091 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13978596 memory=139702241916544 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14314082304 7091 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13978596 memory=139702241916544 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392693 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) S 16101 16101 13358 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 154392696 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914251282416 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) S 16101 16101 13358 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154392696 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914250229872 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13978596 memory=139702241916544 CPUtime=0.01 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) R 16101 16101 13358 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 154392696 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914249177328 139915329614487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13978596 memory=139702241916544 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392697 14314082304 7091 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29488 KiB
[startup+0.210671 s]*
/proc/loadavg: 2.17 2.08 1.89 4/217 16117
/proc/meminfo: memFree=24881368/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13982852 memory=40472 CPUtime=0.34 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 8209 0 0 0 32 2 0 0 20 0 15 0 154392691 14318440448 10118 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3495721 10118 3051 1 0 3482974 0
[pid=16103/tid=16104] ppid=16101 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) D 16101 16101 13358 0 -1 1077944384 5341 0 0 0 19 1 0 0 20 0 15 0 154392691 14318440448 10118 33554432000 4194304 4196468 140720733983904 139915347500896 139915335969325 0 4 0 16800975 18446744072101625380 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13982852 memory=2898 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14318440448 10118 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13982852 memory=288370078393628288 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14318440448 10118 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13982852 memory=139702241916544 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392693 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14318473216 10118 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14318473216 10118 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) S 16101 16101 13358 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 15 0 154392696 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914251282416 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) S 16101 16101 13358 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 154392696 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914250229872 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13982852 memory=139702241916544 CPUtime=0.07 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) S 16101 16101 13358 0 -1 1077944384 722 0 0 0 7 0 0 0 20 0 15 0 154392696 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914249177328 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392697 14318440448 10118 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41856 KiB
[startup+0.310209 s]*
/proc/loadavg: 2.17 2.08 1.89 4/217 16117
/proc/meminfo: memFree=24874668/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13982928 memory=47416 CPUtime=0.49 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 9039 0 0 0 47 2 0 0 20 0 15 0 154392691 14318518272 11854 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3495732 11854 3112 1 0 3482966 0
[pid=16103/tid=16104] ppid=16101 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 6080 0 0 0 28 1 0 0 20 0 15 0 154392691 14318518272 11854 33554432000 4194304 4196468 140720733983904 139915347525472 139915327370620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14318518272 11854 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14318518272 11854 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392693 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13982928 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) S 16101 16101 13358 0 -1 1077944384 595 0 0 0 3 0 0 0 20 0 15 0 154392696 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914251282416 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) S 16101 16101 13358 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 154392696 14318518272 11854 33554432000 4194304 4196468 140720733983904 139914250229872 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) R 16101 16101 13358 0 -1 4202560 773 0 0 0 11 0 0 0 20 0 15 0 154392696 14318518272 11919 33554432000 4194304 4196468 140720733983904 139914249177328 139915343311450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14318518272 11919 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392697 14318518272 11919 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48800 KiB
[startup+0.701301 s]
/proc/loadavg: 2.17 2.08 1.89 5/217 16117
/proc/meminfo: memFree=24855812/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13984976 memory=71928 CPUtime=1.68 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 12794 0 0 0 165 3 0 0 20 0 15 0 154392691 14320615424 17982 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3496244 17982 3213 1 0 3483478 0
[pid=16103/tid=16104] ppid=16101 vsize=13984976 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 6833 0 0 0 65 1 0 0 20 0 15 0 154392691 14320615424 17982 33554432000 4194304 4196468 140720733983904 139915347528896 139914954793365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 17982 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 17982 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13984976 memory=42988 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13984976 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154392693 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13984976 memory=796 CPUtime=0.32 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) R 16101 16101 13358 0 -1 4202560 1444 0 0 0 32 0 0 0 20 0 15 0 154392696 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914251268296 139915324834207 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13984976 memory=10088 CPUtime=0.28 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) R 16101 16101 13358 0 -1 4202560 1307 0 0 0 28 0 0 0 20 0 15 0 154392696 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914250219344 139915322536870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13984976 memory=1948 CPUtime=0.37 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) S 16101 16101 13358 0 -1 1077944384 1903 0 0 0 37 0 0 0 20 0 15 0 154392696 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914249177328 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13984976 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392697 14320615424 17982 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73312 KiB
[startup+1.50085 s]
/proc/loadavg: 2.17 2.08 1.89 5/217 16117
/proc/meminfo: memFree=24838432/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13984976 memory=101852 CPUtime=4.45 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 21177 0 0 0 441 4 0 0 20 0 15 0 154392691 14320615424 25463 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3496244 25463 3226 1 0 3483478 0
[pid=16103/tid=16104] ppid=16101 vsize=13984976 memory=1292 CPUtime=1.57 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 7477 0 0 0 155 2 0 0 20 0 15 0 154392691 14320615424 25463 33554432000 4194304 4196468 140720733983904 139915347529104 139915325190551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 25463 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 25463 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13984976 memory=10088 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154392693 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13984976 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13984976 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13984976 memory=1720 CPUtime=1.21 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) R 16101 16101 13358 0 -1 4202560 4887 0 0 0 121 0 0 0 20 0 15 0 154392696 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914251266368 139915327715144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13984976 memory=1004 CPUtime=1.18 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) R 16101 16101 13358 0 -1 4202560 5000 0 0 0 118 0 0 0 20 0 15 0 154392696 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914250215968 139915324808020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13984976 memory=1436 CPUtime=0.47 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) S 16101 16101 13358 0 -1 1077944384 2502 0 0 0 46 1 0 0 20 0 15 0 154392696 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914249177328 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154392697 14320615424 25463 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 103236 KiB
[startup+2.00086 s]*
/proc/loadavg: 2.08 2.06 1.89 5/217 16117
/proc/meminfo: memFree=24808500/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13984976 memory=112972 CPUtime=5.71 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 22031 0 0 0 566 5 0 0 20 0 15 0 154392691 14320615424 28243 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3496244 28243 3226 1 0 3483478 0
[pid=16103/tid=16104] ppid=16101 vsize=13984976 memory=576460756329955604 CPUtime=1.97 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 7489 0 0 0 195 2 0 0 20 0 15 0 154392691 14320615424 28243 33554432000 4194304 4196468 140720733983904 139915347528544 139914955088768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 28243 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13984976 memory=139702241930199 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 28243 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 154392693 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13984976 memory=0 CPUtime=1.62 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) R 16101 16101 13358 0 -1 4202560 5324 0 0 0 162 0 0 0 20 0 15 0 154392696 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914251270768 139915322944017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13984976 memory=139702132835775 CPUtime=1.58 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) R 16101 16101 13358 0 -1 4202560 5217 0 0 0 158 0 0 0 20 0 15 0 154392696 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914250219792 139915327578816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13984976 memory=139702241918236 CPUtime=0.5 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) R 16101 16101 13358 0 -1 1077944384 2680 0 0 0 49 1 0 0 20 0 15 0 154392696 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914249177328 139915343301250 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13984976 memory=3617551796267921439 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154392697 14320615424 28243 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 114356 KiB
[startup+2.40083 s]
/proc/loadavg: 2.08 2.06 1.89 5/217 16117
/proc/meminfo: memFree=24808500/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13984976 memory=121912 CPUtime=6.79 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 23484 0 0 0 674 5 0 0 20 0 15 0 154392691 14320615424 30478 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3496244 30478 3231 1 0 3483478 0
[pid=16103/tid=16104] ppid=16101 vsize=13984976 memory=28099 CPUtime=2.36 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 8014 0 0 0 234 2 0 0 20 0 15 0 154392691 14320615424 30478 33554432000 4194304 4196468 140720733983904 139915347527496 139914955952205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30478 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30478 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 154392693 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13984976 memory=279404265637704 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13984976 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13984976 memory=4426639978525455914 CPUtime=1.95 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) S 16101 16101 13358 0 -1 1077944384 5795 0 0 0 195 0 0 0 20 0 15 0 154392696 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914251282416 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13984976 memory=8328453600958622283 CPUtime=1.93 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) S 16101 16101 13358 0 -1 1077944384 5600 0 0 0 193 0 0 0 20 0 15 0 154392696 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914250229872 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13984976 memory=-7521736447810188379 CPUtime=0.52 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) S 16101 16101 13358 0 -1 1077944384 2747 0 0 0 51 1 0 0 20 0 15 0 154392696 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914249177328 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13984976 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13984976 memory=-6944672133998927705 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 154392697 14320615424 30478 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 123296 KiB
[startup+2.5008 s]
/proc/loadavg: 2.08 2.06 1.89 5/217 16117
/proc/meminfo: memFree=24808500/32770624 swapFree=67108860/67108860
[pid=16101] ppid=16098 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16101/stat : 16101 (xcsp3-exec) S 16098 16101 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154392690 9740288 346 33554432000 4194304 5098028 140722985244960 140722985243064 140145543389820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18669568 140722985247860 140722985248064 140722985248064 140722985250795 0
/proc/16101/statm: 2378 346 289 221 0 87 0
[pid=16103] ppid=16101 vsize=13984976 memory=123976 CPUtime=6.9 cores=1,3,5,7
/proc/16103/stat : 16103 (java) S 16101 16101 13358 0 -1 1077944320 23495 0 0 0 685 5 0 0 20 0 15 0 154392691 14320615424 30994 33554432000 4194304 4196468 140720733983904 140720733966448 139915343290103 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
/proc/16103/statm: 3496244 30994 3231 1 0 3483478 0
[pid=16103/tid=16104] ppid=16101 vsize=13984976 memory=6944938067432061290 CPUtime=2.46 cores=1,3,5,7
/proc/16103/task/16104/stat : 16104 (java) R 16101 16101 13358 0 -1 4202560 8019 0 0 0 244 2 0 0 20 0 15 0 154392691 14320615424 30994 33554432000 4194304 4196468 140720733983904 139915347527496 139914955953238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16105] ppid=16101 vsize=13984976 memory=7683027051688261180 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16105/stat : 16105 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30994 33554432000 4194304 4196468 140720733983904 139915273378064 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16106] ppid=16101 vsize=13984976 memory=68 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16106/stat : 16106 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30994 33554432000 4194304 4196468 140720733983904 139915272325520 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16107] ppid=16101 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16107/stat : 16107 (java) S 16101 16101 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914936760848 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16108] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16108/stat : 16108 (java) S 16101 16101 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154392692 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914935708304 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16109] ppid=16101 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16109/stat : 16109 (java) S 16101 16101 13358 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 154392693 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914255493616 139915343301250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16110] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16110/stat : 16110 (java) S 16101 16101 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914254439840 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16111] ppid=16101 vsize=13984976 memory=167 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16111/stat : 16111 (java) S 16101 16101 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154392694 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914253387248 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16112] ppid=16101 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16112/stat : 16112 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914252335824 139915343308699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16113] ppid=16101 vsize=13984976 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16103/task/16113/stat : 16113 (java) S 16101 16101 13358 0 -1 1077944384 5799 0 0 0 195 0 0 0 20 0 15 0 154392696 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914251282416 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16114] ppid=16101 vsize=13984976 memory=0 CPUtime=1.93 cores=1,3,5,7
/proc/16103/task/16114/stat : 16114 (java) S 16101 16101 13358 0 -1 1077944384 5601 0 0 0 193 0 0 0 20 0 15 0 154392696 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914250229872 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16115] ppid=16101 vsize=13984976 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/16103/task/16115/stat : 16115 (java) S 16101 16101 13358 0 -1 1077944384 2748 0 0 0 51 1 0 0 20 0 15 0 154392696 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914249177328 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16116] ppid=16101 vsize=13984976 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16116/stat : 16116 (java) S 16101 16101 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154392696 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914248125024 139915343300309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
[pid=16103/tid=16117] ppid=16101 vsize=13984976 memory=14136640964667243 CPUtime=0 cores=1,3,5,7
/proc/16103/task/16117/stat : 16117 (java) S 16101 16101 13358 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 154392697 14320615424 30994 33554432000 4194304 4196468 140720733983904 139914247072560 139915343301250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34471936 140720733992093 140720733992268 140720733992268 140720733994959 0
Current children cumulated CPU time: 6.9 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 125360 KiB
Child status: 0
Real time (s): 2.54091
CPU time (s): 6.97751
CPU user time (s): 6.91493
CPU system time (s): 0.062579
CPU usage (%): 274.607
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 125360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.91493
system time used= 0.062579
maximum resident set size= 126508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2183
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 16101
# total CPU time (s): 6.97751
# total CPU user time (s): 6.91493
# total CPU system time (s): 0.062579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04166 second user time and 0.066046 second system time
The end