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 (3677 MiB free)
memory of node 1: 16384 MiB (1984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404112-1568991377/watcher-4404112-1568991377 -o /tmp/evaluation-result-4404112-1568991377/solver-4404112-1568991377 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 995655431 HOME/instance-4404112-1568991377.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
solver pid=4502, runsolver pid=4499
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 8.36 7.43 4.61 5/232 4517
/proc/meminfo: memFree=5786548/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15076548 memory=22604 CPUtime=0.05 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 4556 0 0 0 4 1 0 0 20 0 14 0 475299246 15438385152 5651 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3769137 5651 2596 1 0 3731678 0
[pid=4504/tid=4505] ppid=4502 vsize=15076548 memory=576460756329955459 CPUtime=0.05 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) D 4502 4502 2739 0 -1 4202560 2739 0 0 0 4 1 0 0 20 0 14 0 475299246 15438385152 5651 33554432000 4194304 4196468 140722180234112 140629487282080 140629483066621 0 4 0 16800975 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 475299247 15438385152 5651 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15076548 memory=288370200976414336 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 475299247 15438385152 5651 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 475299247 15438385152 5651 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 475299247 15438385152 5651 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 475299248 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15076548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 475299249 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628950189088 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 475299249 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628949136240 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 475299254 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15076548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) S 4502 4502 2739 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 475299254 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628947032944 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15076548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 475299254 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628945980144 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15076548 memory=139824824702592 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) S 4502 4502 2739 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 475299254 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628944927344 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15076548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 475299254 15438385152 5651 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 15189676 KiB
Current children cumulated memory: 24052 KiB
[startup+0.210352 s]*
/proc/loadavg: 8.36 7.43 4.61 6/233 4518
/proc/meminfo: memFree=5772720/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15145800 memory=38624 CPUtime=0.25 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 8724 0 0 0 22 3 0 0 20 0 15 0 475299246 15509299200 9656 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3786450 9656 3291 1 0 3748633 0
[pid=4504/tid=4505] ppid=4502 vsize=15144776 memory=7883960649037381690 CPUtime=0.14 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) R 4502 4502 2739 0 -1 4202560 5954 0 0 0 12 2 0 0 20 0 15 0 475299246 15508250624 9656 33554432000 4194304 4196468 140722180234112 140629487254384 140629475722613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299247 15508250624 9656 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15144776 memory=139824824720089 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299247 15508250624 9656 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299247 15508250624 9656 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299247 15508250624 9656 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15144776 memory=139824824702592 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299248 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299249 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628950189088 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299249 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628949136240 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299254 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) R 4502 4502 2739 0 -1 4202560 518 0 0 0 2 0 0 0 20 0 15 0 475299254 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628947032944 140629476029641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) R 4502 4502 2739 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 15 0 475299254 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628945980144 140629483055746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15144776 memory=139824824702592 CPUtime=0.05 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) R 4502 4502 2739 0 -1 4202560 721 0 0 0 5 0 0 0 20 0 15 0 475299254 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628944927344 140629483065946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299254 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4518] ppid=4502 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299257 15508250624 9656 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15258928 KiB
Current children cumulated memory: 40072 KiB
[startup+0.310666 s]*
/proc/loadavg: 8.36 7.43 4.61 7/233 4518
/proc/meminfo: memFree=5767076/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15149032 memory=44356 CPUtime=0.42 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 9962 0 0 0 38 4 0 0 20 0 15 0 475299246 15512608768 11089 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3787258 11089 3324 1 0 3748377 0
[pid=4504/tid=4505] ppid=4502 vsize=15149032 memory=1398722017469774279 CPUtime=0.25 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) R 4502 4502 2739 0 -1 4202560 7036 0 0 0 22 3 0 0 20 0 15 0 475299246 15512608768 11089 33554432000 4194304 4196468 140722180234112 140629487276176 140629467125086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299247 15512608768 11089 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299247 15512608768 11089 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299247 15512608768 11089 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299247 15512608768 11089 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475299248 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299249 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628950189088 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299249 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628949136240 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15149032 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299254 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15149032 memory=-7384621950708166502 CPUtime=0.03 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) S 4502 4502 2739 0 -1 1077944384 579 0 0 0 3 0 0 0 20 0 15 0 475299254 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628947032944 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) S 4502 4502 2739 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 475299254 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628945980144 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15149032 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) R 4502 4502 2739 0 -1 4202560 811 0 0 0 10 0 0 0 20 0 15 0 475299254 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628944927344 140629462029816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299254 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4518] ppid=4502 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299257 15512608768 11089 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 45804 KiB
[startup+0.700772 s]
/proc/loadavg: 8.36 7.43 4.61 8/233 4518
/proc/meminfo: memFree=5750016/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15151156 memory=112632 CPUtime=1.51 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 13793 0 0 0 145 6 0 0 20 0 15 0 475299246 15514783744 28158 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3787789 28158 3440 1 0 3748889 0
[pid=4504/tid=4505] ppid=4502 vsize=15151156 memory=33 CPUtime=0.62 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) R 4502 4502 2739 0 -1 4202560 8184 0 0 0 58 4 0 0 20 0 15 0 475299246 15514783744 28158 33554432000 4194304 4196468 140722180234112 140629487278928 140629468217488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15151156 memory=-8412626967566455652 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299247 15514783744 28158 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299247 15514783744 28158 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299247 15514783744 28158 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475299247 15514783744 28158 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475299248 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475299249 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628950189088 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475299249 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628949136240 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299254 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15151156 memory=1160 CPUtime=0.31 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) R 4502 4502 2739 0 -1 4202560 1639 0 0 0 31 0 0 0 20 0 15 0 475299254 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628947018968 140629468159645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15151156 memory=1716 CPUtime=0.27 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) R 4502 4502 2739 0 -1 4202560 1137 0 0 0 27 0 0 0 20 0 15 0 475299254 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628945970064 140629462737703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15151156 memory=1096 CPUtime=0.27 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) S 4502 4502 2739 0 -1 1077944384 1526 0 0 0 27 0 0 0 20 0 15 0 475299254 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628944927344 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15151156 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475299254 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4518] ppid=4502 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475299257 15514783744 28158 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114080 KiB
[startup+1.50094 s]
/proc/loadavg: 8.36 7.43 4.61 8/233 4518
/proc/meminfo: memFree=5654620/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15151156 memory=238088 CPUtime=3.75 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 22589 0 0 0 361 14 0 0 20 0 15 0 475299246 15514783744 59522 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
################
# More data... #
################
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 19 0 475299257 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4547] ppid=4502 vsize=15486024 memory=56 CPUtime=6.11 cores=0,2,4,6
/proc/4504/task/4547/stat : 4547 (java) R 4502 4502 2739 0 -1 4202560 232 0 0 0 611 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628931743016 140629126226063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4548] ppid=4502 vsize=15486024 memory=-5921431000321636112 CPUtime=5.73 cores=0,2,4,6
/proc/4504/task/4548/stat : 4548 (java) R 4502 4502 2739 0 -1 4202560 350 0 0 0 573 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628927533336 140629126226257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4549] ppid=4502 vsize=15486024 memory=9124152854131106007 CPUtime=6.03 cores=0,2,4,6
/proc/4504/task/4549/stat : 4549 (java) R 4502 4502 2739 0 -1 4202560 313 0 0 0 603 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628930691224 140629126225807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4550] ppid=4502 vsize=15486024 memory=-2746958450906831424 CPUtime=5.72 cores=0,2,4,6
/proc/4504/task/4550/stat : 4550 (java) R 4502 4502 2739 0 -1 4202560 312 0 0 0 572 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628929640232 140629126226193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 39.09 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 263028 KiB
[startup+10.8017 s]
/proc/loadavg: 8.38 7.46 4.65 9/238 4552
/proc/meminfo: memFree=5547600/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15486024 memory=261580 CPUtime=40.65 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 34249 0 0 0 4048 17 0 0 20 0 19 0 475299246 15857688576 65395 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3871506 65395 3529 1 0 3832606 0
[pid=4504/tid=4505] ppid=4502 vsize=15486024 memory=8112282956445269571 CPUtime=1.41 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) S 4502 4502 2739 0 -1 1077944384 10176 0 0 0 135 6 0 0 20 0 19 0 475299246 15857688576 65395 33554432000 4194304 4196468 140722180234112 140629487285376 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15486024 memory=288230617509003574 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 254 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65395 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15486024 memory=15821101267683553 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65395 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 384 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65395 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15486024 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 477 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65395 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 19 0 475299248 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475299249 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628950189152 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15486024 memory=-7089609626090614055 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475299249 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628949136256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15486024 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299254 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15486024 memory=6944656592387989600 CPUtime=2.52 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) S 4502 4502 2739 0 -1 1077944384 7144 0 0 0 251 1 0 0 20 0 19 0 475299254 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628947032944 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15486024 memory=6944656592455360604 CPUtime=2.75 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) S 4502 4502 2739 0 -1 1077944384 6743 0 0 0 274 1 0 0 20 0 19 0 475299254 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628945980144 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15486024 memory=6648615548753253269 CPUtime=0.89 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) S 4502 4502 2739 0 -1 1077944384 4996 0 0 0 88 1 0 0 20 0 19 0 475299254 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628944927344 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15486024 memory=-9178176117148050014 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299254 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4518] ppid=4502 vsize=15486024 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 19 0 475299257 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4547] ppid=4502 vsize=15486024 memory=6525858347538544147 CPUtime=6.5 cores=0,2,4,6
/proc/4504/task/4547/stat : 4547 (java) R 4502 4502 2739 0 -1 4202560 232 0 0 0 650 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628931743016 140629126226124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4548] ppid=4502 vsize=15486024 memory=8112572278934173203 CPUtime=6.12 cores=0,2,4,6
/proc/4504/task/4548/stat : 4548 (java) R 4502 4502 2739 0 -1 4202560 350 0 0 0 612 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628927535832 140629126226152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4549] ppid=4502 vsize=15486024 memory=-6524724634732516766 CPUtime=6.42 cores=0,2,4,6
/proc/4504/task/4549/stat : 4549 (java) R 4502 4502 2739 0 -1 4202560 315 0 0 0 642 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628930693432 140629126225986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4550] ppid=4502 vsize=15486024 memory=9047914855943115630 CPUtime=6.1 cores=0,2,4,6
/proc/4504/task/4550/stat : 4550 (java) R 4502 4502 2739 0 -1 4202560 313 0 0 0 610 0 0 0 20 0 19 0 475299641 15857688576 65395 33554432000 4194304 4196468 140722180234112 140628929640232 140629126226216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 40.65 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 263028 KiB
[startup+11.0017 s]*
/proc/loadavg: 8.38 7.46 4.65 10/237 4552
/proc/meminfo: memFree=5549940/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15486024 memory=261588 CPUtime=41.47 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 34763 0 0 0 4130 17 0 0 20 0 19 0 475299246 15857688576 65397 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3871506 65397 3529 1 0 3832606 0
[pid=4504/tid=4505] ppid=4502 vsize=15486024 memory=7883960649037381690 CPUtime=1.41 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) S 4502 4502 2739 0 -1 1077944384 10176 0 0 0 135 6 0 0 20 0 19 0 475299246 15857688576 65397 33554432000 4194304 4196468 140722180234112 140629487285376 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15486024 memory=14645 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 254 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65397 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15486024 memory=139824824720089 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65397 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 384 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65397 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15486024 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 477 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65397 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15486024 memory=139824824702592 CPUtime=0.01 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 19 0 475299248 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15486024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475299249 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628950189152 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475299249 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628949136256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299254 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15486024 memory=0 CPUtime=2.54 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) S 4502 4502 2739 0 -1 1077944384 7651 0 0 0 253 1 0 0 20 0 19 0 475299254 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628947032944 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15486024 memory=-1 CPUtime=2.75 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) S 4502 4502 2739 0 -1 1077944384 6743 0 0 0 274 1 0 0 20 0 19 0 475299254 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628945980144 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15486024 memory=139824824702592 CPUtime=0.89 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) S 4502 4502 2739 0 -1 1077944384 4996 0 0 0 88 1 0 0 20 0 19 0 475299254 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628944927344 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15486024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299254 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4518] ppid=4502 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 19 0 475299257 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4547] ppid=4502 vsize=15486024 memory=0 CPUtime=6.7 cores=0,2,4,6
/proc/4504/task/4547/stat : 4547 (java) R 4502 4502 2739 0 -1 4202560 232 0 0 0 670 0 0 0 20 0 19 0 475299641 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628931743016 140629121063078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4548] ppid=4502 vsize=15486024 memory=0 CPUtime=6.33 cores=0,2,4,6
/proc/4504/task/4548/stat : 4548 (java) R 4502 4502 2739 0 -1 4202560 350 0 0 0 633 0 0 0 20 0 19 0 475299641 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628927535832 140629126226046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4549] ppid=4502 vsize=15486024 memory=0 CPUtime=6.61 cores=0,2,4,6
/proc/4504/task/4549/stat : 4549 (java) R 4502 4502 2739 0 -1 4202560 322 0 0 0 661 0 0 0 20 0 19 0 475299641 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628930691320 140629126226037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4550] ppid=4502 vsize=15486024 memory=0 CPUtime=6.31 cores=0,2,4,6
/proc/4504/task/4550/stat : 4550 (java) R 4502 4502 2739 0 -1 4202560 313 0 0 0 631 0 0 0 20 0 19 0 475299641 15857688576 65397 33554432000 4194304 4196468 140722180234112 140628929640232 140629126226216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 263036 KiB
[startup+11.1117 s]
/proc/loadavg: 8.38 7.46 4.65 10/237 4552
/proc/meminfo: memFree=5549940/32770624 swapFree=67002128/67108860
[pid=4502] ppid=4499 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4502/stat : 4502 (xcsp3-exec) S 4499 4502 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475299245 115843072 362 33554432000 4194304 5098028 140727105106160 140727105104264 139893256880764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140727105115003 140727105115245 140727105115245 140727105118154 0
/proc/4502/statm: 28282 362 304 221 0 87 0
[pid=4504] ppid=4502 vsize=15486024 memory=261608 CPUtime=41.87 cores=0,2,4,6
/proc/4504/stat : 4504 (java) S 4502 4502 2739 0 -1 1077944320 34790 0 0 0 4170 17 0 0 20 0 19 0 475299246 15857688576 65402 33554432000 4194304 4196468 140722180234112 140722180216656 140629483044599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
/proc/4504/statm: 3871506 65402 3529 1 0 3832606 0
[pid=4504/tid=4505] ppid=4502 vsize=15486024 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/4504/task/4505/stat : 4505 (java) S 4502 4502 2739 0 -1 1077944384 10176 0 0 0 135 6 0 0 20 0 19 0 475299246 15857688576 65402 33554432000 4194304 4196468 140722180234112 140629487285376 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4506] ppid=4502 vsize=15486024 memory=5792262891831840848 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4506/stat : 4506 (java) S 4502 4502 2739 0 -1 1077944384 254 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65402 33554432000 4194304 4196468 140722180234112 140629075008656 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4507] ppid=4502 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4507/stat : 4507 (java) S 4502 4502 2739 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65402 33554432000 4194304 4196468 140722180234112 140629073955856 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4508] ppid=4502 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4508/stat : 4508 (java) S 4502 4502 2739 0 -1 1077944384 384 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65402 33554432000 4194304 4196468 140722180234112 140629072903056 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4509] ppid=4502 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4504/task/4509/stat : 4509 (java) S 4502 4502 2739 0 -1 1077944384 477 0 0 0 1 1 0 0 20 0 19 0 475299247 15857688576 65402 33554432000 4194304 4196468 140722180234112 140629071850256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4510] ppid=4502 vsize=15486024 memory=262892 CPUtime=0.01 cores=0,2,4,6
/proc/4504/task/4510/stat : 4510 (java) S 4502 4502 2739 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 19 0 475299248 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628951243120 140629483055746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4511] ppid=4502 vsize=15486024 memory=-7161732098442470212 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4511/stat : 4511 (java) S 4502 4502 2739 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475299249 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628950189152 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4512] ppid=4502 vsize=15486024 memory=-6667966544890519924 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4512/stat : 4512 (java) S 4502 4502 2739 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475299249 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628949136256 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4513] ppid=4502 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4513/stat : 4513 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299254 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628948084560 140629483063195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4514] ppid=4502 vsize=15486024 memory=0 CPUtime=2.54 cores=0,2,4,6
/proc/4504/task/4514/stat : 4514 (java) S 4502 4502 2739 0 -1 1077944384 7651 0 0 0 253 1 0 0 20 0 19 0 475299254 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628947032944 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4515] ppid=4502 vsize=15486024 memory=139824824706721 CPUtime=2.75 cores=0,2,4,6
/proc/4504/task/4515/stat : 4515 (java) S 4502 4502 2739 0 -1 1077944384 6770 0 0 0 274 1 0 0 20 0 19 0 475299254 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628945980144 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4516] ppid=4502 vsize=15486024 memory=8112282956445269571 CPUtime=0.89 cores=0,2,4,6
/proc/4504/task/4516/stat : 4516 (java) S 4502 4502 2739 0 -1 1077944384 4996 0 0 0 88 1 0 0 20 0 19 0 475299254 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628944927344 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4517] ppid=4502 vsize=15486024 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4517/stat : 4517 (java) S 4502 4502 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475299254 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628943874784 140629483054805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4518] ppid=4502 vsize=15486024 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/4504/task/4518/stat : 4518 (java) S 4502 4502 2739 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 19 0 475299257 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628942822064 140629483055746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4547] ppid=4502 vsize=15486024 memory=4104 CPUtime=6.8 cores=0,2,4,6
/proc/4504/task/4547/stat : 4547 (java) R 4502 4502 2739 0 -1 4202560 232 0 0 0 680 0 0 0 20 0 19 0 475299641 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628931743016 140629126226216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4548] ppid=4502 vsize=15486024 memory=0 CPUtime=6.43 cores=0,2,4,6
/proc/4504/task/4548/stat : 4548 (java) R 4502 4502 2739 0 -1 4202560 350 0 0 0 643 0 0 0 20 0 19 0 475299641 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628927535832 140629126225781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4549] ppid=4502 vsize=15486024 memory=-2605811476043407915 CPUtime=6.71 cores=0,2,4,6
/proc/4504/task/4549/stat : 4549 (java) R 4502 4502 2739 0 -1 4202560 322 0 0 0 671 0 0 0 20 0 19 0 475299641 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628930691320 140629128766016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
[pid=4504/tid=4550] ppid=4502 vsize=15486024 memory=-4051592751533505334 CPUtime=6.41 cores=0,2,4,6
/proc/4504/task/4550/stat : 4550 (java) R 4502 4502 2739 0 -1 4202560 313 0 0 0 641 0 0 0 20 0 19 0 475299641 15857688576 65402 33554432000 4194304 4196468 140722180234112 140628929639176 140629126226115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140722180240367 140722180240538 140722180240538 140722180243407 0
Current children cumulated CPU time: 41.87 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 263056 KiB
Child status: 0
Real time (s): 11.1563
CPU time (s): 42.0407
CPU user time (s): 41.8547
CPU system time (s): 0.186034
CPU usage (%): 376.833
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 266392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8547
system time used= 0.186034
maximum resident set size= 264948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35687
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= 3129
involuntary context switches= 1576
# summary of solver processes directly reported to runsolver:
# pid: 4502
# total CPU time (s): 42.0407
# total CPU user time (s): 41.8547
# total CPU system time (s): 0.186034
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096812 second user time and 0.16908 second system time
The end