runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245495-1500686040/watcher-4245495-1500686040 -o /tmp/evaluation-result-4245495-1500686040/solver-4245495-1500686040 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1021078023 HOME/instance-4245495-1500686040.xml
pid=15506
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.16 13.95 13.69 10/272 15509
/proc/meminfo: memFree=30813452/32770624 swapFree=5860/241224
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
[startup+0.100141 s]
/proc/loadavg: 12.16 13.95 13.69 10/272 15509
/proc/meminfo: memFree=30813452/32770624 swapFree=5860/241224
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200256 s]
/proc/loadavg: 12.16 13.95 13.69 10/272 15509
/proc/meminfo: memFree=30813452/32770624 swapFree=5860/241224
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300321 s]
/proc/loadavg: 12.16 13.95 13.69 10/272 15509
/proc/meminfo: memFree=30813452/32770624 swapFree=5860/241224
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700249 s]
/proc/loadavg: 12.16 13.95 13.69 10/272 15509
/proc/meminfo: memFree=30813452/32770624 swapFree=5860/241224
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50079 s]
/proc/loadavg: 12.16 13.95 13.69 10/293 15530
/proc/meminfo: memFree=30511396/32770624 swapFree=5860/241264
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
[pid=15510] ppid=15509 vsize=13269256 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/15510/stat : 15510 (java) S 15509 15509 7411 0 -1 1077944320 12242 0 0 0 221 19 0 0 20 0 20 0 3871430 13587718144 131562 33554432000 4194304 4196468 140721772911104 140721772893648 139962987818743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
/proc/15510/statm: 3317314 131562 3221 1 0 3304547 0
[pid=15510/tid=15511] ppid=15509 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15511/stat : 15511 (java) R 15509 15509 7411 0 -1 4202560 6930 0 0 0 134 10 0 0 20 0 20 0 3871430 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962992056696 139962602106155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15513] ppid=15509 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15513/stat : 15513 (java) S 15509 15509 7411 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962919954832 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15514] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15514/stat : 15514 (java) S 15509 15509 7411 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962918902032 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15515] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15515/stat : 15515 (java) S 15509 15509 7411 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962585418384 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15516] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15516/stat : 15516 (java) S 15509 15509 7411 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962584365584 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15517] ppid=15509 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15517/stat : 15517 (java) S 15509 15509 7411 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962583313296 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15518] ppid=15509 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15518/stat : 15518 (java) S 15509 15509 7411 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962582260496 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15519] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15519/stat : 15519 (java) S 15509 15509 7411 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962581208208 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15520] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15520/stat : 15520 (java) S 15509 15509 7411 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 3871431 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962580155408 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15521] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15521/stat : 15521 (java) S 15509 15509 7411 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 20 0 3871433 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962517313648 139962987829890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15522] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15522/stat : 15522 (java) S 15509 15509 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3871434 13587718144 131562 33554432000 4194304 4196468 140721772911104 139962516259680 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15523] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15523/stat : 15523 (java) S 15509 15509 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3871434 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961717744768 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15524] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15524/stat : 15524 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3871438 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961716693072 139962987837339 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15525] ppid=15509 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15525/stat : 15525 (java) S 15509 15509 7411 0 -1 1077944384 910 0 0 0 16 0 0 0 20 0 20 0 3871438 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961715640944 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15526] ppid=15509 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15526/stat : 15526 (java) S 15509 15509 7411 0 -1 1077944384 648 0 0 0 16 0 0 0 20 0 20 0 3871438 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961714588144 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15527] ppid=15509 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15527/stat : 15527 (java) S 15509 15509 7411 0 -1 1077944384 520 0 0 0 13 0 0 0 20 0 20 0 3871438 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961713535856 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15528] ppid=15509 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15528/stat : 15528 (java) S 15509 15509 7411 0 -1 1077944384 1348 0 0 0 30 0 0 0 20 0 20 0 3871438 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961712483056 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15529] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15529/stat : 15529 (java) S 15509 15509 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3871439 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961711429984 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15530] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15530/stat : 15530 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3871439 13587718144 131562 33554432000 4194304 4196468 140721772911104 139961105901872 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13278768
[startup+3.10091 s]
/proc/loadavg: 12.16 13.95 13.69 10/293 15530
/proc/meminfo: memFree=29927348/32770624 swapFree=5860/241264
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
[pid=15510] ppid=15509 vsize=13269256 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/15510/stat : 15510 (java) S 15509 15509 7411 0 -1 1077944320 13917 0 0 0 388 34 0 0 20 0 20 0 3871430 13587718144 275005 33554432000 4194304 4196468 140721772911104 140721772893648 139962987818743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
/proc/15510/statm: 3317314 275005 3228 1 0 3304547 0
[pid=15510/tid=15511] ppid=15509 vsize=13269256 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15511/stat : 15511 (java) R 15509 15509 7411 0 -1 4202560 7851 0 0 0 283 18 0 0 20 0 20 0 3871430 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962992055048 139962602106427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15513] ppid=15509 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15513/stat : 15513 (java) S 15509 15509 7411 0 -1 1077944384 66 0 0 0 2 2 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962919954832 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15514] ppid=15509 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15514/stat : 15514 (java) S 15509 15509 7411 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962918902032 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15515] ppid=15509 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15515/stat : 15515 (java) S 15509 15509 7411 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962585418384 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15516] ppid=15509 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15516/stat : 15516 (java) S 15509 15509 7411 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962584365584 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15517] ppid=15509 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15517/stat : 15517 (java) S 15509 15509 7411 0 -1 1077944384 58 0 0 0 1 2 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962583313296 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15518] ppid=15509 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15518/stat : 15518 (java) S 15509 15509 7411 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962582260496 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15519] ppid=15509 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15519/stat : 15519 (java) S 15509 15509 7411 0 -1 1077944384 74 0 0 0 1 2 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962581208208 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15520] ppid=15509 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15520/stat : 15520 (java) S 15509 15509 7411 0 -1 1077944384 54 0 0 0 2 1 0 0 20 0 20 0 3871431 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962580155408 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15521] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15521/stat : 15521 (java) S 15509 15509 7411 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 20 0 3871433 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962517313648 139962987829890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15522] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15522/stat : 15522 (java) S 15509 15509 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3871434 13587718144 275005 33554432000 4194304 4196468 140721772911104 139962516259680 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15523] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15523/stat : 15523 (java) S 15509 15509 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3871434 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961717744768 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15524] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15524/stat : 15524 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3871438 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961716693072 139962987837339 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15525] ppid=15509 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15525/stat : 15525 (java) S 15509 15509 7411 0 -1 1077944384 985 0 0 0 20 0 0 0 20 0 20 0 3871438 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961715640944 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15526] ppid=15509 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15526/stat : 15526 (java) S 15509 15509 7411 0 -1 1077944384 657 0 0 0 18 0 0 0 20 0 20 0 3871438 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961714588144 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15527] ppid=15509 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15527/stat : 15527 (java) S 15509 15509 7411 0 -1 1077944384 549 0 0 0 16 0 0 0 20 0 20 0 3871438 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961713535856 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15528] ppid=15509 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15528/stat : 15528 (java) S 15509 15509 7411 0 -1 1077944384 1365 0 0 0 30 0 0 0 20 0 20 0 3871438 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961712483056 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15529] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15529/stat : 15529 (java) S 15509 15509 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3871439 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961711429984 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15530] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15530/stat : 15530 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3871439 13587718144 275005 33554432000 4194304 4196468 140721772911104 139961105901872 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13278768
[startup+6.30093 s]
/proc/loadavg: 11.90 13.87 13.67 10/293 15530
/proc/meminfo: memFree=28493544/32770624 swapFree=5860/241264
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
[pid=15510] ppid=15509 vsize=13269256 CPUtime=7.58 cores=0,2,4,6,8,10,12,14
/proc/15510/stat : 15510 (java) S 15509 15509 7411 0 -1 1077944320 16575 0 0 0 693 65 0 0 20 0 20 0 3871430 13587718144 679872 33554432000 4194304 4196468 140721772911104 140721772893648 139962987818743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
/proc/15510/statm: 3317314 679872 3231 1 0 3304547 0
[pid=15510/tid=15511] ppid=15509 vsize=13269256 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15511/stat : 15511 (java) R 15509 15509 7411 0 -1 4202560 9589 0 0 0 575 42 0 0 20 0 20 0 3871430 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962992056648 139962602256804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15513] ppid=15509 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15513/stat : 15513 (java) S 15509 15509 7411 0 -1 1077944384 74 0 0 0 3 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962919954832 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15514] ppid=15509 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15514/stat : 15514 (java) S 15509 15509 7411 0 -1 1077944384 59 0 0 0 2 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962918902032 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15515] ppid=15509 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15515/stat : 15515 (java) S 15509 15509 7411 0 -1 1077944384 56 0 0 0 3 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962585418384 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15516] ppid=15509 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15516/stat : 15516 (java) S 15509 15509 7411 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962584365584 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15517] ppid=15509 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15517/stat : 15517 (java) S 15509 15509 7411 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962583313296 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15518] ppid=15509 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15518/stat : 15518 (java) S 15509 15509 7411 0 -1 1077944384 59 0 0 0 3 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962582260496 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15519] ppid=15509 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15519/stat : 15519 (java) S 15509 15509 7411 0 -1 1077944384 79 0 0 0 2 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962581208208 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15520] ppid=15509 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15520/stat : 15520 (java) S 15509 15509 7411 0 -1 1077944384 62 0 0 0 3 2 0 0 20 0 20 0 3871431 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962580155408 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15521] ppid=15509 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15521/stat : 15521 (java) S 15509 15509 7411 0 -1 1077944384 1606 0 0 0 1 0 0 0 20 0 20 0 3871433 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962517313648 139962987829890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15522] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15522/stat : 15522 (java) S 15509 15509 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3871434 13587718144 679872 33554432000 4194304 4196468 140721772911104 139962516259680 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15523] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15523/stat : 15523 (java) S 15509 15509 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3871434 13587718144 679872 33554432000 4194304 4196468 140721772911104 139961717744768 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15524] ppid=15509 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15524/stat : 15524 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3871438 13587718144 679872 33554432000 4194304 4196468 140721772911104 139961716693072 139962987837339 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
################
# More data... #
################
/proc/15510/task/15522/stat : 15522 (java) S 15509 15509 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3871434 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139962516259680 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15523] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15523/stat : 15523 (java) S 15509 15509 7411 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 3871434 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961717744768 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15524] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15524/stat : 15524 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3871438 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961716693072 139962987837339 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15525] ppid=15509 vsize=13801768 CPUtime=2.44 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15525/stat : 15525 (java) R 15509 15509 7411 0 -1 4202560 7062 0 0 0 243 1 0 0 20 0 28 0 3871438 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961715641240 139962972747064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15526] ppid=15509 vsize=13801768 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15526/stat : 15526 (java) R 15509 15509 7411 0 -1 4202560 6672 0 0 0 230 1 0 0 20 0 28 0 3871438 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961714574688 139962966989796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15527] ppid=15509 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15527/stat : 15527 (java) R 15509 15509 7411 0 -1 4202560 8596 0 0 0 228 1 0 0 20 0 28 0 3871438 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961713536152 139962972925388 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15528] ppid=15509 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15528/stat : 15528 (java) S 15509 15509 7411 0 -1 1077944384 11628 0 0 0 105 2 0 0 20 0 28 0 3871438 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961712483056 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15529] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15529/stat : 15529 (java) S 15509 15509 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3871439 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961711429984 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15530] ppid=15509 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15530/stat : 15530 (java) S 15509 15509 7411 0 -1 1077944384 474 0 0 0 7 5 0 0 20 0 28 0 3871439 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961105901872 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16076] ppid=15509 vsize=13801768 CPUtime=9.05 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16076/stat : 16076 (java) R 15509 15509 7411 0 -1 4202560 440 0 0 0 905 0 0 0 20 0 28 0 3894293 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961097886232 139962604847911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16077] ppid=15509 vsize=13801768 CPUtime=9.49 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16077/stat : 16077 (java) R 15509 15509 7411 0 -1 4202560 380 0 0 0 949 0 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961096834104 139962604846442 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16078] ppid=15509 vsize=13801768 CPUtime=9.26 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16078/stat : 16078 (java) R 15509 15509 7411 0 -1 4202560 508 0 0 0 926 0 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961095783016 139962601187510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16079] ppid=15509 vsize=13801768 CPUtime=9.4 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16079/stat : 16079 (java) R 15509 15509 7411 0 -1 4202560 873 0 0 0 940 0 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961094732752 139962604846487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16080] ppid=15509 vsize=13801768 CPUtime=9.44 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16080/stat : 16080 (java) R 15509 15509 7411 0 -1 4202560 1604 0 0 0 944 0 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961093673760 139962601187183 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16081] ppid=15509 vsize=13801768 CPUtime=9.34 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16081/stat : 16081 (java) R 15509 15509 7411 0 -1 4202560 390 0 0 0 934 0 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961092627064 139962601186989 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16082] ppid=15509 vsize=13801768 CPUtime=9.09 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16082/stat : 16082 (java) R 15509 15509 7411 0 -1 4202560 1136 0 0 0 908 1 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961091571064 139962606435669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16083] ppid=15509 vsize=13801768 CPUtime=9.45 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16083/stat : 16083 (java) R 15509 15509 7411 0 -1 4202560 353 0 0 0 945 0 0 0 20 0 28 0 3894294 14133010432 1152548 33554432000 4194304 4196468 140721772911104 139961090519416 139962601186814 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
Current children cumulated CPU time (s) 369.11
Current children cumulated vsize (KiB) 13811280
[startup+239.201 s]
/proc/loadavg: 8.45 10.98 12.53 17/300 16621
/proc/meminfo: memFree=26993232/32770624 swapFree=5860/241672
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
[pid=15510] ppid=15509 vsize=13801768 CPUtime=372.19 cores=0,2,4,6,8,10,12,14
/proc/15510/stat : 15510 (java) S 15509 15509 7411 0 -1 1077944320 104650 0 0 0 36820 399 0 0 20 0 28 0 3871430 14133010432 1152550 33554432000 4194304 4196468 140721772911104 140721772893648 139962987818743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
/proc/15510/statm: 3450442 1152550 3297 1 0 3437675 0
[pid=15510/tid=15511] ppid=15509 vsize=13801768 CPUtime=219.44 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15511/stat : 15511 (java) S 15509 15509 7411 0 -1 1077944384 37119 0 0 0 21883 61 0 0 20 0 28 0 3871430 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962992059520 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15513] ppid=15509 vsize=13801768 CPUtime=8.3 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15513/stat : 15513 (java) S 15509 15509 7411 0 -1 1077944384 2049 0 0 0 792 38 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962919954832 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15514] ppid=15509 vsize=13801768 CPUtime=8.29 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15514/stat : 15514 (java) S 15509 15509 7411 0 -1 1077944384 1903 0 0 0 787 42 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962918902032 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15515] ppid=15509 vsize=13801768 CPUtime=8.22 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15515/stat : 15515 (java) S 15509 15509 7411 0 -1 1077944384 2174 0 0 0 782 40 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962585418384 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15516] ppid=15509 vsize=13801768 CPUtime=8.37 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15516/stat : 15516 (java) S 15509 15509 7411 0 -1 1077944384 2296 0 0 0 801 36 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962584365584 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15517] ppid=15509 vsize=13801768 CPUtime=8.34 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15517/stat : 15517 (java) S 15509 15509 7411 0 -1 1077944384 2987 0 0 0 792 42 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962583313296 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15518] ppid=15509 vsize=13801768 CPUtime=8.22 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15518/stat : 15518 (java) S 15509 15509 7411 0 -1 1077944384 3100 0 0 0 782 40 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962582260496 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15519] ppid=15509 vsize=13801768 CPUtime=8.33 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15519/stat : 15519 (java) S 15509 15509 7411 0 -1 1077944384 2204 0 0 0 791 42 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962581208208 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15520] ppid=15509 vsize=13801768 CPUtime=8.31 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15520/stat : 15520 (java) S 15509 15509 7411 0 -1 1077944384 2136 0 0 0 793 38 0 0 20 0 28 0 3871431 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962580155408 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15521] ppid=15509 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15521/stat : 15521 (java) S 15509 15509 7411 0 -1 1077944384 6921 0 0 0 34 3 0 0 20 0 28 0 3871433 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962517313648 139962987829890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15522] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15522/stat : 15522 (java) S 15509 15509 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3871434 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139962516259680 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15523] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15523/stat : 15523 (java) S 15509 15509 7411 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 3871434 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961717744768 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15524] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15524/stat : 15524 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3871438 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961716693072 139962987837339 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15525] ppid=15509 vsize=13801768 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15525/stat : 15525 (java) R 15509 15509 7411 0 -1 4202560 7072 0 0 0 246 1 0 0 20 0 28 0 3871438 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961715641240 139962965415543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15526] ppid=15509 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15526/stat : 15526 (java) S 15509 15509 7411 0 -1 1077944384 6727 0 0 0 234 1 0 0 20 0 28 0 3871438 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961714588144 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15527] ppid=15509 vsize=13801768 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15527/stat : 15527 (java) S 15509 15509 7411 0 -1 1077944384 8604 0 0 0 229 1 0 0 20 0 28 0 3871438 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961713535856 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15528] ppid=15509 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15528/stat : 15528 (java) S 15509 15509 7411 0 -1 1077944384 11643 0 0 0 106 2 0 0 20 0 28 0 3871438 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961712483056 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15529] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15529/stat : 15529 (java) S 15509 15509 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3871439 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961711429984 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15530] ppid=15509 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15530/stat : 15530 (java) S 15509 15509 7411 0 -1 1077944384 474 0 0 0 7 5 0 0 20 0 28 0 3871439 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961105901872 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16076] ppid=15509 vsize=13801768 CPUtime=9.42 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16076/stat : 16076 (java) R 15509 15509 7411 0 -1 4202560 446 0 0 0 942 0 0 0 20 0 28 0 3894293 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961097886872 139962599417804 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16077] ppid=15509 vsize=13801768 CPUtime=9.87 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16077/stat : 16077 (java) R 15509 15509 7411 0 -1 4202560 382 0 0 0 987 0 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961096834336 139962606436144 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16078] ppid=15509 vsize=13801768 CPUtime=9.6 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16078/stat : 16078 (java) R 15509 15509 7411 0 -1 4202560 516 0 0 0 960 0 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961095782904 139962601187065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16079] ppid=15509 vsize=13801768 CPUtime=9.77 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16079/stat : 16079 (java) R 15509 15509 7411 0 -1 4202560 940 0 0 0 977 0 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961094729544 139962606777819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16080] ppid=15509 vsize=13801768 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16080/stat : 16080 (java) R 15509 15509 7411 0 -1 4202560 1606 0 0 0 982 0 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961093679896 139962601187065 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16081] ppid=15509 vsize=13801768 CPUtime=9.72 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16081/stat : 16081 (java) R 15509 15509 7411 0 -1 4202560 390 0 0 0 972 0 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961092625144 139962599417703 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16082] ppid=15509 vsize=13801768 CPUtime=9.44 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16082/stat : 16082 (java) R 15509 15509 7411 0 -1 4202560 1139 0 0 0 943 1 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961091571064 139962605803209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16083] ppid=15509 vsize=13801768 CPUtime=9.84 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16083/stat : 16083 (java) R 15509 15509 7411 0 -1 4202560 421 0 0 0 984 0 0 0 20 0 28 0 3894294 14133010432 1152550 33554432000 4194304 4196468 140721772911104 139961090519416 139962601187458 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
Current children cumulated CPU time (s) 372.19
Current children cumulated vsize (KiB) 13811280
[startup+239.302 s]
/proc/loadavg: 8.45 10.98 12.53 17/300 16621
/proc/meminfo: memFree=26993232/32770624 swapFree=5860/241672
[pid=15509] ppid=15506 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15509/stat : 15509 (xcsp3-exec) S 15506 15509 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3871429 9740288 345 33554432000 4194304 5098028 140724554923424 140724554921528 140410467287676 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38211584 140724554925198 140724554925408 140724554925408 140724554928107 0
/proc/15509/statm: 2378 345 289 221 0 87 0
[pid=15510] ppid=15509 vsize=13801768 CPUtime=372.98 cores=0,2,4,6,8,10,12,14
/proc/15510/stat : 15510 (java) S 15509 15509 7411 0 -1 1077944320 104674 0 0 0 36899 399 0 0 20 0 28 0 3871430 14133010432 1152554 33554432000 4194304 4196468 140721772911104 140721772893648 139962987818743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
/proc/15510/statm: 3450442 1152554 3297 1 0 3437675 0
[pid=15510/tid=15511] ppid=15509 vsize=13801768 CPUtime=219.44 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15511/stat : 15511 (java) S 15509 15509 7411 0 -1 1077944384 37119 0 0 0 21883 61 0 0 20 0 28 0 3871430 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962992059520 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15513] ppid=15509 vsize=13801768 CPUtime=8.3 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15513/stat : 15513 (java) S 15509 15509 7411 0 -1 1077944384 2049 0 0 0 792 38 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962919954832 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15514] ppid=15509 vsize=13801768 CPUtime=8.29 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15514/stat : 15514 (java) S 15509 15509 7411 0 -1 1077944384 1903 0 0 0 787 42 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962918902032 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15515] ppid=15509 vsize=13801768 CPUtime=8.22 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15515/stat : 15515 (java) S 15509 15509 7411 0 -1 1077944384 2174 0 0 0 782 40 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962585418384 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15516] ppid=15509 vsize=13801768 CPUtime=8.37 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15516/stat : 15516 (java) S 15509 15509 7411 0 -1 1077944384 2296 0 0 0 801 36 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962584365584 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15517] ppid=15509 vsize=13801768 CPUtime=8.34 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15517/stat : 15517 (java) S 15509 15509 7411 0 -1 1077944384 2987 0 0 0 792 42 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962583313296 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15518] ppid=15509 vsize=13801768 CPUtime=8.22 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15518/stat : 15518 (java) S 15509 15509 7411 0 -1 1077944384 3100 0 0 0 782 40 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962582260496 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15519] ppid=15509 vsize=13801768 CPUtime=8.33 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15519/stat : 15519 (java) S 15509 15509 7411 0 -1 1077944384 2204 0 0 0 791 42 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962581208208 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15520] ppid=15509 vsize=13801768 CPUtime=8.31 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15520/stat : 15520 (java) S 15509 15509 7411 0 -1 1077944384 2136 0 0 0 793 38 0 0 20 0 28 0 3871431 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962580155408 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15521] ppid=15509 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15521/stat : 15521 (java) S 15509 15509 7411 0 -1 1077944384 6921 0 0 0 34 3 0 0 20 0 28 0 3871433 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962517313648 139962987829890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15522] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15522/stat : 15522 (java) S 15509 15509 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3871434 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139962516259680 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15523] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15523/stat : 15523 (java) S 15509 15509 7411 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 3871434 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961717744768 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15524] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15524/stat : 15524 (java) S 15509 15509 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3871438 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961716693072 139962987837339 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15525] ppid=15509 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15525/stat : 15525 (java) S 15509 15509 7411 0 -1 1077944384 7075 0 0 0 248 1 0 0 20 0 28 0 3871438 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961715640944 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15526] ppid=15509 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15526/stat : 15526 (java) S 15509 15509 7411 0 -1 1077944384 6732 0 0 0 234 1 0 0 20 0 28 0 3871438 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961714588144 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15527] ppid=15509 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15527/stat : 15527 (java) S 15509 15509 7411 0 -1 1077944384 8608 0 0 0 231 1 0 0 20 0 28 0 3871438 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961713535856 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15528] ppid=15509 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15528/stat : 15528 (java) S 15509 15509 7411 0 -1 1077944384 11644 0 0 0 106 2 0 0 20 0 28 0 3871438 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961712483056 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15529] ppid=15509 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15529/stat : 15529 (java) S 15509 15509 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3871439 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961711429984 139962987828949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=15530] ppid=15509 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15510/task/15530/stat : 15530 (java) S 15509 15509 7411 0 -1 1077944384 474 0 0 0 7 5 0 0 20 0 28 0 3871439 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961105901872 139962987829890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16076] ppid=15509 vsize=13801768 CPUtime=9.51 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16076/stat : 16076 (java) R 15509 15509 7411 0 -1 4202560 446 0 0 0 951 0 0 0 20 0 28 0 3894293 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961097886872 139962606936825 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16077] ppid=15509 vsize=13801768 CPUtime=9.97 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16077/stat : 16077 (java) R 15509 15509 7411 0 -1 4202560 383 0 0 0 997 0 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961096835208 139962606435723 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16078] ppid=15509 vsize=13801768 CPUtime=9.7 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16078/stat : 16078 (java) R 15509 15509 7411 0 -1 4202560 521 0 0 0 970 0 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961095784952 139962607736665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16079] ppid=15509 vsize=13801768 CPUtime=9.87 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16079/stat : 16079 (java) R 15509 15509 7411 0 -1 4202560 940 0 0 0 987 0 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961094729544 139962601186745 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16080] ppid=15509 vsize=13801768 CPUtime=9.92 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16080/stat : 16080 (java) R 15509 15509 7411 0 -1 4202560 1606 0 0 0 992 0 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961093679896 139962607736818 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16081] ppid=15509 vsize=13801768 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16081/stat : 16081 (java) R 15509 15509 7411 0 -1 4202560 394 0 0 0 982 0 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961092625240 139962601187486 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16082] ppid=15509 vsize=13801768 CPUtime=9.53 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16082/stat : 16082 (java) R 15509 15509 7411 0 -1 4202560 1139 0 0 0 952 1 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961091571064 139962601187060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
[pid=15510/tid=16083] ppid=15509 vsize=13801768 CPUtime=9.94 cores=0,2,4,6,8,10,12,14
/proc/15510/task/16083/stat : 16083 (java) R 15509 15509 7411 0 -1 4202560 421 0 0 0 994 0 0 0 20 0 28 0 3894294 14133010432 1152554 33554432000 4194304 4196468 140721772911104 139961090519416 139962601187251 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14438400 140721772913852 140721772914028 140721772914028 140721772916687 0
Current children cumulated CPU time (s) 372.98
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 239.339
CPU time (s): 373.102
CPU user time (s): 369.078
CPU system time (s): 4.02413
CPU usage (%): 155.889
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.078
system time used= 4.02413
maximum resident set size= 4610252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17597
involuntary context switches= 25045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66919 second user time and 2.20951 second system time
The end